Skip to content
  • Simon Peyton Jones's avatar
    [project @ 2005-03-07 15:16:58 by simonpj] · bcacf0b7
    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