Skip to content

WIP: Don't emit custom TypeErrors that appear as given constraints

isovector requested to merge trac-isovector/ghc:trac16906 into master

GHC currently emits any custom type errors that appear as given constraints. This is frustratingly eager, and is contra its behavior for other crazy given constraints (such as Int ~ Bool => ()), which will happily work as givens, but complain when wanted.

Instead, this MR will never emit any custom type errors that appear as givens, delaying them until they're wanted.

This fixes #16906 (closed).

Edited by Ben Gamari

Merge request reports