Don't lint erroneous programs.
authorRichard Eisenberg <rae@cs.brynmawr.edu>
Thu, 1 Nov 2018 22:03:21 +0000 (18:03 -0400)
committerRichard Eisenberg <rae@cs.brynmawr.edu>
Thu, 1 Nov 2018 22:05:14 +0000 (18:05 -0400)
commit1f72a1c81368e34387aac38c0b1c59521cec58ec
treee074c1f92f4459ff21b56b68476696e56c5afc72
parent74ed9c1c1b26971133c7166663b9c966d2eaca08
Don't lint erroneous programs.

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
compiler/typecheck/FamInst.hs
testsuite/tests/typecheck/should_fail/T15796.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/T15796.stderr [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/all.T