Mercurial > urweb
comparison demo/batchFun.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 | fcf0bd3d1667 |
children | 669ac5e9a69e |
comparison
equal
deleted
inserted
replaced
705:e6706a1df013 | 706:1fb318c17546 |
---|---|
25 functor Make(M : sig | 25 functor Make(M : sig |
26 con cols :: {(Type * Type)} | 26 con cols :: {(Type * Type)} |
27 constraint [Id] ~ cols | 27 constraint [Id] ~ cols |
28 val fl : folder cols | 28 val fl : folder cols |
29 | 29 |
30 val tab : sql_table ([Id = int] ++ map fst cols) | 30 table tab : ([Id = int] ++ map fst cols) |
31 | 31 |
32 val title : string | 32 val title : string |
33 | 33 |
34 val cols : colsMeta cols | 34 val cols : colsMeta cols |
35 end) = struct | 35 end) = struct |