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 /libraries/base/GHC/Int.hs | |
| 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 'libraries/base/GHC/Int.hs')
0 files changed, 0 insertions, 0 deletions