Mercurial > urweb
comparison tests/crud.urs @ 325:e457d8972ff1
Crud listing IDs
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 11 Sep 2008 17:41:52 -0400 |
parents | |
children | 950320f33232 |
comparison
equal
deleted
inserted
replaced
324:b91480c9a729 | 325:e457d8972ff1 |
---|---|
1 functor Make(M : sig | |
2 con cols :: {Type} | |
3 constraint [Id] ~ cols | |
4 val tab : sql_table ([Id = int] ++ cols) | |
5 | |
6 val title : string | |
7 | |
8 val cols : $(mapTT (fn t => {Show : t -> xbody}) cols) | |
9 end) : sig | |
10 val main : unit -> transaction page | |
11 end |