cvs commit: fptools/ghc/compiler/typecheck TcBinds.lhs TcMType.lhs

[Simon Peyton Jones]

simonpj     2005/03/07 07:17:14 PST

  Modified files:
    ghc/compiler/typecheck TcBinds.lhs TcMType.lhs 
  Log:
  	-----------------------------------------
         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
  
  Revision  Changes    Path
  1.138     +9 -12     fptools/ghc/compiler/typecheck/TcBinds.lhs
  1.67      +24 -10    fptools/ghc/compiler/typecheck/TcMType.lhs