diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail198.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail198.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail198.stderr b/testsuite/tests/typecheck/should_fail/tcfail198.stderr index 22a09f59f7..a2c66aa4bf 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail198.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail198.stderr @@ -1,7 +1,7 @@ tcfail198.hs:6:36: - Couldn't match expected type `a1' with actual type `a' - because type variable `a1' would escape its scope + Couldn't match expected type ‛a1’ with actual type ‛a’ + because type variable ‛a1’ would escape its scope This (rigid, skolem) type variable is bound by an expression type signature: a1 at tcfail198.hs:6:36-41 @@ -10,5 +10,5 @@ tcfail198.hs:6:36: x :: a (bound at tcfail198.hs:6:19) xs :: [a] (bound at tcfail198.hs:6:21) In the expression: x :: a - In the second argument of `(++)', namely `[x :: a]' + In the second argument of ‛(++)’, namely ‛[x :: a]’ In the expression: xs ++ [x :: a] |