diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2023-01-30 17:39:18 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-03-02 22:42:06 -0500 |
| commit | 1ed573a53ee454db240b9fb1a17e28c97b6eb53a (patch) | |
| tree | 239eae7a0faf92661ea2c3c17bb712c79d26a6f7 /boot | |
| parent | 86f240ca956f633c20a61872ec44de9e21266624 (diff) | |
| download | haskell-1ed573a53ee454db240b9fb1a17e28c97b6eb53a.tar.gz | |
Don't suppress *all* Wanteds
Code in GHC.Tc.Errors.reportWanteds suppresses a Wanted if its
rewriters have unfilled coercion holes; see
Note [Wanteds rewrite Wanteds] in GHC.Tc.Types.Constraint.
But if we thereby suppress *all* errors that's really confusing,
and as #22707 shows, GHC goes on without even realising that the
program is broken. Disaster.
This MR arranges to un-suppress them all if they all get suppressed.
Close #22707
Diffstat (limited to 'boot')
0 files changed, 0 insertions, 0 deletions