diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail016.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail016.stderr | 25 |
1 files changed, 4 insertions, 21 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail016.stderr b/testsuite/tests/typecheck/should_fail/tcfail016.stderr index cb1fa945e7..949cb65855 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail016.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail016.stderr @@ -1,24 +1,7 @@ -tcfail016.hs:9:20: error: +tcfail016.hs:8:1: error: • Couldn't match type ‘(t, Expr t)’ with ‘Expr t’ - Expected type: Expr t - Actual type: AnnExpr t - • In the first argument of ‘g’, namely ‘e1’ - In the first argument of ‘(++)’, namely ‘(g e1)’ - In the expression: (g e1) ++ (g e2) + Expected type: AnnExpr t -> [[Char]] + Actual type: Expr t -> [[Char]] • Relevant bindings include - e2 :: AnnExpr t (bound at tcfail016.hs:9:11) - e1 :: AnnExpr t (bound at tcfail016.hs:9:8) - g :: Expr t -> [[Char]] (bound at tcfail016.hs:8:1) - -tcfail016.hs:9:28: error: - • Couldn't match type ‘(t, Expr t)’ with ‘Expr t’ - Expected type: Expr t - Actual type: AnnExpr t - • In the first argument of ‘g’, namely ‘e2’ - In the second argument of ‘(++)’, namely ‘(g e2)’ - In the expression: (g e1) ++ (g e2) - • Relevant bindings include - e2 :: AnnExpr t (bound at tcfail016.hs:9:11) - e1 :: AnnExpr t (bound at tcfail016.hs:9:8) - g :: Expr t -> [[Char]] (bound at tcfail016.hs:8:1) + g :: AnnExpr t -> [[Char]] (bound at tcfail016.hs:8:1) |