diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail175.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail175.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail175.stderr b/testsuite/tests/typecheck/should_fail/tcfail175.stderr index 65f4cb9e4d..6d0c103153 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail175.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail175.stderr @@ -1,10 +1,10 @@ tcfail175.hs:11:1: - Couldn't match expected type `String -> String -> String' - with actual type `a' - `a' is a rigid type variable bound by + Couldn't match expected type ‛String -> String -> String’ + with actual type ‛a’ + ‛a’ is a rigid type variable bound by the type signature for evalRHS :: Int -> a at tcfail175.hs:10:12 Relevant bindings include evalRHS :: Int -> a (bound at tcfail175.hs:11:1) - The equation(s) for `evalRHS' have three arguments, - but its type `Int -> a' has only one + The equation(s) for ‛evalRHS’ have three arguments, + but its type ‛Int -> a’ has only one |