diff options
author | hainq <hai@meld.com> | 2021-08-28 12:50:53 +0700 |
---|---|---|
committer | hainq <hai@meld.com> | 2021-09-01 15:09:08 +0700 |
commit | af41496fbba4995786914f1703642c735e4a1e89 (patch) | |
tree | a91b72820a0e47dfb955af07db78e5b652e290e5 /testsuite/tests/indexed-types | |
parent | 922c6bc8dd8d089cfe4b90ec2120cb48959ba2b5 (diff) | |
download | haskell-af41496fbba4995786914f1703642c735e4a1e89.tar.gz |
Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.
- Add 19 new messages. Update test outputs accordingly.
- Pretty print suggest-extensions hints: remove space before
interspersed commas.
- Refactor Rank's MonoType constructors. Each MonoType constructor
should represent a specific case. With the Doc suggestion belonging
to the TcRnMessage diagnostics instead.
- Move Rank from Validity to its own `GHC.Tc.Types.Rank` module.
- Remove the outdated `check_irred_pred` check.
- Remove the outdated duplication check in `check_valid_theta`, which
was subsumed by `redundant-constraints`.
- Add missing test cases for quantified-constraints/T16474 & th/T12387a.
Diffstat (limited to 'testsuite/tests/indexed-types')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr b/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr index 7119b9a8a9..133ab2c288 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail15.stderr @@ -1,5 +1,5 @@ SimpleFail15.hs:6:8: error: • Illegal qualified type: (a ~ b) => t - Perhaps you intended to use RankNTypes • In the type signature: foo :: (a, b) -> (a ~ b => t) -> (a, b) + Suggested fix: Perhaps you intended to use RankNTypes |