From b1090e5a14dd4183607372876b6e648f87c14181 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 22 Apr 2012 09:18:21 -0400
Subject: Another test for cancelation in error messages

---
 tests/cancel2.ur | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 tests/cancel2.ur

(limited to 'tests/cancel2.ur')

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
-- 
cgit v1.2.3