Prove-It
Prove-It copied to clipboard
Rename "side-effects" to be "incidentals"
trafficstars
Deepak has always objected to "side-effects" as they have a negative connotation in formal methods. I do think "incidentals" is an appropriate name. Instead of a "side_effects" Expression method, we should use "_yield_incidentals" with an underscore to indicate that this is not normally called externally. It is called in Judgment.derive_side_effects which will become Judgment.derive_incidentals.