In which order are the arguments of SET evaluated, if we have something like this: SET(a=2,b=a+a)?
- first all right hand sides are evaluated and then the assigned, i.e., like this python code:
a,b=2,a+a
- from left to right like this python code:
a=2; b=a+a
It seems like the current implementation behaves like 2. even though 1. would be more natural. Checked with this snipped:
SET(a=1)
SET(a=2,b=a+a)
ASSERT(b==2)
In which order are the arguments of
SETevaluated, if we have something like this:SET(a=2,b=a+a)?a,b=2,a+aa=2; b=a+aIt seems like the current implementation behaves like 2. even though 1. would be more natural. Checked with this snipped: