summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T20666.stderr
diff options
context:
space:
mode:
authorsheaf <sam.derbyshire@gmail.com>2023-02-21 17:09:48 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2023-02-23 17:00:01 -0500
commite9e7a00da2c5963a53dbcedaec793400fde07563 (patch)
tree880c590a832221fe86566b400cad7010ccca0b80 /testsuite/tests/typecheck/should_fail/T20666.stderr
parent8e170f86da9f804b18023a99c7c0add020a42e32 (diff)
downloadhaskell-e9e7a00da2c5963a53dbcedaec793400fde07563.tar.gz
Explicit migration timeline for loopy SC solving
This patch updates the warning message introduced in commit 9fb4ca89bff9873e5f6a6849fa22a349c94deaae to specify an explicit migration timeline: GHC will no longer support this constraint solving mechanism starting from GHC 9.10. Fixes #22912
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T20666.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/T20666.stderr4
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T20666.stderr b/testsuite/tests/typecheck/should_fail/T20666.stderr
index 46d0fafcc4..63a0d11c07 100644
--- a/testsuite/tests/typecheck/should_fail/T20666.stderr
+++ b/testsuite/tests/typecheck/should_fail/T20666.stderr
@@ -3,7 +3,7 @@ T20666.hs:13:10: warning: [GHC-36038] [-Wloopy-superclass-solve (in -Wdefault)]
I am solving the constraint ‘Show (T c)’,
arising from the superclasses of an instance declaration,
in a way that might turn out to loop at runtime.
- Future versions of GHC will turn this warning into an error.
+ Starting from GHC 9.10, this warning will turn into an error.
See the user manual, § Undecidable instances and loopy superclasses.
Suggested fix:
Add the constraint ‘Show (T c)’ to the instance context,
@@ -13,7 +13,7 @@ T20666.hs:17:10: warning: [GHC-36038] [-Wloopy-superclass-solve (in -Wdefault)]
I am solving the constraint ‘Show (T c)’,
arising from the superclasses of an instance declaration,
in a way that might turn out to loop at runtime.
- Future versions of GHC will turn this warning into an error.
+ Starting from GHC 9.10, this warning will turn into an error.
See the user manual, § Undecidable instances and loopy superclasses.
Suggested fix:
Add the constraint ‘Show (T c)’ to the instance context,