summaryrefslogtreecommitdiff
path: root/rts/sm/NonMoving.h
diff options
context:
space:
mode:
authorsheaf <sam.derbyshire@gmail.com>2023-02-07 15:10:30 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2023-02-14 11:31:49 -0500
commit9fb4ca89bff9873e5f6a6849fa22a349c94deaae (patch)
treee85819a1fa5c8a761dacb5e04e636b0da9555626 /rts/sm/NonMoving.h
parentd6411d6cddb8c94c74e5834f0199370d189d31a2 (diff)
downloadhaskell-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 'rts/sm/NonMoving.h')
0 files changed, 0 insertions, 0 deletions