If you want to replace only one element in a record, you can do it like:
rec = { x = 1; y = 2; z = 3 }
assert { x = rec.x; y = rec.y; z = 2 } == { x = 1; y = 2; z = 2 }
This is tedious and requires changing the code every time other fields are added or removed.
So, We propose to add a replace method to the record type.
rec = { x = 1; y = 2; z = 3 }
assert rec.replace({ z = 2 }) == { x = 1; y = 2; z = 2 }
assert rec.replace({ x = 2; z = 2 }) == { x = 2; y = 2; z = 2 }
The argument is a record containing the fields to be rewritten. If you provide a record containing a field that does not exist in self, a compilation error will occur.
Also, the replace method returns the same type of self. Therefore, all record field types given as an argument must match the field types of the original record.
If you want to replace only one element in a record, you can do it like:
This is tedious and requires changing the code every time other fields are added or removed. So, We propose to add a
replacemethod to the record type.The argument is a record containing the fields to be rewritten. If you provide a record containing a field that does not exist in
self, a compilation error will occur.Also, the
replacemethod returns the same type ofself. Therefore, all record field types given as an argument must match the field types of the original record.