[Git][ghc/ghc][wip/T23307] 5 commits: Add the Unsatisfiable class

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/T23307 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

- - - - -
00a8a5ff by Torsten Schmits at 2023-04-30T03:45:09-04:00
Add structured error messages for GHC.Rename.Names

Tracking ticket: #20115

MR: !10336

This converts uses of `mkTcRnUnknownMessage` to newly added constructors
of `TcRnMessage`.

- - - - -
fbdea779 by Simon Peyton Jones at 2023-05-01T19:55:08+01:00
Make GHC.Types.Id.Make.shouldUnpackTy a bit more clever

As #23307, GHC.Types.Id.Make.shouldUnpackTy was leaving money on the
table, failing to unpack arguments that are perfectly unpackable.

The fix is pretty easy; see Note [Recursive unboxing]

- - - - -
b4cf71f8 by Simon Peyton Jones at 2023-05-01T19:55:08+01:00
Wibbles

- - - - -
79aa2318 by Simon Peyton Jones at 2023-05-01T22:52:47+01:00
Make it even more clever

adding T23307a

- - - - -


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/Rename/Names.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
- compiler/GHC/Types/Hint.hs
- compiler/GHC/Types/Hint/Ppr.hs
- compiler/GHC/Types/Id/Make.hs
- docs/users_guide/9.8.1-notes.rst
- libraries/base/GHC/TypeError.hs
- libraries/base/changelog.md
- testsuite/tests/deriving/should_compile/T17324.stderr
- testsuite/tests/driver/t22391/t22391.stderr
- testsuite/tests/driver/t22391/t22391j.stderr
- testsuite/tests/ghci/prog018/prog018.stdout


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/30365bebdd0eeae3ccf7386a2b08ac2bfafd07cf...79aa2318ed1909f25e04b849896bf74e5f66d4f2

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/30365bebdd0eeae3ccf7386a2b08ac2bfafd07cf...79aa2318ed1909f25e04b849896bf74e5f66d4f2
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/20230501/18323150/attachment.html>