Conditional operator e1 ? e2 : e3 evaluating both branches

[andreffnascimento]

The conditional operator e1 ? e2 : e3 evaluates both expressions e2 and e3 regardless of the value of e1. This is not the intended behaviour in the concrete interpreter. Regardless, fixing this issue is difficult, because of the way we are compiling this operator.

compile (e1 ? e2 : e3) :=
  e1' = compile (e1);
  e2' = compile (e2);
  e3' = compile (e3);
  e1' ? e2' : e3'