On 11/13/2013 12:50 PM, Timon Gehr wrote: > On 11/13/2013 08:25 PM, Walter Bright wrote: >>> >> >> Ah, found the code: >> >> void ifthen(bool cond, lazy void dg) >> { >> if (cond) >> dg(); >> } > > int foo(int x){ > ifthen(!x, return 2); // uh oh > return 3; > } This approach definitely hews to the single-entry/single-exit paradigm.