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