blob: 4fd99bbccc0d60011f4cdbe5c5c422e834a4754a (
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
|
<interactive>:3:14: error: [GHC-83865]
• Expected a type, but ‘'()’ has kind ‘()’
• In an expression type signature: '()
In the expression: undefined :: '()
In an equation for ‘it’: it = undefined :: '()
<interactive>:4:14: error: [GHC-83865]
• Expected kind ‘* -> *’, but ‘Proxy '()’ has kind ‘*’
• In an expression type signature: Proxy '() Int
In the expression: undefined :: Proxy '() Int
In an equation for ‘it’: it = undefined :: Proxy '() Int
<interactive>:5:14: error: [GHC-83865]
• Expected a type, but ‘[(), ()]’ has kind ‘[*]’
• In an expression type signature: [(), ()]
In the expression: undefined :: [(), ()]
In an equation for ‘it’: it = undefined :: [(), ()]
<interactive>:6:14: error: [GHC-83865]
• Expected a type, but ‘'( '[], '[])’ has kind ‘([k0], [k1])’
• In an expression type signature: '( '[], '[])
In the expression: undefined :: '( '[], '[])
In an equation for ‘it’: it = undefined :: '( '[], '[])
|