1092ed247d4da8d32a519699f913efd2985e1530
[ghc.git] / testsuite / tests / indexed-types / should_fail / T8550.stderr
1
2 T8550.hs:13:12:
3     Reduction stack overflow; size = 201
4     When simplifying the following type: F ()
5     Use -freduction-depth=0 to disable this check
6     (any upper bound you could choose might fail unpredictably with
7      minor updates to GHC, so disabling the check is recommended if
8      you're sure that type checking should terminate)
9     In the expression: A
10     In the expression: seq A (return ())
11     In an equation for ‘main’: main = seq A (return ())