Harmonize have/need terminology in error messages; display canceled record summaries on errors

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