Mercurial > urweb

diff demo/more/orm1.ur @ 1093:8d3aa6c7cee0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 () =