summaryrefslogtreecommitdiff
path: root/tests/cancel.ur
diff options
context:
space:
mode:
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