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