Skip to content

Implement Unsatisfiable (GHC proposal 433)

sheaf requested to merge sheaf/ghc:unsatisfiable into master

This commit implements GHC proposal #433, adding the Unsatisfiable class to the GHC.TypeError module. This provides an alternative to TypeError for which error reporting is more predictable: we report errors when we are reporting unsolved Wanted constraints.

Merge request reports