diff options
Diffstat (limited to 'testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr')
| -rw-r--r-- | testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr b/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr index b9d3bba31b..f938d03169 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/overloadedlabelsfail01.stderr @@ -1,31 +1,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 + • 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 + • No instance for (IsLabel "x" (t1 -> t0)) + 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 + • No instance for (IsLabel "y" t1) + 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:1-23 - In the expression: #y - In an equation for ‘c’: c = #y + • 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:1-23 + • In the expression: #y + In an equation for ‘c’: c = #y |