Lots of error message wibbling, following the
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail140.stderr
1
2 tcfail140.hs:10:7:
3     Couldn't match expected type `a0 -> t0' with actual type `Int'
4     The function `f' is applied to two arguments,
5     but its type `Int -> Int' has only one
6     In the expression: f 3 9
7     In an equation for `bar': bar = f 3 9
8
9 tcfail140.hs:12:10:
10     Couldn't match expected type `a0 -> t0' with actual type `Int'
11     The operator `f' takes two arguments,
12     but its type `Int -> Int' has only one
13     In the expression: 3 `f` 4
14     In an equation for `rot': rot xs = 3 `f` 4
15
16 tcfail140.hs:14:15:
17     Couldn't match expected type `a0 -> b0' with actual type `Int'
18     The operator `f' takes two arguments,
19     but its type `Int -> Int' has only one
20     In the first argument of `map', namely `(3 `f`)'
21     In the expression: map (3 `f`) xs
22
23 tcfail140.hs:16:8:
24     Constructor `Just' should have 1 argument, but has been given none
25     In the pattern: Just
26     In the expression: (\ Just x -> x) :: Maybe a -> a
27     In the expression: ((\ Just x -> x) :: Maybe a -> a) (Just 1)
28
29 tcfail140.hs:19:1:
30     Couldn't match expected type `t0 -> Bool' with actual type `Int'
31     The equation(s) for `g' have two arguments,
32     but its type `Int -> Int' has only one