diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail140.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail140.stderr | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail140.stderr b/testsuite/tests/typecheck/should_fail/tcfail140.stderr index 4315837a2e..aff19cb16a 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail140.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail140.stderr @@ -1,38 +1,38 @@ tcfail140.hs:10:7: - Couldn't match expected type `a0 -> t' with actual type `Int' + Couldn't match expected type ‛a0 -> t’ with actual type ‛Int’ Relevant bindings include bar :: t (bound at tcfail140.hs:10:1) - The function `f' is applied to two arguments, - but its type `Int -> Int' has only one + The function ‛f’ is applied to two arguments, + but its type ‛Int -> Int’ has only one In the expression: f 3 9 - In an equation for `bar': bar = f 3 9 + In an equation for ‛bar’: bar = f 3 9 tcfail140.hs:12:10: - Couldn't match expected type `a1 -> t1' with actual type `Int' + Couldn't match expected type ‛a1 -> t1’ with actual type ‛Int’ Relevant bindings include rot :: t -> t1 (bound at tcfail140.hs:12:1) - The operator `f' takes two arguments, - but its type `Int -> Int' has only one + The operator ‛f’ takes two arguments, + but its type ‛Int -> Int’ has only one In the expression: 3 `f` 4 - In an equation for `rot': rot xs = 3 `f` 4 + In an equation for ‛rot’: rot xs = 3 `f` 4 tcfail140.hs:14:15: - Couldn't match expected type `a -> b' with actual type `Int' + Couldn't match expected type ‛a -> b’ with actual type ‛Int’ Relevant bindings include bot :: [a] -> [b] (bound at tcfail140.hs:14:1) xs :: [a] (bound at tcfail140.hs:14:5) - The operator `f' takes two arguments, - but its type `Int -> Int' has only one - In the first argument of `map', namely `(3 `f`)' + The operator ‛f’ takes two arguments, + but its type ‛Int -> Int’ has only one + In the first argument of ‛map’, namely ‛(3 `f`)’ In the expression: map (3 `f`) xs tcfail140.hs:16:8: - Constructor `Just' should have 1 argument, but has been given none + Constructor ‛Just’ should have 1 argument, but has been given none In the pattern: Just In the expression: (\ Just x -> x) :: Maybe a -> a In the expression: ((\ Just x -> x) :: Maybe a -> a) (Just 1) tcfail140.hs:19:1: - Couldn't match expected type `t0 -> Bool' with actual type `Int' - The equation(s) for `g' have two arguments, - but its type `Int -> Int' has only one + Couldn't match expected type ‛t0 -> Bool’ with actual type ‛Int’ + The equation(s) for ‛g’ have two arguments, + but its type ‛Int -> Int’ has only one |