blob: aff19cb16abaafb82b5229d4a184c65e0e749abc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
tcfail140.hs:10:7:
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
In the expression: 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’
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
In the expression: 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’
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`)’
In the expression: map (3 `f`) xs
tcfail140.hs:16:8:
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
|