summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/T7788.stderr
blob: 31e23cd3fd7f9f98167c89a3c8bdcb5383715bb0 (plain)
1
2
3
4
5
6
7
8
9
10

T7788.hs:9:7:
    Reduction stack overflow; size = 201
    When simplifying the following type: F (Id (Fix Id))
    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 expression: undefined
    In an equation for ‘foo’: foo = undefined