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/deriving | |
| 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/deriving')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T15073.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/deriving/should_fail/T15073.stderr b/testsuite/tests/deriving/should_fail/T15073.stderr index f39fd19bbc..79d3a10cdc 100644 --- a/testsuite/tests/deriving/should_fail/T15073.stderr +++ b/testsuite/tests/deriving/should_fail/T15073.stderr @@ -1,9 +1,9 @@ T15073.hs:8:12: error: • Illegal unboxed tuple type as function argument: (# Foo a #) - Perhaps you intended to use UnboxedTuples • In the type signature: p :: Foo a -> (# Foo a #) When typechecking the code for ‘p’ in a derived instance for ‘P (Foo a)’: To see the code I am typechecking, use -ddump-deriv In the instance declaration for ‘P (Foo a)’ + Suggested fix: Perhaps you intended to use UnboxedTuples
\ No newline at end of file |