diff options
author | 2009-12-26 11:56:40 -0500 | |
---|---|---|
committer | 2009-12-26 11:56:40 -0500 | |
commit | 2ace64baba707b2e76778c74789735263eb50823 (patch) | |
tree | b4c6e798738335ded8d209afc369885664396d08 /demo/more/orm1.ur | |
parent | 7aa1234891f8831449a573ec067348c89c22692f (diff) |
Make summary unification more conservative; infer implicit arguments after applications
Diffstat (limited to 'demo/more/orm1.ur')
-rw-r--r-- | demo/more/orm1.ur | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/demo/more/orm1.ur b/demo/more/orm1.ur index bbbe2b00..b5ba29ac 100644 --- a/demo/more/orm1.ur +++ b/demo/more/orm1.ur @@ -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 () = |