comparison demo/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 24fd1edfcaa3
children 5819fb63c93a
comparison
equal deleted inserted replaced
705:e6706a1df013 706:1fb318c17546
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 fl : folder cols 36 val fl : folder cols
37 37
38 val tab : sql_table ([Id = int] ++ map fst cols) 38 table tab : ([Id = int] ++ map fst cols)
39 39
40 val title : string 40 val title : string
41 41
42 val cols : colsMeta cols 42 val cols : colsMeta cols
43 end) = struct 43 end) = struct