On 2013-01-20, Stavros Macrakis <macrakis at alum.mit.edu> wrote:
> (%i1) expr: if cond then print(3) else print(4);
> (%o1) if cond then print(3) else print(4)
> (%i2) map(ev,%);
> 3 << note evaluation of both branches
> 4
> (%o2) if cond then 3 else 4 << evaluated values in 'if' expression
Hmm, yes, that's a good idea (despite the limitations which you pointed
out).
best
Robert Dodier