blob: 112be127598678440bf4d1298103e076cdd0228c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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}
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}
overloadedrecfldsfail01.hs:17:10: error:
• 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
|