diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T4179.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T4179.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T4179.stderr b/testsuite/tests/indexed-types/should_fail/T4179.stderr index 545c03754d..3f88289e23 100644 --- a/testsuite/tests/indexed-types/should_fail/T4179.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4179.stderr @@ -1,5 +1,5 @@ -T4179.hs:26:16: error: +T4179.hs:26:16: error: [GHC-83865] • Couldn't match type: A3 (x (A2 (FCon x) -> A3 (FCon x))) with: A3 (FCon x) Expected: x (A2 (FCon x) -> A3 (FCon x)) @@ -7,7 +7,7 @@ T4179.hs:26:16: error: Actual: x (A2 (FCon x) -> A3 (FCon x)) -> A2 (x (A2 (FCon x) -> A3 (FCon x))) -> A3 (x (A2 (FCon x) -> A3 (FCon x))) - NB: ‘A3’ is a non-injective type family + NB: ‘A3’ is a non-injective type family • In the first argument of ‘foldDoC’, namely ‘op’ In the expression: foldDoC op In an equation for ‘fCon’: fCon = foldDoC op |