-
Simon Peyton Jones authored
----------------------------------------- Fix scoping bug for quantified type variables ----------------------------------------- Merge to STABLE When instantiating a declaration type signature, make sure to instantiate fresh names for non-scoped type variables, else they may be spuriously shared. Turns out that the test lib/Generics/reify tests this, which is good. Comments are with TcMType.tcInstSigType
bcacf0b7Simon Peyton Jones authored----------------------------------------- Fix scoping bug for quantified type variables ----------------------------------------- Merge to STABLE When instantiating a declaration type signature, make sure to instantiate fresh names for non-scoped type variables, else they may be spuriously shared. Turns out that the test lib/Generics/reify tests this, which is good. Comments are with TcMType.tcInstSigType
Loading