Testsuite error message changes
[ghc.git] / testsuite / tests / typecheck / should_fail / ContextStack2.stderr
1
2 ContextStack2.hs:8:6:
3     Type function application stack overflow; size = 11
4     Use -ftype-function-depth=N to increase stack size to N
5       TF (TF (TF (TF (TF (TF (TF (TF (TF (TF a)))))))))
6       ~ (TF (TF (TF (TF (TF (TF (TF (TF (TF (TF (TF a)))))))))),
7          TF (TF (TF (TF (TF (TF (TF (TF (TF (TF (TF Int)))))))))))
8     In the ambiguity check for: forall a. (a ~ TF (a, Int)) => Int
9     In the type signature for â€˜t’: t :: (a ~ TF (a, Int)) => Int