blob: 1631c6de6d618feb30c66da1914b1a38c953a20f (
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
31
|
overloadedlabelsfail01.hs:6:5: error:
No instance for (IsLabel "x" t2)
arising from the overloaded label ‘#x’
In the expression: #x
In an equation for ‘a’: a = #x
overloadedlabelsfail01.hs:9:5: error:
No instance for (IsLabel "x" (t0 -> t1))
arising from the overloaded label ‘#x’
(maybe you haven't applied a function to enough arguments?)
In the expression: #x
In the expression: #x #y
In an equation for ‘b’: b = #x #y
overloadedlabelsfail01.hs:9:8: error:
No instance for (IsLabel "y" t0)
arising from the overloaded label ‘#y’
In the first argument of ‘#x’, namely ‘#y’
In the expression: #x #y
In an equation for ‘b’: b = #x #y
overloadedlabelsfail01.hs:13: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 :: IsLabel "x" t => t
at overloadedlabelsfail01.hs:12:6-23
In the expression: #y
In an equation for ‘c’: c = #y
|
