diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2023-02-07 15:10:30 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-02-14 11:31:49 -0500 |
| commit | 9fb4ca89bff9873e5f6a6849fa22a349c94deaae (patch) | |
| tree | e85819a1fa5c8a761dacb5e04e636b0da9555626 /testsuite/tests/typecheck/should_fail/all.T | |
| parent | d6411d6cddb8c94c74e5834f0199370d189d31a2 (diff) | |
| download | haskell-9fb4ca89bff9873e5f6a6849fa22a349c94deaae.tar.gz | |
Introduce warning for loopy superclass solve
Commit aed1974e completely re-engineered the treatment of loopy
superclass dictionaries in instance declarations. Unfortunately,
it has the potential to break (albeit in a rather minor way) user code.
To alleviate migration concerns, this commit re-introduces the old
behaviour. Any reliance on this old behaviour triggers a warning,
controlled by `-Wloopy-superclass-solve`. The warning text explains
that GHC might produce bottoming evidence, and provides a migration
strategy.
This allows us to provide a graceful migration period, alerting users
when they are relying on this unsound behaviour.
Fixes #22912 #22891 #20666 #22894 #22905
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/all.T')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/all.T | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T index a7e9f6a678..f8a3db350c 100644 --- a/testsuite/tests/typecheck/should_fail/all.T +++ b/testsuite/tests/typecheck/should_fail/all.T @@ -241,7 +241,7 @@ test('tcfail215', normal, compile_fail, ['']) test('tcfail216', normal, compile_fail, ['']) test('tcfail217', normal, compile_fail, ['']) test('tcfail218', normal, compile_fail, ['']) -test('tcfail223', normal, compile_fail, ['']) +test('tcfail223', normal, compile, ['']) # To become compile_fail after migration period (see #22912) test('tcfail224', normal, compile_fail, ['']) test('tcfail225', normal, compile_fail, ['']) @@ -294,7 +294,7 @@ test('T19187a', normal, compile_fail, ['']) test('T2534', normal, compile_fail, ['']) test('T7175', normal, compile_fail, ['']) test('T7210', normal, compile_fail, ['']) -test('T6161', normal, compile_fail, ['']) +test('T6161', normal, compile, ['']) # To become compile_fail after migration period (see #22912) test('T7368', normal, compile_fail, ['']) test('T7264', normal, compile_fail, ['']) test('T6069', normal, compile_fail, ['']) @@ -665,5 +665,5 @@ test('T21530a', normal, compile_fail, ['']) test('T21530b', normal, compile_fail, ['']) test('T22570', normal, compile_fail, ['']) test('T22645', normal, compile_fail, ['']) -test('T20666', normal, compile_fail, ['']) -test('T20666a', normal, compile_fail, ['']) +test('T20666', normal, compile, ['']) # To become compile_fail after migration period (see #22912) +test('T20666a', normal, compile, ['']) # To become compile_fail after migration period (see #22912) |