summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-12-18 11:29:13 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-12-18 11:29:13 -0500
commit7711c829190f80e32de4d3b45ce39245dba07435 (patch)
treeef38476a5b0199272d5dc20a65a306b4c7b2a112 /tests
parent2991862ed290eb9115d94221d4c78ed3b1e83899 (diff)
Add a new scoping check for unification variables, to fix a type inference bug
Diffstat (limited to 'tests')
-rw-r--r--tests/capture.ur4
-rw-r--r--tests/rcapture.ur3
2 files changed, 7 insertions, 0 deletions
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