blob: eeb2c051f233b67ecbbeab1419f29a5b664ac5a9 (
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
|
T3540.hs:4:12: error:
• Expected a type, but ‘a ~ Int’ has kind ‘Constraint’
• In the type signature: thing :: (a ~ Int)
T3540.hs:5:9: error:
• Couldn't match kind ‘Constraint’ with ‘*’
When matching types
a0 :: *
a ~ Int :: Constraint
• In the expression: undefined
In an equation for ‘thing’: thing = undefined
• Relevant bindings include
thing :: a ~ Int (bound at T3540.hs:5:1)
T3540.hs:7:20: error:
• Expected a type, but ‘a ~ Int’ has kind ‘Constraint’
• In the type signature: thing1 :: Int -> (a ~ Int)
T3540.hs:10:13: error:
• Expected a type, but ‘a ~ Int’ has kind ‘Constraint’
• In the type signature: thing2 :: (a ~ Int) -> Int
T3540.hs:13:12: error:
• Expected a type, but ‘?dude :: Int’ has kind ‘Constraint’
• In the type signature: thing3 :: (?dude :: Int) -> Int
T3540.hs:16:11: error:
• Expected a type, but ‘Eq a’ has kind ‘Constraint’
• In the type signature: thing4 :: (Eq a) -> Int
|