Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
631:effa7d43aac3 632:6c4643880df5
14 val bool : string -> colMeta (bool, bool) 14 val bool : string -> colMeta (bool, bool)
15 15
16 functor Make(M : sig 16 functor Make(M : sig
17 con cols :: {(Type * Type)} 17 con cols :: {(Type * Type)}
18 constraint [Id] ~ cols 18 constraint [Id] ~ cols
19 val fl : folder cols
20
19 val tab : sql_table ([Id = int] ++ map fstTT cols) 21 val tab : sql_table ([Id = int] ++ map fstTT cols)
20 22
21 val title : string 23 val title : string
22 24
23 val cols : colsMeta cols 25 val cols : colsMeta cols