annotate tests/crud.urs @ 328:58f1260f293f

Fixed a mind-numbing De Bruijn bug
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 19:59:31 -0400
parents 950320f33232
children eec65c11d3e2
rev   line source
adamc@326 1 con colMeta = fn cols :: {Type} => $(mapTT (fn t => {Show : t -> xbody}) cols)
adamc@326 2
adamc@325 3 functor Make(M : sig
adamc@325 4 con cols :: {Type}
adamc@325 5 constraint [Id] ~ cols
adamc@325 6 val tab : sql_table ([Id = int] ++ cols)
adamc@325 7
adamc@325 8 val title : string
adamc@325 9
adamc@326 10 val cols : colMeta cols
adamc@325 11 end) : sig
adamc@325 12 val main : unit -> transaction page
adamc@325 13 end