[Git][ghc/ghc][master] Add the Unsatisfiable class

[Marge Bot (@marge-bot)]

Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC


Commits:
57277662 by sheaf at 2023-04-29T20:23:06+02:00
Add the Unsatisfiable class

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

- - - - -


30 changed files:

- compiler/GHC/Builtin/Names.hs
- compiler/GHC/Builtin/Types.hs
- compiler/GHC/Builtin/Types/Prim.hs
- compiler/GHC/Core/Type.hs
- compiler/GHC/Data/Bag.hs
- compiler/GHC/Tc/Errors.hs
- compiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Instance/Class.hs
- compiler/GHC/Tc/Instance/FunDeps.hs
- compiler/GHC/Tc/Solver.hs
- compiler/GHC/Tc/Solver/Monad.hs
- compiler/GHC/Tc/Solver/Types.hs
- compiler/GHC/Tc/TyCl/Instance.hs
- compiler/GHC/Tc/Types/Constraint.hs
- compiler/GHC/Tc/Utils/Env.hs
- compiler/GHC/Tc/Utils/TcType.hs
- compiler/GHC/Tc/Validity.hs
- compiler/GHC/Types/Error/Codes.hs
- docs/users_guide/9.8.1-notes.rst
- libraries/base/GHC/TypeError.hs
- libraries/base/changelog.md
- + testsuite/tests/unsatisfiable/T11503_Unsat.hs
- + testsuite/tests/unsatisfiable/T14141_Unsat.hs
- + testsuite/tests/unsatisfiable/T14141_Unsat.stderr
- + testsuite/tests/unsatisfiable/T14339_Unsat.hs
- + testsuite/tests/unsatisfiable/T14339_Unsat.stderr
- + testsuite/tests/unsatisfiable/T15232_Unsat.hs
- + testsuite/tests/unsatisfiable/T22696_Unsat.stderr
- + testsuite/tests/unsatisfiable/UnsatClassMethods.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/57277662989b97dbf5ddc034d6c41ce39ab674ab

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/57277662989b97dbf5ddc034d6c41ce39ab674ab
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20230430/5614dbfb/attachment.html>