From 4eb93836d04d18f43d8c4360f290a7977d96c468 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 18 Dec 2011 11:29:13 -0500 Subject: Add a new scoping check for unification variables, to fix a type inference bug --- tests/capture.ur | 4 ++++ tests/rcapture.ur | 3 +++ 2 files changed, 7 insertions(+) create mode 100644 tests/capture.ur create mode 100644 tests/rcapture.ur (limited to 'tests') diff --git a/tests/capture.ur b/tests/capture.ur new file mode 100644 index 00000000..0eb3d8b5 --- /dev/null +++ b/tests/capture.ur @@ -0,0 +1,4 @@ +val y = [] + +type foo = int +val z : list {F : foo} = y diff --git a/tests/rcapture.ur b/tests/rcapture.ur new file mode 100644 index 00000000..782efcd9 --- /dev/null +++ b/tests/rcapture.ur @@ -0,0 +1,3 @@ +fun frob x = x + +fun foo [a] (x : a) = frob x -- cgit v1.2.3