Skip to content

Reinstate untouchable variable error messages

sheaf requested to merge sheaf/ghc:untouchable-errs into master

This extra bit of information was accidentally being discarded after a refactoring of the way we reported problems when unifying a type variable with another type. See #23591 (closed)

This patch rectifies that.

TODO:

  • accept testsuite changes.
Edited by sheaf

Merge request reports