diff options
Diffstat (limited to 'testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail01.stderr')
| -rw-r--r-- | testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail01.stderr | 27 |
1 files changed, 10 insertions, 17 deletions
diff --git a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail01.stderr b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail01.stderr index a7eb1debd1..112be12759 100644 --- a/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail01.stderr +++ b/testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail01.stderr @@ -1,23 +1,16 @@ overloadedrecfldsfail01.hs:11:10: error: - Record update is ambiguous, and requires a type signature - In the expression: r {x = 3} - In an equation for ‘upd1’: upd1 r = r {x = 3} + • Record update is ambiguous, and requires a type signature + • In the expression: r {x = 3} + In an equation for ‘upd1’: upd1 r = r {x = 3} overloadedrecfldsfail01.hs:14:10: error: - No type has all these fields: ‘x’, ‘y’, ‘z’ - In the expression: r {x = 3, y = True, z = False} - In an equation for ‘upd2’: upd2 r = r {x = 3, y = True, z = False} + • No type has all these fields: ‘x’, ‘y’, ‘z’ + • In the expression: r {x = 3, y = True, z = False} + In an equation for ‘upd2’: upd2 r = r {x = 3, y = True, z = False} overloadedrecfldsfail01.hs:17:10: error: - ‘x’ is not a (visible) field of type ‘U’ - In the expression: r {w = True, x = 3, y = True} :: U - In an equation for ‘upd3’: - upd3 r = r {w = True, x = 3, y = True} :: U - -overloadedrecfldsfail01.hs:17:10: error: - ‘w’ is not a (visible) field of type ‘U’ - In the expression: r {w = True, x = 3, y = True} :: U - In an equation for ‘upd3’: - upd3 r = r {w = True, x = 3, y = True} :: U - + • Record update is ambiguous, and requires a type signature + • In the expression: r {w = True, x = 3, y = True} :: U + In an equation for ‘upd3’: + upd3 r = r {w = True, x = 3, y = True} :: U |