>The results of these two operations, integers, are arithmetically commutable
>under addition. But what isn't commutable is the order in which these
>operations occur....
>
>What is needed is some specification that indicates temporal preference, and
>then the type checking mechanism must be enhanced to keep temporal order.
>Most programs in OCaml probably have no preference, and in fact, a sense of
>order is strongly discouraged in most FPL's -- e.g., Haskell.

The specification that indicates temporal preference is

        let <first> in let <second> in ...

Argument evaluation order and temporal preference are two orthogonal concepts and should not be conflated.  I support unspecified argument evaluation order.

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr