Mercurial > urweb

diff demo/crud.urs @ 637:24fd1edfcaa3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Kind-polymorphic [fst] and friends
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Feb 2009 16:16:54 -0500
parents 6c4643880df5
children 1fb318c17546
line wrap: on
line diff
--- a/demo/crud.urs	Thu Feb 26 13:56:54 2009 -0500
+++ b/demo/crud.urs	Thu Feb 26 16:16:54 2009 -0500
@@ -18,7 +18,7 @@
                  constraint [Id] ~ cols
                  val fl : folder cols
 
-                 val tab : sql_table ([Id = int] ++ map fstTT cols)
+                 val tab : sql_table ([Id = int] ++ map fst cols)
 
                  val title : string