cvs commit: fptools/ghc/compiler/typecheck TcIfaceSig.lhs fptools/ghc/compiler/coreSyn CoreLint.lhs

[Simon Peyton Jones]

simonpj     2002/09/27 01:16:26 PDT

  Modified files:
    ghc/compiler/typecheck TcIfaceSig.lhs 
    ghc/compiler/coreSyn CoreLint.lhs 
  Log:
  	--------------------------------
       Do type-checking of external-core input
  	--------------------------------
  
  When we read in an External Core file, we should really type-check it.
  We weren't, because we treated it as if it were trusted, interface-file
  material.
  
  This commit fixes the problem, albeit in a bit of a hacky way.  The
  typechecking is done by Lint, which does not give as friendly error
  messages as does the normal typechecker.  But it's much better than nothing.
  
  I also removed the entirely-unused 'warnings' from the Lint monad.
  
  Revision  Changes    Path
  1.86      +21 -9     fptools/ghc/compiler/typecheck/TcIfaceSig.lhs
  1.69      +31 -58    fptools/ghc/compiler/coreSyn/CoreLint.lhs
_______________________________________________
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc