• simonpj's avatar
    [project @ 2002-05-23 15:51:26 by simonpj] · 61193fe4
    simonpj authored
    Don't report ambiguity errors
    	if other type errors have happened
    This saves a gratuitous error cascade when the type checker
    recovers from one error by giving f type (forall a.a), and
    then find an ambiguity problem as a direct result.
TcSimplify.lhs 67.4 KB