From a1c9eb584060bb6fac219f53540324777a7fa5b4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 11 Sep 2008 18:36:20 -0400
Subject: Fix bug in subsignature check for con synonyms

---
 tests/crud.ur | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tests/crud.ur')

diff --git a/tests/crud.ur b/tests/crud.ur
index 6bbcbe1f..c3e76e6a 100644
--- a/tests/crud.ur
+++ b/tests/crud.ur
@@ -7,7 +7,7 @@ functor Make(M : sig
 
         val title : string
 
-        val cols : $(Top.mapTT (fn t => {Show : t -> xbody}) cols)
+        val cols : colMeta cols
 end) = struct
 
 open constraints M
@@ -22,7 +22,7 @@ fun list () =
                                 {fold [fn cols :: {Type} => $cols -> colMeta cols -> xtr]
                                         (fn (nm :: Name) (t :: Type) (rest :: {Type}) acc =>
                                                 [[nm] ~ rest] =>
-                                                fn (r : $([nm = t] ++ rest)) cols =>
+                                                fn r cols =>
                                                 <tr>
                                                         <td>{cols.nm.Show r.nm}</td>
                                                         {acc (r -- nm) (cols -- nm)}
-- 
cgit v1.2.3