Mercurial > urweb

diff demo/crud.urs @ 632:6c4643880df5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Demos compile again, with manual folders
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Feb 2009 15:12:13 -0500
parents d64533157f40
children 24fd1edfcaa3
line wrap: on
line diff
--- a/demo/crud.urs	Tue Feb 24 14:04:07 2009 -0500
+++ b/demo/crud.urs	Tue Feb 24 15:12:13 2009 -0500
@@ -16,6 +16,8 @@
 functor Make(M : sig
                  con cols :: {(Type * Type)}
                  constraint [Id] ~ cols
+                 val fl : folder cols
+
                  val tab : sql_table ([Id = int] ++ map fstTT cols)
 
                  val title : string