Closed RyanGlScott closed 1 month ago
copilot-3.20 adds support for struct updates via the new UpdateField operation. We should add support for translating UpdateField operations into Bluespec's functional updates (e.g., v { x = 27; y = 42 }).
copilot-3.20
UpdateField
v { x = 27; y = 42 }
copilot-3.20adds support for struct updates via the newUpdateFieldoperation. We should add support for translatingUpdateFieldoperations into Bluespec's functional updates (e.g.,v { x = 27; y = 42 }).