diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T4179.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T4179.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T4179.stderr b/testsuite/tests/indexed-types/should_fail/T4179.stderr index 021e73e413..35209c591f 100644 --- a/testsuite/tests/indexed-types/should_fail/T4179.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4179.stderr @@ -6,7 +6,7 @@ T4179.hs:26:16: bound by the type signature for fCon :: (Functor x, DoC (FCon x)) => Con x -> A2 (FCon x) -> A3 (FCon x) - at T4179.hs:26:1-17 + at T4179.hs:25:9-72 NB: `A3' is a type function, and may not be injective Expected type: x (A2 (x (Con x)) -> A3 (x (Con x))) -> A2 (x (Con x)) -> A3 (x (Con x)) |