diff options
Diffstat (limited to 'testsuite/tests/perf/compiler/T5837.stderr')
| -rw-r--r-- | testsuite/tests/perf/compiler/T5837.stderr | 91 |
1 files changed, 0 insertions, 91 deletions
diff --git a/testsuite/tests/perf/compiler/T5837.stderr b/testsuite/tests/perf/compiler/T5837.stderr deleted file mode 100644 index 324e817947..0000000000 --- a/testsuite/tests/perf/compiler/T5837.stderr +++ /dev/null @@ -1,91 +0,0 @@ - -T5837.hs:8:6: error: - Reduction stack overflow; size = 51 - When simplifying the following type: - TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - a)))))))))))))))))))))))) - ~ (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - a))))))))))))))))))))))))), - TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - (TF - Int)))))))))))))))))))))))))) - 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 ambiguity check for âtâ - In the type signature: - t :: (a ~ TF (a, Int)) => Int |