[Git][ghc/ghc][wip/T23333] 3 commits: Add structured error messages for GHC.Rename.Utils

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/T23333 at Glasgow Haskell Compiler / GHC


Commits:
275836d2 by Torsten Schmits at 2023-05-05T08:43:02+00:00
Add structured error messages for GHC.Rename.Utils

Tracking ticket: #20115

MR: !10350

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

- - - - -
983ce558 by Oleg Grenrus at 2023-05-05T13:11:29-04:00
Use TemplateHaskellQuotes in TH.Syntax to construct Names

- - - - -
a5c1de98 by Simon Peyton Jones at 2023-05-05T21:51:05+01:00
Look both ways when looking for quantified equalities

When looking up (t1 ~# t2) in the quantified constraints,
check both orientations.  Forgetting this led to #23333.

- - - - -


30 changed files:

- compiler/GHC/Rename/Bind.hs
- compiler/GHC/Rename/Expr.hs
- compiler/GHC/Rename/HsType.hs
- compiler/GHC/Rename/Module.hs
- compiler/GHC/Rename/Utils.hs
- compiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Module.hs
- compiler/GHC/Tc/Solver/Dict.hs
- compiler/GHC/Tc/Solver/Equality.hs
- compiler/GHC/Tc/Solver/Interact.hs
- compiler/GHC/Tc/Solver/Monad.hs
- compiler/GHC/Types/Error/Codes.hs
- compiler/GHC/Types/Hint.hs
- compiler/GHC/Types/Hint/Ppr.hs
- libraries/template-haskell/Language/Haskell/TH/Syntax.hs
- testsuite/tests/deSugar/should_compile/ds053.stderr
- testsuite/tests/deriving/should_compile/T13919.stderr
- testsuite/tests/driver/t22391/t22391.stderr
- testsuite/tests/driver/t22391/t22391j.stderr
- testsuite/tests/driver/werror.stderr
- testsuite/tests/gadt/T12087.stderr
- testsuite/tests/gadt/T14320.stderr
- testsuite/tests/gadt/T16427.stderr
- testsuite/tests/gadt/T18191.stderr
- testsuite/tests/ghci/prog018/prog018.stdout
- testsuite/tests/indexed-types/should_compile/ExplicitForAllFams2.stderr
- testsuite/tests/indexed-types/should_compile/T16356_Compile2.stderr
- testsuite/tests/indexed-types/should_compile/T16632.stderr
- testsuite/tests/indexed-types/should_compile/UnusedTyVarWarnings.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/264162062e7327d89bd7baf5a45cbe3105558f8b...a5c1de9893d7496903989c12353ec903c049ed6c

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/264162062e7327d89bd7baf5a45cbe3105558f8b...a5c1de9893d7496903989c12353ec903c049ed6c
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/20230505/711d98ba/attachment.html>