diff options
Diffstat (limited to 'testsuite/tests/perf/compiler/T5837.stderr')
| -rw-r--r-- | testsuite/tests/perf/compiler/T5837.stderr | 310 |
1 files changed, 155 insertions, 155 deletions
diff --git a/testsuite/tests/perf/compiler/T5837.stderr b/testsuite/tests/perf/compiler/T5837.stderr index 56d8ec9cb6..193bff1728 100644 --- a/testsuite/tests/perf/compiler/T5837.stderr +++ b/testsuite/tests/perf/compiler/T5837.stderr @@ -2,160 +2,160 @@ T5837.hs:8:6: Type function application stack overflow; size = 51 Use -ftype-function-depth=N to increase stack size to N - (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 - (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 - (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))))))))))))))))))))))))))))))))))))))))))))))))))) - ~ 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 - (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 + (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 + (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 + (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))))))))))))))))))))))))))))))))))))))))))))))))))) In the ambiguity check for: forall a. (a ~ TF (a, Int)) => Int In the type signature for âtâ: t :: (a ~ TF (a, Int)) => Int |