[Git][ghc/ghc][master] Convert diagnostics in GHC.Rename.HsType to proper TcRnMessage

[Marge Bot (@marge-bot)]

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


Commits:
8b092910 by Haskell-mouse at 2023-04-03T19:31:26-04:00
Convert diagnostics in GHC.Rename.HsType to proper TcRnMessage

I've turned all occurrences of TcRnUnknownMessage in GHC.Rename.HsType
module into a proper TcRnMessage.
Instead, these TcRnMessage messages were introduced:

TcRnDataKindsError
TcRnUnusedQuantifiedTypeVar
TcRnIllegalKindSignature
TcRnUnexpectedPatSigType
TcRnSectionPrecedenceError
TcRnPrecedenceParsingError
TcRnIllegalKind
TcRnNegativeNumTypeLiteral
TcRnUnexpectedKindVar
TcRnBindMultipleVariables
TcRnBindVarAlreadyInScope

- - - - -


30 changed files:

- compiler/GHC/Hs/Type.hs
- compiler/GHC/Rename/HsType.hs
- compiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Types/Error/Codes.hs
- testsuite/tests/linear/should_fail/T18888.stderr
- testsuite/tests/module/mod61.stderr
- testsuite/tests/overloadedrecflds/should_fail/T13132_duplicaterecflds.stderr
- testsuite/tests/parser/should_fail/readFail016.stderr
- testsuite/tests/parser/should_fail/readFail023.stderr
- testsuite/tests/polykinds/BadKindVar.stderr
- testsuite/tests/polykinds/T14710.stderr
- testsuite/tests/polykinds/T16762b.stderr
- testsuite/tests/polykinds/T7151.stderr
- testsuite/tests/rename/should_compile/ExplicitForAllRules1.stderr
- testsuite/tests/rename/should_compile/T5331.stderr
- testsuite/tests/rename/should_fail/T11663.stderr
- testsuite/tests/rename/should_fail/rnfail017.stderr
- testsuite/tests/rename/should_fail/rnfail019.stderr
- testsuite/tests/saks/should_fail/T16722.stderr
- testsuite/tests/th/T8412.stderr
- testsuite/tests/th/TH_Promoted1Tuple.stderr
- testsuite/tests/th/TH_unresolvedInfix2.stderr
- testsuite/tests/typecheck/should_fail/T18252a.stderr
- testsuite/tests/typecheck/should_fail/T8306.stderr
- testsuite/tests/typecheck/should_fail/TyAppPat_NonlinearMultiAppPat.stderr
- testsuite/tests/typecheck/should_fail/TyAppPat_NonlinearMultiPat.stderr
- testsuite/tests/typecheck/should_fail/TyAppPat_NonlinearSinglePat.stderr
- testsuite/tests/typecheck/should_fail/TyAppPat_ScopedTyVarConflict.stderr
- testsuite/tests/typecheck/should_fail/all.T


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/8b092910ac18a2b5dc97a29ced9fc469c663a03b

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/8b092910ac18a2b5dc97a29ced9fc469c663a03b
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/20230403/9be0fe85/attachment.html>