-
John van Groningen authored
a record occurs in a pattern and this record (variable) is updated with a field of another record (with fewer fields). for example: :: R1 = {v1::!Int}; :: R2 = {v2::!Int,n1::!Real}; f r=:{v1} = {r & v2=v1};
107c615a
a record occurs in a pattern and this record (variable) is updated with a field of another record (with fewer fields). for example: :: R1 = {v1::!Int}; :: R2 = {v2::!Int,n1::!Real}; f r=:{v1} = {r & v2=v1};