diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-12-18 11:29:13 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-12-18 11:29:13 -0500 |
| commit | 4eb93836d04d18f43d8c4360f290a7977d96c468 (patch) | |
| tree | ef38476a5b0199272d5dc20a65a306b4c7b2a112 /tests/rcapture.ur | |
| parent | 37cf82d0761088c469205b90e35569674707202f (diff) | |
Add a new scoping check for unification variables, to fix a type inference bug
Diffstat (limited to 'tests/rcapture.ur')
| -rw-r--r-- | tests/rcapture.ur | 3 |
1 files changed, 3 insertions, 0 deletions
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 |