summaryrefslogtreecommitdiff
path: root/tests/cancel.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-10-27 08:36:31 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-10-27 08:36:31 -0400
commit4b4b367f011e9f49389d76c2167c193711713438 (patch)
treefbff54b6d2e52247b2f2b1003d6265e32f18c57e /tests/cancel.ur
parent3c6dc3613a00da2f302ed3e8a295438eedd3e649 (diff)
Harmonize have/need terminology in error messages; display canceled record summaries on errors
Diffstat (limited to 'tests/cancel.ur')
-rw-r--r--tests/cancel.ur7
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/cancel.ur b/tests/cancel.ur
new file mode 100644
index 00000000..9edb15af
--- /dev/null
+++ b/tests/cancel.ur
@@ -0,0 +1,7 @@
+type t = {A : int, B : float, C : string}
+type u = {A : int, C : string, D : bool}
+
+fun f (x : t) = x
+fun g (x : u) = f x
+
+fun h [ts] [ts ~ [A]] (r : $([A = int] ++ ts)) : $([A = int, B = float] ++ ts) = r