diff options
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T4179.stderr | 14 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_compile/FD3.stderr | 2 |
2 files changed, 8 insertions, 8 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T4179.stderr b/testsuite/tests/indexed-types/should_fail/T4179.stderr index 35209c591f..45fbdaf03f 100644 --- a/testsuite/tests/indexed-types/should_fail/T4179.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4179.stderr @@ -1,18 +1,18 @@ T4179.hs:26:16: - Could not deduce (A3 (x (A2 (x (Con x)) -> A3 (x (Con x)))) - ~ A3 (x (Con x))) + Could not deduce (A3 (x (A2 (FCon x) -> A3 (FCon x))) + ~ A3 (FCon x)) from the context (Functor x, DoC (FCon x)) bound by the type signature for fCon :: (Functor x, DoC (FCon x)) => Con x -> A2 (FCon x) -> A3 (FCon x) 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)) - Actual type: x (A2 (x (Con x)) -> A3 (x (Con x))) - -> A2 (x (A2 (x (Con x)) -> A3 (x (Con x)))) - -> A3 (x (A2 (x (Con x)) -> A3 (x (Con x)))) + 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 In an equation for `fCon': fCon = foldDoC op diff --git a/testsuite/tests/typecheck/should_compile/FD3.stderr b/testsuite/tests/typecheck/should_compile/FD3.stderr index 9285bb839d..00b0a816ad 100644 --- a/testsuite/tests/typecheck/should_compile/FD3.stderr +++ b/testsuite/tests/typecheck/should_compile/FD3.stderr @@ -1,6 +1,6 @@ FD3.hs:15:15: - Couldn't match type `a' with `([Char], a)' + Couldn't match type `a' with `(String, a)' `a' is a rigid type variable bound by the type signature for translate :: (String, a) -> A a at FD3.hs:14:14 |