Mercurial > urweb

comparison tests/crud.urs @ 706:1fb318c17546

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Enhance table sig item support and get demo compiling again
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 15:04:07 -0400
parents 782ef3ad8c28
children
comparison
equal deleted inserted replaced
705:e6706a1df013 706:1fb318c17546
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 tab : sql_table ([Id = int] ++ mapT2T fstTT cols) 19 table tab : ([Id = int] ++ mapT2T fstTT cols)
20 20
21 val title : string 21 val title : string
22 22
23 val cols : colsMeta cols 23 val cols : colsMeta cols
24 end) : sig 24 end) : sig