cvs commit: fptools/ghc/compiler/basicTypes VarEnv.lhs fptools/ghc/compiler/coreSyn CoreLint.lhs CoreUnify.lhs fptools/ghc/compiler/hsSyn HsExpr.hi-boot-6 fptools/ghc/compiler/typecheck TcMType.lhs TcPat.lhs TcRnMonad.lhs TcRnTypes.lhs fptools/ghc/compiler/types ...

Fri Aug 27 08:43:26 EDT 2004

simonpj     2004/08/27 05:43:26 PDT

  Modified files:        (Branch: tidt-branch)
    ghc/compiler/basicTypes VarEnv.lhs 
    ghc/compiler/coreSyn CoreLint.lhs 
    ghc/compiler/hsSyn   HsExpr.hi-boot-6 
    ghc/compiler/typecheck TcMType.lhs TcPat.lhs TcRnMonad.lhs 
                           TcRnTypes.lhs 
    ghc/compiler/utils   UniqFM.lhs 
  Added files:           (Branch: tidt-branch)
    ghc/compiler/types   Unify.lhs 
  Removed files:         (Branch: tidt-branch)
    ghc/compiler/coreSyn CoreUnify.lhs 
  Log:
  First cut at type refinement
  
  Revision  Changes    Path
  1.14.12.3 +7 -0      fptools/ghc/compiler/basicTypes/VarEnv.lhs
  1.76.4.14 +6 -4      fptools/ghc/compiler/coreSyn/CoreLint.lhs
  1.5.4.1   +2 -2      fptools/ghc/compiler/hsSyn/HsExpr.hi-boot-6
  1.56.4.16 +2 -1      fptools/ghc/compiler/typecheck/TcMType.lhs
  1.96.2.15 +28 -6     fptools/ghc/compiler/typecheck/TcPat.lhs
  1.35.2.10 +3 -1      fptools/ghc/compiler/typecheck/TcRnMonad.lhs
  1.36.2.12 +1 -1      fptools/ghc/compiler/typecheck/TcRnTypes.lhs
  1.37.4.1  +14 -4     fptools/ghc/compiler/utils/UniqFM.lhs