-
Simon Peyton Jones 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