* Geoffrey Irving: > How is this different from C? I think C is the wrong comparison becaue C allows things like: if (cond) f (); g (); h (); Ocaml and Standard ML suffer from this problem, too.