Skip to content

Fix error recovery in solveEqualities

Simon Peyton Jones requested to merge wip/T19142 into master

As #19142 (closed) showed, with -fdefer-type-errors we were allowing compilation to proceed despite a fatal kind error. This patch fixes it, as described in the new note in GHC.Tc.Solver, Note [Wrapping failing kind equalities]

Merge request reports