cvs commit: fptools/ghc/compiler/coreSyn CoreLint.lhs

[Simon Peyton Jones]

simonpj     2005/02/02 02:15:51 PST

  Modified files:
    ghc/compiler/coreSyn CoreLint.lhs 
  Log:
  Fix two separate bugs in CoreLint, both relating to the fact that the substitution
  it carries must be applied exactly once.
  
  This cures a lint crash in Text.ParserCombinators.Parsec.Perm, which was triggered
  by -O2; specifically, SpecConstr generated some terms with heavy shadowing of type
  variables.
  
  Revision  Changes    Path
  1.87      +19 -14    fptools/ghc/compiler/coreSyn/CoreLint.lhs