Mercurial > urweb
diff demo/more/orm1.ur @ 1093:8d3aa6c7cee0
Make summary unification more conservative; infer implicit arguments after applications
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 26 Dec 2009 11:56:40 -0500 |
parents | b825d843b22d |
children | 819756825c8d |
line wrap: on
line diff
--- a/demo/more/orm1.ur Fri Dec 25 10:48:02 2009 -0500 +++ b/demo/more/orm1.ur Sat Dec 26 11:56:40 2009 -0500 @@ -1,13 +1,13 @@ open Orm structure T = Table(struct - val cols = {A = local [int] _, - B = local [string] _} + val cols = {A = local [int], + B = local [string]} end) structure S = Table(struct val cols = {C = T.id, - D = local [float] _} + D = local [float]} end) fun action () =