Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/tests/crud.urs	Thu Sep 11 17:41:52 2008 -0400
+++ b/tests/crud.urs	Thu Sep 11 18:32:41 2008 -0400
@@ -1,3 +1,5 @@
+con colMeta = fn cols :: {Type} => $(mapTT (fn t => {Show : t -> xbody}) cols)
+
 functor Make(M : sig
         con cols :: {Type}
         constraint [Id] ~ cols
@@ -5,7 +7,7 @@
 
         val title : string
 
-        val cols : $(mapTT (fn t => {Show : t -> xbody}) cols)
+        val cols : colMeta cols
 end) : sig
         val main : unit -> transaction page
 end