cvs commit: fptools/ghc/compiler/typecheck TcClassDcl.lhs TcInstDcls.lhs TcModule.lhs TcRules.lhs TcTyClsDecls.lhs fptools/ghc/compiler/hsSyn HsDecls.lhs

Simon Peyton Jones simonpj@glass.cse.ogi.edu
Wed, 30 Jan 2002 09:16:38 -0800


simonpj     2002/01/30 09:16:38 PST

  Modified files:
    ghc/compiler/typecheck TcClassDcl.lhs TcInstDcls.lhs 
                           TcModule.lhs TcRules.lhs 
                           TcTyClsDecls.lhs 
    ghc/compiler/hsSyn   HsDecls.lhs 
  Log:
  	-----------------------------
  	Tidy up the top level of TcModule
  	-----------------------------
  
  This commit started life as sorting out the TcInstDcls thing that
  we got wrong a few weeks back, but it spiraled out of control.
  
  However, the result is a nice tidy up of TcModule.
  
  typecheckModule/tcModule compiles a module from source code
  typecheckIface/tcIface   compiles a module from its interface file
  typecheckStmt		 compiles a Stmt
  typecheckExpr		 compiles a Expr
  
  tcExtraDecls is used by typecheckStmt/typecheckExpr
  	to compile interface-file decls.
  	It is just a wrapper for:
  
  tcIfaceImports, which is used by tcExtraDecls and tcIface
  	to compile interface file-file decls.
  
  tcImports, is similar to tcIfaceImports, but is used only by tcModule
  
  tcIfaceImports is used when compiling an interface, and can
  	therefore be quite a bit simpler
  
  Revision  Changes    Path
  1.109     +6 -8      fptools/ghc/compiler/typecheck/TcClassDcl.lhs
  1.140     +33 -38    fptools/ghc/compiler/typecheck/TcInstDcls.lhs
  1.130     +168 -96   fptools/ghc/compiler/typecheck/TcModule.lhs
  1.33      +9 -24     fptools/ghc/compiler/typecheck/TcRules.lhs
  1.85      +25 -19    fptools/ghc/compiler/typecheck/TcTyClsDecls.lhs
  1.84      +4 -8      fptools/ghc/compiler/hsSyn/HsDecls.lhs