summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-04-22 09:18:21 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-04-22 09:18:21 -0400
commitb1090e5a14dd4183607372876b6e648f87c14181 (patch)
tree6173672d1ba5fececb06d1500eaaafa6b61a0ec3
parent709a0a0b2187d9a1fdec11554d3fca38bcab9d5c (diff)
Another test for cancelation in error messages
-rw-r--r--tests/cancel2.ur5
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/cancel2.ur b/tests/cancel2.ur
new file mode 100644
index 00000000..30bea655
--- /dev/null
+++ b/tests/cancel2.ur
@@ -0,0 +1,5 @@
+fun f [r] [[Id, Foo] ~ r] (x : $(map (fn ts => $ts) r ++ [Id = int, Foo = string]))
+ : $(map (fn ts => $ts) r ++ [Foo = string]) = x
+
+val r = {}
+val x : $(map (fn ts => $ts) _ ++ [Foo = string]) = f r