diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T4179.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T4179.stderr | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T4179.stderr b/testsuite/tests/indexed-types/should_fail/T4179.stderr index f7f142a4bd..4173eff8da 100644 --- a/testsuite/tests/indexed-types/should_fail/T4179.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4179.stderr @@ -1,15 +1,15 @@ -T4179.hs:26:16: - Couldn't match type ‘A2 (x (A2 (FCon x) -> A3 (FCon x)))’ - with ‘A2 (FCon x)’ - NB: ‘A2’ is a type function, and may not be injective - Expected type: x (A2 (FCon x) -> A3 (FCon x)) - -> A2 (FCon x) -> A3 (FCon x) +T4179.hs:26:16: error: + • Couldn't match type ‘A3 (x (A2 (FCon x) -> A3 (FCon x)))’ + with ‘A3 (FCon x)’ + NB: ‘A3’ is a type function, and may not be injective + Expected type: x (A2 (FCon x) -> A3 (FCon x)) + -> A2 (FCon x) -> A3 (FCon x) Actual type: x (A2 (FCon x) -> A3 (FCon x)) -> A2 (x (A2 (FCon x) -> A3 (FCon x))) -> A3 (x (A2 (FCon x) -> A3 (FCon x))) - In the first argument of ‘foldDoC’, namely ‘op’ - In the expression: foldDoC op - Relevant bindings include - fCon :: Con x -> A2 (FCon x) -> A3 (FCon x) - (bound at T4179.hs:26:1) + • In the first argument of ‘foldDoC’, namely ‘op’ + In the expression: foldDoC op + • Relevant bindings include + fCon :: Con x -> A2 (FCon x) -> A3 (FCon x) + (bound at T4179.hs:26:1) |