Skip to content
Snippets Groups Projects
Select Git revision
20 results
Blame Permalink
Forked from Glasgow Haskell Compiler / GHC
5596 commits behind the upstream repository.
  • sheaf's avatar
    57277662
    Add the Unsatisfiable class · 57277662
    sheaf authored 
    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 it
when we are reporting unsolved Wanted constraints.

Fixes #14983 #16249 #16906 #18310 #20835
    57277662
    History
    Add the Unsatisfiable class
    sheaf authored 
    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 it
when we are reporting unsolved Wanted constraints.

Fixes #14983 #16249 #16906 #18310 #20835
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
UnsatisfiableFail1.hs 221 B