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/ghci | |
| 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/ghci')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T13202a.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/T14969.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/ghci/should_run/T15806.stderr | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/ghci/scripts/T13202a.stderr b/testsuite/tests/ghci/scripts/T13202a.stderr index 0402e7df7d..a2a6704432 100644 --- a/testsuite/tests/ghci/scripts/T13202a.stderr +++ b/testsuite/tests/ghci/scripts/T13202a.stderr @@ -1,6 +1,6 @@ <interactive>:4:5: error: • Non type-variable argument in the constraint: HasField "name" r a - (Use FlexibleContexts to permit this) • When checking the inferred type foo :: forall {r} {a}. HasField "name" r a => r -> a + Suggested fix: Perhaps you intended to use FlexibleContexts diff --git a/testsuite/tests/ghci/scripts/T14969.stderr b/testsuite/tests/ghci/scripts/T14969.stderr index ee9b5d2de8..b44c578b20 100644 --- a/testsuite/tests/ghci/scripts/T14969.stderr +++ b/testsuite/tests/ghci/scripts/T14969.stderr @@ -2,6 +2,6 @@ <interactive>:2:1: error: • Non type-variable argument in the constraint: Num (t2 -> t1 -> t3) - (Use FlexibleContexts to permit this) • When checking the inferred type it :: forall {t1} {t2} {t3}. (Num t1, Num (t2 -> t1 -> t3)) => t3 + Suggested fix: Perhaps you intended to use FlexibleContexts diff --git a/testsuite/tests/ghci/should_run/T15806.stderr b/testsuite/tests/ghci/should_run/T15806.stderr index c25e90fe3a..2c9bc177fd 100644 --- a/testsuite/tests/ghci/should_run/T15806.stderr +++ b/testsuite/tests/ghci/should_run/T15806.stderr @@ -1,4 +1,4 @@ <interactive>:1:1: error: Illegal polymorphic type: forall a. a -> a - Perhaps you intended to use ImpredicativeTypes + Suggested fix: Perhaps you intended to use ImpredicativeTypes |