• Simon Peyton Jones's avatar
    Improve error messages for recursive superclasses · d6b68be1
    Simon Peyton Jones authored
    If we fail to typecheck by blowing the constraint simplifier
    iteration limit, we want to see the limit-blowing meessage.
    Previously it was being suppressed by the type /error/, which
    suppress the iteration-limit /warning/.  Solution: make the
    iteration-limit message into an error.
TcSimplify.hs 85.2 KB