[Git][ghc/ghc][master] Migrate errors in GHC.Tc.Validity

[Marge Bot (@marge-bot)]

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


Commits:
838aaf4b by hainq at 2023-05-24T12:41:19-04:00
Migrate errors in GHC.Tc.Validity

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

It adds the constructors:

  - TcRnSimplifiableConstraint
  - TcRnArityMismatch
  - TcRnIllegalInstanceDecl, with sub-datatypes for HasField errors
    and fundep coverage condition errors.

- - - - -


30 changed files:

- compiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Gen/Pat.hs
- compiler/GHC/Tc/Instance/Class.hs
- compiler/GHC/Tc/Instance/FunDeps.hs
- compiler/GHC/Tc/Types/Origin.hs
- compiler/GHC/Tc/Validity.hs
- compiler/GHC/Types/Error/Codes.hs
- testsuite/tests/deriving/should_fail/drvfail015.stderr
- testsuite/tests/ghci/scripts/T22695.stderr
- testsuite/tests/ghci/should_fail/T16013.stderr
- testsuite/tests/ghci/should_fail/T16287.stderr
- testsuite/tests/indexed-types/should_compile/T15322.stderr
- testsuite/tests/indexed-types/should_fail/BadSock.stderr
- testsuite/tests/indexed-types/should_fail/T2157.stderr
- testsuite/tests/indexed-types/should_fail/T9433.stderr
- testsuite/tests/module/mod41.stderr
- testsuite/tests/module/mod42.stderr
- testsuite/tests/module/mod43.stderr
- testsuite/tests/module/mod60.stderr
- testsuite/tests/overloadedrecflds/should_fail/all.T
- testsuite/tests/overloadedrecflds/should_fail/hasfieldfail03.stderr
- + testsuite/tests/overloadedrecflds/should_fail/hasfieldfail04.hs
- + testsuite/tests/overloadedrecflds/should_fail/hasfieldfail04.stderr
- testsuite/tests/parser/should_fail/ParserNoBinaryLiterals2.stderr
- testsuite/tests/parser/should_fail/ParserNoBinaryLiterals3.stderr
- testsuite/tests/partial-sigs/should_compile/SomethingShowable.stderr
- testsuite/tests/patsyn/should_fail/T12819.stderr
- testsuite/tests/polykinds/T10516.stderr
- testsuite/tests/polykinds/T10570.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/838aaf4b6e7020c87023b2daaee2afe6bca821f5

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/838aaf4b6e7020c87023b2daaee2afe6bca821f5
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/20230524/1b2ecfc3/attachment.html>