summaryrefslogtreecommitdiff
path: root/testsuite/tests/perf/compiler/T5837.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/perf/compiler/T5837.stderr')
-rw-r--r--testsuite/tests/perf/compiler/T5837.stderr8
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/perf/compiler/T5837.stderr b/testsuite/tests/perf/compiler/T5837.stderr
index 7add7e39bc..324e817947 100644
--- a/testsuite/tests/perf/compiler/T5837.stderr
+++ b/testsuite/tests/perf/compiler/T5837.stderr
@@ -1,5 +1,5 @@
-T5837.hs:8:6:
+T5837.hs:8:6: error:
Reduction stack overflow; size = 51
When simplifying the following type:
TF
@@ -86,6 +86,6 @@ T5837.hs:8:6:
(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 ambiguity check for the type signature for ‘t’:
- t :: forall a. (a ~ TF (a, Int)) => Int
- In the type signature for ‘t’: t :: (a ~ TF (a, Int)) => Int
+ In the ambiguity check for ‘t’
+ In the type signature:
+ t :: (a ~ TF (a, Int)) => Int