Ur/Web: tests/crud.urs annotate

Fix bug in subsignature check for con synonyms

author	Adam Chlipala <adamc@hcoop.net>
date	Thu, 11 Sep 2008 18:36:20 -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

Mercurial > urweb