An error occurred while fetching folder content.
Forked from
haskell-wasm / ghc-wasm-meta
Source project has a limited visibility.

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.
Name | Last commit | Last update |
---|