Mercurial > urweb

diff tests/crud.urs @ 325:e457d8972ff1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud listing IDs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 17:41:52 -0400
parents
children 950320f33232
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/crud.urs	Thu Sep 11 17:41:52 2008 -0400
@@ -0,0 +1,11 @@
+functor Make(M : sig
+        con cols :: {Type}
+        constraint [Id] ~ cols
+        val tab : sql_table ([Id = int] ++ cols)
+
+        val title : string
+
+        val cols : $(mapTT (fn t => {Show : t -> xbody}) cols)
+end) : sig
+        val main : unit -> transaction page
+end