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