Mercurial > urweb
comparison tests/crud.ur @ 706:1fb318c17546
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 | 8084fa9216de |
children |
comparison
equal
deleted
inserted
replaced
705:e6706a1df013 | 706:1fb318c17546 |
---|---|
31 Inject = _} | 31 Inject = _} |
32 | 32 |
33 functor Make(M : sig | 33 functor Make(M : sig |
34 con cols :: {(Type * Type)} | 34 con cols :: {(Type * Type)} |
35 constraint [Id] ~ cols | 35 constraint [Id] ~ cols |
36 val tab : sql_table ([Id = int] ++ mapT2T fstTT cols) | 36 table tab : ([Id = int] ++ mapT2T fstTT cols) |
37 | 37 |
38 val title : string | 38 val title : string |
39 | 39 |
40 val cols : colsMeta cols | 40 val cols : colsMeta cols |
41 end) = struct | 41 end) = struct |