Skip to content

Don't zap to Any; error instead

Richard Eisenberg requested to merge wip/t16775 into master

Commit message

Don't zap to Any; error instead

This changes GHC's treatment of so-called Naughty Quantification
Candidates to issue errors, instead of zapping to Any.

Close #16775.

No new test cases, because existing ones cover this well.

Tag #16775 (closed).

Merge request reports