Add some structured diagnostics in Tc/Validity.hs
This addresses the work of ticket #20118 Created the following constructors for TcRnMessage - TcRnInaccessibleCoAxBranch - TcRnPatersonCondFailure (cherry picked from commit 03f941f4)
Showing
- compiler/GHC/Tc/Errors/Ppr.hs 53 additions, 1 deletioncompiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs 29 additions, 1 deletioncompiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Utils/TcType.hs 27 additions, 16 deletionscompiler/GHC/Tc/Utils/TcType.hs
- compiler/GHC/Tc/Validity.hs 5 additions, 63 deletionscompiler/GHC/Tc/Validity.hs
- compiler/GHC/Types/Error/Codes.hs 2 additions, 0 deletionscompiler/GHC/Types/Error/Codes.hs
- testsuite/tests/dependent/should_compile/T14066a.stderr 1 addition, 1 deletiontestsuite/tests/dependent/should_compile/T14066a.stderr
- testsuite/tests/deriving/should_fail/T8165_fail2.stderr 2 additions, 2 deletionstestsuite/tests/deriving/should_fail/T8165_fail2.stderr
- testsuite/tests/indexed-types/should_compile/T9085.stderr 1 addition, 1 deletiontestsuite/tests/indexed-types/should_compile/T9085.stderr
- testsuite/tests/indexed-types/should_fail/NotRelaxedExamples.stderr 6 additions, 6 deletions...tests/indexed-types/should_fail/NotRelaxedExamples.stderr
- testsuite/tests/indexed-types/should_fail/T10817.stderr 2 additions, 2 deletionstestsuite/tests/indexed-types/should_fail/T10817.stderr
- testsuite/tests/indexed-types/should_fail/T15172.stderr 2 additions, 2 deletionstestsuite/tests/indexed-types/should_fail/T15172.stderr
- testsuite/tests/indexed-types/should_fail/TyFamUndec.stderr 6 additions, 6 deletionstestsuite/tests/indexed-types/should_fail/TyFamUndec.stderr
- testsuite/tests/quantified-constraints/T15231.stderr 2 additions, 2 deletionstestsuite/tests/quantified-constraints/T15231.stderr
- testsuite/tests/quantified-constraints/T15316.stderr 2 additions, 2 deletionstestsuite/tests/quantified-constraints/T15316.stderr
- testsuite/tests/typecheck/should_compile/T15473.stderr 2 additions, 2 deletionstestsuite/tests/typecheck/should_compile/T15473.stderr
- testsuite/tests/typecheck/should_compile/T6018.stderr 2 additions, 2 deletionstestsuite/tests/typecheck/should_compile/T6018.stderr
- testsuite/tests/typecheck/should_compile/tc265.stderr 1 addition, 1 deletiontestsuite/tests/typecheck/should_compile/tc265.stderr
- testsuite/tests/typecheck/should_fail/T15552a.stderr 6 additions, 6 deletionstestsuite/tests/typecheck/should_fail/T15552a.stderr
- testsuite/tests/typecheck/should_fail/T19187a.stderr 2 additions, 2 deletionstestsuite/tests/typecheck/should_fail/T19187a.stderr
- testsuite/tests/typecheck/should_fail/fd-loop.stderr 2 additions, 2 deletionstestsuite/tests/typecheck/should_fail/fd-loop.stderr
Loading
Please register or sign in to comment