Changes between Version 1 and Version 2 of Choose
- Timestamp:
- 09/16/15 12:03:23 (11 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Choose
v1 v2 113 113 === translation notes === 114 114 115 - inside a compound statement that is the body of a `$when` or a clause in a `$choose`, if the first item is a declaration a no-op is inserted before it in translation. Then you are guaranteed that the guard will never involve a new variable.115 - inside a compound statement that is the body of a `$when`/`$atomic`/`$atom` or a clause in a `$choose`, if the first item is a declaration a no-op is inserted before it in translation. Then you are guaranteed that the guard will never involve a new variable. 116 116 117 117 example:
