Mercurial > urweb

comparison tests/crud.urs @ 326:950320f33232

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud list works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 18:32:41 -0400
parents e457d8972ff1
children eec65c11d3e2
comparison
equal deleted inserted replaced
325:e457d8972ff1 326:950320f33232
1 con colMeta = fn cols :: {Type} => $(mapTT (fn t => {Show : t -> xbody}) cols)
2
1 functor Make(M : sig 3 functor Make(M : sig
2 con cols :: {Type} 4 con cols :: {Type}
3 constraint [Id] ~ cols 5 constraint [Id] ~ cols
4 val tab : sql_table ([Id = int] ++ cols) 6 val tab : sql_table ([Id = int] ++ cols)
5 7
6 val title : string 8 val title : string
7 9
8 val cols : $(mapTT (fn t => {Show : t -> xbody}) cols) 10 val cols : colMeta cols
9 end) : sig 11 end) : sig
10 val main : unit -> transaction page 12 val main : unit -> transaction page
11 end 13 end