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
39
40
|
tcfail212.hs:10:7: error:
• Expecting one more argument to ‘Maybe’
Expected a type, but ‘Maybe’ has kind ‘* -> *’
• In the type signature: f :: (Maybe, Either Int)
tcfail212.hs:10:14: error:
• Expecting one more argument to ‘Either Int’
Expected a type, but ‘Either Int’ has kind ‘* -> *’
• In the type signature: f :: (Maybe, Either Int)
tcfail212.hs:13:7: error:
• Expecting a lifted type, but ‘Int#’ is unlifted
• In the type signature: g :: (Int#, Int#)
tcfail212.hs:13:13: error:
• Expecting a lifted type, but ‘Int#’ is unlifted
• In the type signature: g :: (Int#, Int#)
tcfail212.hs:14:6: error:
• Couldn't match a lifted type with an unlifted type
When matching types
a :: *
Int# :: TYPE 'IntRep
• In the expression: 1#
In the expression: (1#, 2#)
In an equation for ‘g’: g = (1#, 2#)
• Relevant bindings include
g :: (a, b) (bound at tcfail212.hs:14:1)
tcfail212.hs:14:10: error:
• Couldn't match a lifted type with an unlifted type
When matching types
b :: *
Int# :: TYPE 'IntRep
• In the expression: 2#
In the expression: (1#, 2#)
In an equation for ‘g’: g = (1#, 2#)
• Relevant bindings include
g :: (a, b) (bound at tcfail212.hs:14:1)
|