blob: 32c8c61cf972333ccd726fa421c0a0e8e89fb6ac (
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:11:7: error: [GHC-83865]
• Couldn't match expected type ‘t0 -> t’ with actual type ‘Int’
• The function ‘f’ is applied to two value arguments,
but its type ‘Int -> Int’ has only one
In the expression: f 3 9
In an equation for ‘bar’: bar = f 3 9
• Relevant bindings include bar :: t (bound at tcfail140.hs:11:1)
tcfail140.hs:13:10: error: [GHC-83865]
• Couldn't match expected type ‘t1 -> t’ with actual type ‘Int’
• The function ‘f’ is applied to two value 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
• Relevant bindings include
rot :: p -> t (bound at tcfail140.hs:13:1)
tcfail140.hs:15:15: error: [GHC-83865]
• Couldn't match expected type ‘a -> b’ with actual type ‘Int’
• In the first argument of ‘map’, namely ‘(3 `f`)’
In the expression: map (3 `f`) xs
In an equation for ‘bot’: bot xs = map (3 `f`) xs
• Relevant bindings include
xs :: [a] (bound at tcfail140.hs:15:5)
bot :: [a] -> [b] (bound at tcfail140.hs:15:1)
tcfail140.hs:17:8: error:
• The constructor ‘Just’ should have 1 argument, but has been given none
• In the pattern: Just
The lambda expression ‘\ Just x -> x’ has two value arguments,
but its type ‘Maybe a -> a’ has only one
In the expression: ((\ Just x -> x) :: Maybe a -> a) (Just 1)
tcfail140.hs:20:1: error: [GHC-83865]
• Couldn't match expected type ‘Int’ with actual type ‘p0 -> Bool’
• The equation for ‘g’ has two value arguments,
but its type ‘Int -> Int’ has only one
|
