Mercurial > urweb
comparison demo/batchFun.urs @ 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 | bb3fc575cfe7 |
comparison
equal
deleted
inserted
replaced
705:e6706a1df013 | 706:1fb318c17546 |
---|---|
15 functor Make(M : sig | 15 functor Make(M : sig |
16 con cols :: {(Type * Type)} | 16 con cols :: {(Type * Type)} |
17 constraint [Id] ~ cols | 17 constraint [Id] ~ cols |
18 val fl : folder cols | 18 val fl : folder cols |
19 | 19 |
20 val tab : sql_table ([Id = int] ++ map fst cols) | 20 table tab : ([Id = int] ++ map fst cols) |
21 | 21 |
22 val title : string | 22 val title : string |
23 | 23 |
24 val cols : colsMeta cols | 24 val cols : colsMeta cols |
25 end) : sig | 25 end) : sig |