Skip to content
Snippets Groups Projects
Vladislav Zavialov's avatar
Vladislav Zavialov authored
Consider this example:

	[d| instance forall a. C [a] where
	      type forall b. G [a] b = Proxy b |]

When we process "forall b." in the associated type instance, it is
unambiguously the binding site for "b" and we want a fresh name for it.
Therefore, FreshNamesOnly is more fitting than ReuseBoundNames.
This should not have any observable effect but it avoids pointless
lookups in the MetaEnv.
c189b831
History
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
Name Last commit Last update
..