cvs commit: fptools/ghc/compiler/typecheck TcMType.lhs TcMonoType.lhs TcType.lhs

Simon Peyton Jones simonpj@glass.cse.ogi.edu
Tue, 10 Jul 2001 04:32:28 -0700 

simonpj     2001/07/10 04:32:28 PDT

  Modified files:
    ghc/compiler/typecheck TcMType.lhs TcMonoType.lhs TcType.lhs 
  Log:
  Two bug-fixes to the new newtype story
  
  1. 	Be consistent about using TcType (not Type) in the
  	typechecker.  There was an odd function in TcMType that
  	used splitTyConApp instead of tcSplitTyConApp, which
  	resulted in bogus error messages
  
  2.	TcType.isTauTy should not look through SourceTy
  
  Revision  Changes    Path
  1.3       +41 -37    fptools/ghc/compiler/typecheck/TcMType.lhs
  1.83      +1 -6      fptools/ghc/compiler/typecheck/TcMonoType.lhs
  1.52      +29 -12    fptools/ghc/compiler/typecheck/TcType.lhs