cvs commit: fptools/ghc/compiler/iface LoadIface.lhs fptools/ghc/compiler/main HscTypes.lhs fptools/ghc/compiler/rename RnNames.lhs fptools/ghc/compiler/typecheck TcEnv.lhs TcExpr.lhs TcHsSyn.lhs TcMType.lhs TcPat.lhs TcRnDriver.lhs TcRnTypes.lhs TcTyDecls.lhs ...

[Simon Peyton Jones]

simonpj     2004/10/01 03:09:38 PDT

  Modified files:
    ghc/compiler/iface   LoadIface.lhs 
    ghc/compiler/main    HscTypes.lhs 
    ghc/compiler/rename  RnNames.lhs 
    ghc/compiler/typecheck TcEnv.lhs TcExpr.lhs TcHsSyn.lhs 
                           TcMType.lhs TcPat.lhs TcRnDriver.lhs 
                           TcRnTypes.lhs TcTyDecls.lhs TcType.lhs 
                           TcUnify.lhs 
    ghc/compiler/types   Type.lhs TypeRep.lhs 
  Log:
  	-----------------------------------
  	Do simple checking on hi-boot files
  	-----------------------------------
  
  This commit arranges that, when compiling A.hs, we compare
  the types we infer with those in A.hi-boot, if the latter 
  exists.  (Or, more accurately, if anything A.hs imports in
  turn imports A.hi-boot, directly or indirectly.)
  
  This has been on the to-do list forever.
  
  Revision  Changes    Path
  1.16      +31 -2     fptools/ghc/compiler/iface/LoadIface.lhs
  1.117     +5 -2      fptools/ghc/compiler/main/HscTypes.lhs
  1.174     +1 -1      fptools/ghc/compiler/rename/RnNames.lhs
  1.132     +4 -7      fptools/ghc/compiler/typecheck/TcEnv.lhs
  1.172     +1 -1      fptools/ghc/compiler/typecheck/TcExpr.lhs
  1.102     +2 -2      fptools/ghc/compiler/typecheck/TcHsSyn.lhs
  1.58      +2 -2      fptools/ghc/compiler/typecheck/TcMType.lhs
  1.99      +1 -1      fptools/ghc/compiler/typecheck/TcPat.lhs
  1.80      +85 -9     fptools/ghc/compiler/typecheck/TcRnDriver.lhs
  1.41      +3 -3      fptools/ghc/compiler/typecheck/TcRnTypes.lhs
  1.98      +19 -3     fptools/ghc/compiler/typecheck/TcTyDecls.lhs
  1.109     +2 -2      fptools/ghc/compiler/typecheck/TcType.lhs
  1.57      +1 -1      fptools/ghc/compiler/typecheck/TcUnify.lhs
  1.125     +1 -1      fptools/ghc/compiler/types/Type.lhs
  1.38      +8 -5      fptools/ghc/compiler/types/TypeRep.lhs