summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T22924b.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T22924b.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/T22924b.stderr10
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T22924b.stderr b/testsuite/tests/typecheck/should_fail/T22924b.stderr
new file mode 100644
index 0000000000..ba4bd79198
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/T22924b.stderr
@@ -0,0 +1,10 @@
+
+T22924b.hs:10:5: error:
+ • Reduction stack overflow; size = 201
+ When simplifying the following type: R
+ Use -freduction-depth=0 to disable this check
+ (any upper bound you could choose might fail unpredictably with
+ minor updates to GHC, so disabling the check is recommended if
+ you're sure that type checking should terminate)
+ • In the expression: coerce
+ In an equation for ‘f’: f = coerce