cvs commit: fptools/ghc/compiler/basicTypes Literal.lhs MkId.lhs fptools/ghc/compiler/coreSyn CoreLint.lhs Subst.lhs fptools/ghc/compiler/deSugar DsExpr.lhs DsMeta.hs DsUtils.lhs MatchLit.lhs fptools/ghc/compiler/simplCore SimplMonad.lhs ...

[Simon Peyton Jones]

simonpj     2004/09/07 05:28:09 PDT

  Modified files:        (Branch: tidt-branch)
    ghc/compiler/basicTypes Literal.lhs MkId.lhs 
    ghc/compiler/coreSyn CoreLint.lhs Subst.lhs 
    ghc/compiler/deSugar DsExpr.lhs DsMeta.hs DsUtils.lhs 
                         MatchLit.lhs 
    ghc/compiler/simplCore SimplMonad.lhs Simplify.lhs 
    ghc/compiler/typecheck TcHsSyn.lhs TcMType.lhs TcPat.lhs 
                           TcUnify.lhs 
    ghc/compiler/types   FunDeps.lhs Type.lhs Unify.lhs 
  Log:
  Simplifier knows about GADTs
  
  Revision  Changes    Path
  1.45.4.2  +5 -1      fptools/ghc/compiler/basicTypes/Literal.lhs
  1.113.4.9 +2 -3      fptools/ghc/compiler/basicTypes/MkId.lhs
  1.76.4.20 +18 -15    fptools/ghc/compiler/coreSyn/CoreLint.lhs
  1.43.4.6  +4 -4      fptools/ghc/compiler/coreSyn/Subst.lhs
  1.106.2.12 +2 -2      fptools/ghc/compiler/deSugar/DsExpr.lhs
  1.59.2.6  +2 -2      fptools/ghc/compiler/deSugar/DsMeta.hs
  1.76.2.9  +11 -11    fptools/ghc/compiler/deSugar/DsUtils.lhs
  1.35.4.8  +1 -1      fptools/ghc/compiler/deSugar/MatchLit.lhs
  1.57.2.4  +9 -2      fptools/ghc/compiler/simplCore/SimplMonad.lhs
  1.149.4.13 +60 -34    fptools/ghc/compiler/simplCore/Simplify.lhs
  1.98.2.14 +3 -1      fptools/ghc/compiler/typecheck/TcHsSyn.lhs
  1.56.4.21 +4 -6      fptools/ghc/compiler/typecheck/TcMType.lhs
  1.96.2.21 +3 -3      fptools/ghc/compiler/typecheck/TcPat.lhs
  1.55.2.26 +15 -11    fptools/ghc/compiler/typecheck/TcUnify.lhs
  1.23.4.4  +4 -7      fptools/ghc/compiler/types/FunDeps.lhs
  1.122.2.4 +28 -10    fptools/ghc/compiler/types/Type.lhs
  1.13.2.8  +61 -47    fptools/ghc/compiler/types/Attic/Unify.lhs