http://hg.impredicative.com/urweb/atom-log/tip/tests/rcapture.urUr/Web: tests/rcapture.ur history2011-12-18T11:29:13-05:00Add a new scoping check for unification variables, to fix a type inference bughttp://hg.impredicative.com/urweb/#changeset-6c00d8af62396ce1599f3267f8076fb7f737e916Adam Chlipalaadam@chlipala.net2011-12-18T11:29:13-05:002011-12-18T11:29:13-05:00
changeset
6c00d8af6239
branch
bookmark
tag
user
Adam Chlipala <adam@chlipala.net>
description
Add a new scoping check for unification variables, to fix a type inference bug