diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail016.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail016.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail016.stderr b/testsuite/tests/typecheck/should_fail/tcfail016.stderr index 17f2f16e4c..15122e8e1b 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail016.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail016.stderr @@ -1,24 +1,24 @@ tcfail016.hs:9:20: - Couldn't match type `(t, Expr t)' with `Expr t' + Couldn't match type ‛(t, Expr t)’ with ‛Expr t’ Expected type: Expr t Actual type: AnnExpr t Relevant bindings include g :: Expr t -> [[Char]] (bound at tcfail016.hs:8:1) e1 :: AnnExpr t (bound at tcfail016.hs:9:8) e2 :: AnnExpr t (bound at tcfail016.hs:9:11) - In the first argument of `g', namely `e1' - In the first argument of `(++)', namely `(g e1)' + In the first argument of ‛g’, namely ‛e1’ + In the first argument of ‛(++)’, namely ‛(g e1)’ In the expression: (g e1) ++ (g e2) tcfail016.hs:9:28: - Couldn't match type `(t, Expr t)' with `Expr t' + Couldn't match type ‛(t, Expr t)’ with ‛Expr t’ Expected type: Expr t Actual type: AnnExpr t Relevant bindings include g :: Expr t -> [[Char]] (bound at tcfail016.hs:8:1) e1 :: AnnExpr t (bound at tcfail016.hs:9:8) e2 :: AnnExpr t (bound at tcfail016.hs:9:11) - In the first argument of `g', namely `e2' - In the second argument of `(++)', namely `(g e2)' + In the first argument of ‛g’, namely ‛e2’ + In the second argument of ‛(++)’, namely ‛(g e2)’ In the expression: (g e1) ++ (g e2) |