Prove-It icon indicating copy to clipboard operation
Prove-It copied to clipboard

Rename "side-effects" to be "incidentals"

Open wwitzel opened this issue 3 years ago • 0 comments
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.

wwitzel avatar Aug 19 '22 19:08 wwitzel