• simonpj's avatar
    [project @ 2001-07-10 11:32:28 by simonpj] · c4786b4e
    simonpj authored
    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
    c4786b4e
TcMType.lhs 32.1 KB