cvs commit: fptools/ghc/compiler NOTES fptools/ghc/compiler/basicTypes DataCon.lhs MkId.lhs VarEnv.lhs fptools/ghc/compiler/coreSyn CoreLint.lhs Subst.lhs fptools/ghc/compiler/deSugar Desugar.lhs DsBinds.lhs fptools/ghc/compiler/iface BuildTyCl.lhs ...

[Simon Peyton Jones]

simonpj     2004/09/03 00:04:09 PDT

  Modified files:        (Branch: tidt-branch)
    ghc/compiler         NOTES 
    ghc/compiler/basicTypes DataCon.lhs MkId.lhs VarEnv.lhs 
    ghc/compiler/coreSyn CoreLint.lhs Subst.lhs 
    ghc/compiler/deSugar Desugar.lhs DsBinds.lhs 
    ghc/compiler/iface   BuildTyCl.lhs 
    ghc/compiler/simplCore CSE.lhs SimplCore.lhs SimplMonad.lhs 
                           Simplify.lhs 
    ghc/compiler/specialise Rules.lhs Specialise.lhs 
    ghc/compiler/typecheck Inst.lhs TcClassDcl.lhs TcDeriv.lhs 
                           TcExpr.lhs TcHsType.lhs TcInstDcls.lhs 
                           TcMType.lhs TcPat.lhs TcRnMonad.lhs 
                           TcRnTypes.lhs TcSimplify.lhs 
                           TcTyClsDecls.lhs TcUnify.lhs 
    ghc/compiler/types   FunDeps.lhs InstEnv.lhs Type.lhs 
                         TypeRep.lhs Unify.lhs 
  Log:
  Emerging from substitution swamp
  
  Revision  Changes    Path
  1.11.28.1 +6 -0      fptools/ghc/compiler/NOTES
  1.45.4.9  +1 -3      fptools/ghc/compiler/basicTypes/DataCon.lhs
  1.113.4.7 +7 -10     fptools/ghc/compiler/basicTypes/MkId.lhs
  1.14.12.5 +4 -5      fptools/ghc/compiler/basicTypes/VarEnv.lhs
  1.76.4.16 +6 -8      fptools/ghc/compiler/coreSyn/CoreLint.lhs
  1.43.4.5  +71 -47    fptools/ghc/compiler/coreSyn/Subst.lhs
  1.72.2.4  +2 -2      fptools/ghc/compiler/deSugar/Desugar.lhs
  1.53.4.7  +1 -1      fptools/ghc/compiler/deSugar/DsBinds.lhs
  1.3.2.8   +3 -3      fptools/ghc/compiler/iface/BuildTyCl.lhs
  1.15.2.2  +0 -2      fptools/ghc/compiler/simplCore/CSE.lhs
  1.122.2.1 +1 -1      fptools/ghc/compiler/simplCore/SimplCore.lhs
  1.57.2.3  +16 -19    fptools/ghc/compiler/simplCore/SimplMonad.lhs
  1.149.4.10 +11 -29    fptools/ghc/compiler/simplCore/Simplify.lhs
  1.39.2.3  +35 -23    fptools/ghc/compiler/specialise/Rules.lhs
  1.88.2.3  +5 -5      fptools/ghc/compiler/specialise/Specialise.lhs
  1.138.2.16 +10 -9     fptools/ghc/compiler/typecheck/Inst.lhs
  1.142.2.14 +1 -1      fptools/ghc/compiler/typecheck/TcClassDcl.lhs
  1.132.2.7 +2 -2      fptools/ghc/compiler/typecheck/TcDeriv.lhs
  1.169.2.17 +2 -2      fptools/ghc/compiler/typecheck/TcExpr.lhs
  1.14.2.15 +1 -1      fptools/ghc/compiler/typecheck/TcHsType.lhs
  1.167.2.14 +3 -3      fptools/ghc/compiler/typecheck/TcInstDcls.lhs
  1.56.4.18 +5 -6      fptools/ghc/compiler/typecheck/TcMType.lhs
  1.96.2.17 +9 -6      fptools/ghc/compiler/typecheck/TcPat.lhs
  1.35.2.11 +4 -4      fptools/ghc/compiler/typecheck/TcRnMonad.lhs
  1.36.2.13 +2 -4      fptools/ghc/compiler/typecheck/TcRnTypes.lhs
  1.135.2.11 +3 -3      fptools/ghc/compiler/typecheck/TcSimplify.lhs
  1.107.2.10 +3 -3      fptools/ghc/compiler/typecheck/TcTyClsDecls.lhs
  1.55.2.24 +2 -2      fptools/ghc/compiler/typecheck/TcUnify.lhs
  1.23.4.1  +6 -8      fptools/ghc/compiler/types/FunDeps.lhs
  1.32.2.3  +8 -9      fptools/ghc/compiler/types/InstEnv.lhs
  1.122.2.2 +198 -6    fptools/ghc/compiler/types/Type.lhs
  1.35.2.2  +2 -6      fptools/ghc/compiler/types/TypeRep.lhs
  1.13.2.5  +82 -215   fptools/ghc/compiler/types/Attic/Unify.lhs