• Richard Eisenberg's avatar
    Don't lint erroneous programs. · 41f0f6c2
    Richard Eisenberg authored
    newFamInst lints its types. This is good. But it's not so good
    when there have been errors and thus recovery tycons are about.
    So we now don't.
    Fixes #15796.
    Test case: typecheck/should_fail/T15796
    (cherry picked from commit 1f72a1c8)
FamInst.hs 40.1 KB