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 | 7711c829190f80e32de4d3b45ce39245dba07435 (patch) | |
tree | ef38476a5b0199272d5dc20a65a306b4c7b2a112 /tests/eargs.ur | |
parent | 2991862ed290eb9115d94221d4c78ed3b1e83899 (diff) |
Add a new scoping check for unification variables, to fix a type inference bug
Diffstat (limited to 'tests/eargs.ur')
0 files changed, 0 insertions, 0 deletions