cvs commit: fptools/ghc/compiler/basicTypes MkId.lhs VarEnv.lhs VarSet.lhs fptools/ghc/compiler/coreSyn CoreLint.lhs Subst.lhs fptools/ghc/compiler/deSugar Desugar.lhs fptools/ghc/compiler/iface BuildTyCl.lhs fptools/ghc/compiler/simplCore SetLevels.lhs ...

[Simon Peyton Jones]

simonpj     2004/09/02 09:54:08 PDT

  Modified files:        (Branch: tidt-branch)
    ghc/compiler/basicTypes MkId.lhs VarEnv.lhs VarSet.lhs 
    ghc/compiler/coreSyn CoreLint.lhs Subst.lhs 
    ghc/compiler/deSugar Desugar.lhs 
    ghc/compiler/iface   BuildTyCl.lhs 
    ghc/compiler/simplCore SetLevels.lhs SimplMonad.lhs 
                           Simplify.lhs 
    ghc/compiler/specialise Rules.lhs Specialise.lhs 
    ghc/compiler/typecheck Inst.lhs TcDeriv.lhs TcExpr.lhs 
                           TcInstDcls.lhs TcMType.lhs TcPat.lhs 
                           TcSimplify.lhs TcTyClsDecls.lhs 
                           TcType.lhs 
    ghc/compiler/types   Unify.lhs 
  Log:
  Lots of work on substitutions
  
  Revision  Changes    Path
  1.113.4.6 +1 -1      fptools/ghc/compiler/basicTypes/MkId.lhs
  1.14.12.4 +92 -66    fptools/ghc/compiler/basicTypes/VarEnv.lhs
  1.14.4.1  +4 -1      fptools/ghc/compiler/basicTypes/VarSet.lhs
  1.76.4.15 +20 -18    fptools/ghc/compiler/coreSyn/CoreLint.lhs
  1.43.4.4  +129 -330  fptools/ghc/compiler/coreSyn/Subst.lhs
  1.72.2.3  +2 -4      fptools/ghc/compiler/deSugar/Desugar.lhs
  1.3.2.7   +2 -2      fptools/ghc/compiler/iface/BuildTyCl.lhs
  1.59.4.2  +2 -2      fptools/ghc/compiler/simplCore/SetLevels.lhs
  1.57.2.2  +2 -6      fptools/ghc/compiler/simplCore/SimplMonad.lhs
  1.149.4.9 +29 -14    fptools/ghc/compiler/simplCore/Simplify.lhs
  1.39.2.2  +16 -15    fptools/ghc/compiler/specialise/Rules.lhs
  1.88.2.2  +3 -3      fptools/ghc/compiler/specialise/Specialise.lhs
  1.138.2.15 +4 -4      fptools/ghc/compiler/typecheck/Inst.lhs
  1.132.2.6 +2 -2      fptools/ghc/compiler/typecheck/TcDeriv.lhs
  1.169.2.16 +2 -2      fptools/ghc/compiler/typecheck/TcExpr.lhs
  1.167.2.13 +3 -3      fptools/ghc/compiler/typecheck/TcInstDcls.lhs
  1.56.4.17 +3 -3      fptools/ghc/compiler/typecheck/TcMType.lhs
  1.96.2.16 +2 -2      fptools/ghc/compiler/typecheck/TcPat.lhs
  1.135.2.10 +3 -3      fptools/ghc/compiler/typecheck/TcSimplify.lhs
  1.107.2.9 +2 -2      fptools/ghc/compiler/typecheck/TcTyClsDecls.lhs
  1.106.2.9 +4 -4      fptools/ghc/compiler/typecheck/TcType.lhs
  1.13.2.4  +310 -72   fptools/ghc/compiler/types/Attic/Unify.lhs