overloadedlabelsfail01.stderr 1.06 KB
Newer Older
Adam Gundry's avatar
Adam Gundry committed
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