diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T7788.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T7788.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T7788.stderr b/testsuite/tests/indexed-types/should_fail/T7788.stderr index 31e23cd3fd..757c05089e 100644 --- a/testsuite/tests/indexed-types/should_fail/T7788.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7788.stderr @@ -1,10 +1,10 @@ -T7788.hs:9:7: +T7788.hs:19:20: error: 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 + In the first argument of ‘foo’, namely ‘Proxy’ + In the second argument of ‘($)’, namely ‘foo Proxy’ |