changeset 1724:125f9b01fbf1

Another test for cancelation in error messages
author Adam Chlipala <adam@chlipala.net>
date Sun, 22 Apr 2012 09:18:21 -0400 (2012-04-22)
parents 5ecf67553da8
children 7b9775d4a8ce
files tests/cancel2.ur
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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