Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail140.stderr
1 \r
2 tcfail140.hs:10:7: error:\r
3     Couldn't match expected type ‘Integer -> t’ with actual type ‘Int’\r
4     Relevant bindings include bar :: t (bound at tcfail140.hs:10:1)\r
5     The function ‘f’ is applied to two arguments,\r
6     but its type ‘Int -> Int’ has only one\r
7     In the expression: f 3 9\r
8     In an equation for ‘bar’: bar = f 3 9\r
9 \r
10 tcfail140.hs:12:10: error:\r
11     Couldn't match expected type ‘Integer -> t1’ with actual type ‘Int’\r
12     Relevant bindings include\r
13       rot :: t -> t1 (bound at tcfail140.hs:12:1)\r
14     The operator ‘f’ takes two arguments,\r
15     but its type ‘Int -> Int’ has only one\r
16     In the expression: 3 `f` 4\r
17     In an equation for ‘rot’: rot xs = 3 `f` 4\r
18 \r
19 tcfail140.hs:14:15: error:\r
20     Couldn't match expected type ‘a -> b’ with actual type ‘Int’\r
21     Relevant bindings include\r
22       xs :: [a] (bound at tcfail140.hs:14:5)\r
23       bot :: [a] -> [b] (bound at tcfail140.hs:14:1)\r
24     The operator ‘f’ takes two arguments,\r
25     but its type ‘Int -> Int’ has only one\r
26     In the first argument of ‘map’, namely ‘(3 `f`)’\r
27     In the expression: map (3 `f`) xs\r
28 \r
29 tcfail140.hs:16:8: error:\r
30     The constructor ‘Just’ should have 1 argument, but has been given none\r
31     In the pattern: Just\r
32     In the expression: (\ Just x -> x) :: Maybe a -> a\r
33     In the expression: ((\ Just x -> x) :: Maybe a -> a) (Just 1)\r
34 \r
35 tcfail140.hs:19:1: error:\r
36     Couldn't match expected type ‘t0 -> Bool’ with actual type ‘Int’\r
37     The equation(s) for ‘g’ have two arguments,\r
38     but its type ‘Int -> Int’ has only one\r