blob: 8eb7e6e57fcf583c53df49f04a6d8e2a2d727bf3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
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#)
|
