blob: 44bc014f84547eb57177cb3a066980aa2f8ae28e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
overloadedlabelsfail01.hs:6:5: error:
• No instance for (IsLabel "x" t0)
arising from the overloaded label ‘#x’
• In the expression: #x
In an equation for ‘a’: a = #x
overloadedlabelsfail01.hs:10:5: error:
• No instance for (IsLabel "x" Int)
arising from the overloaded label ‘#x’
• In the expression: #x
In an equation for ‘b’: b = #x
overloadedlabelsfail01.hs:14:5: error:
• Could not deduce (IsLabel "y" t)
arising from the overloaded label ‘#y’
from the context: IsLabel "x" t
bound by the type signature for:
c :: forall t. IsLabel "x" t => t
at overloadedlabelsfail01.hs:13:1-23
• In the expression: #y
In an equation for ‘c’: c = #y
|
