[Git][ghc/ghc][wip/backports-9.8] 5 commits: Finish migration of diagnostics in GHC.Tc.Validity

[Ben Gamari (@bgamari)]

Ben Gamari pushed to branch wip/backports-9.8 at Glasgow Haskell Compiler / GHC


Commits:
425ee511 by sheaf at 2023-08-08T20:58:24-04:00
Finish migration of diagnostics in GHC.Tc.Validity

This patch finishes migrating the error messages in GHC.Tc.Validity
to use the new diagnostic infrastructure.

It also refactors the error message datatypes for class and family
instances, to common them up under a single datatype as much as possible.

(cherry picked from commit 7e05f6df938c62d265212abe97ac80c56154ba72)

- - - - -
3804c10c by Ben Gamari at 2023-08-08T20:59:02-04:00
codeGen: Ensure that TSAN is aware of writeArray# write barriers

By using a proper release store instead of a fence.

(cherry picked from commit aca20a5d4fde1c6429c887624bb95c9b54b7af73)
(cherry picked from commit 92b1ea6ec8adefee43ec34a36142253112962484)

- - - - -
25237710 by Ben Gamari at 2023-08-08T20:59:05-04:00
codeGen: Ensure that array reads have necessary barriers

This was the cause of #23541.

(cherry picked from commit 453c0531f2edf49b75c73bc45944600d8d7bf767)
(cherry picked from commit bab517675d2ee8542349f5372ffb3dbd61d4eae1)

- - - - -
8f6bb46e by Ben Gamari at 2023-08-08T21:15:24-04:00
Update Haddock submodule to fix #23368

This submodule update adds the following three commits:

bbf1c8ae - Check for puns
0550694e - Remove fake exports for (~), List, and Tuple<n>
5877bceb - Fix pretty-printing of Solo and MkSolo

These commits fix the issues with Haddock HTML rendering reported in
ticket #23368.

Fixes #23368

(cherry picked from commit 5f5859069cad98a6239e7845c645542c9608aa3d)

- - - - -
2a1a191d by Ben Gamari at 2023-08-08T21:15:27-04:00
Bump bytestring submodule to 0.12.0.1+

(cherry picked from commit f85d65da4fb44f1008cad1aef49621ab68243add)

- - - - -


30 changed files:

- compiler/GHC/Rename/Module.hs
- compiler/GHC/StgToCmm/Prim.hs
- compiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Solver/Monad.hs
- compiler/GHC/Tc/TyCl.hs
- compiler/GHC/Tc/TyCl/Class.hs
- compiler/GHC/Tc/TyCl/Instance.hs
- compiler/GHC/Tc/Validity.hs
- compiler/GHC/Types/Error/Codes.hs
- compiler/GHC/Types/Hint.hs
- compiler/GHC/Types/Hint/Ppr.hs
- libraries/bytestring
- testsuite/tests/dependent/should_fail/BadTelescope.stderr
- testsuite/tests/dependent/should_fail/BadTelescope3.stderr
- testsuite/tests/dependent/should_fail/BadTelescope4.stderr
- testsuite/tests/dependent/should_fail/T14066f.stderr
- testsuite/tests/dependent/should_fail/T14066g.stderr
- testsuite/tests/dependent/should_fail/T15591b.stderr
- testsuite/tests/dependent/should_fail/T15591c.stderr
- testsuite/tests/dependent/should_fail/T15743c.stderr
- testsuite/tests/dependent/should_fail/T15743d.stderr
- + testsuite/tests/deriving/should_fail/T23522.stderr
- testsuite/tests/indexed-types/should_compile/T11361a.stderr
- testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4a.stderr
- testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4b.stderr
- testsuite/tests/indexed-types/should_fail/Overlap4.stderr
- testsuite/tests/indexed-types/should_fail/SimpleFail13.stderr
- testsuite/tests/indexed-types/should_fail/SimpleFail2a.stderr
- testsuite/tests/indexed-types/should_fail/SimpleFail3a.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/f85d65da4fb44f1008cad1aef49621ab68243add...2a1a191df8727a639510ba54912edf090ccffd0a

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/f85d65da4fb44f1008cad1aef49621ab68243add...2a1a191df8727a639510ba54912edf090ccffd0a
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/20230808/9bc2f8ec/attachment-0001.html>