summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-11 18:36:20 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-11 18:36:20 -0400
commita1c9eb584060bb6fac219f53540324777a7fa5b4 (patch)
tree9264fb632b5dc5ede15206e8cddf7bc3d438fba4 /tests
parent42944f71120301ea2dff0e93f3a0f2e7df4a44b0 (diff)
Fix bug in subsignature check for con synonyms
Diffstat (limited to 'tests')
-rw-r--r--tests/crud.ur4
1 files changed, 2 insertions, 2 deletions
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)}