Mercurial > urweb
comparison demo/crud.urs @ 637:24fd1edfcaa3
Kind-polymorphic [fst] and friends
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 26 Feb 2009 16:16:54 -0500 |
parents | 6c4643880df5 |
children | 1fb318c17546 |
comparison
equal
deleted
inserted
replaced
636:de8333ef1a0c | 637:24fd1edfcaa3 |
---|---|
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 fl : folder cols | 19 val fl : folder cols |
20 | 20 |
21 val tab : sql_table ([Id = int] ++ map fstTT cols) | 21 val tab : sql_table ([Id = int] ++ map fst cols) |
22 | 22 |
23 val title : string | 23 val title : string |
24 | 24 |
25 val cols : colsMeta cols | 25 val cols : colsMeta cols |
26 end) : sig | 26 end) : sig |