diff options
Diffstat (limited to 'tests/cancel.ur')
-rw-r--r-- | tests/cancel.ur | 7 |
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 |