# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1335100701 14400
# Node ID 125f9b01fbf1c7ce489a817c8a9f1a39860d2075
# Parent  5ecf67553da8a74b32120ddaa9693085910022e9
Another test for cancelation in error messages

diff -r 5ecf67553da8 -r 125f9b01fbf1 tests/cancel2.ur
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/cancel2.ur	Sun Apr 22 09:18:21 2012 -0400
@@ -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