From 42944f71120301ea2dff0e93f3a0f2e7df4a44b0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 11 Sep 2008 18:32:41 -0400
Subject: Crud list works

---
 tests/crud.urs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'tests/crud.urs')

diff --git a/tests/crud.urs b/tests/crud.urs
index 5f2ae695..c021bea3 100644
--- a/tests/crud.urs
+++ b/tests/crud.urs
@@ -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 @@ functor Make(M : sig
 
         val title : string
 
-        val cols : $(mapTT (fn t => {Show : t -> xbody}) cols)
+        val cols : colMeta cols
 end) : sig
         val main : unit -> transaction page
 end
-- 
cgit v1.2.3