On Monday 19 July 2004 11:10, Pierre Weis wrote:
> They also can have the wrong idea that arguments are not evaluated
> (since there is no need to convert them to string) which is wrong.

Forgive me if this is irrelevant (I've failed to understand all of your 
discussion) but can this be tied in with a general way to define functions 
with specified argument evaluation, e.g. to define your own, short-circuit-
evaluated && operator:

# (print_endline "1"; false) && (print_endline "2"; true);;
1
- : bool = false
# let (&&) a b = a && b;;
val ( && ) : bool -> bool -> bool = <fun>
# (print_endline "1"; false) && (print_endline "2"; true);;
2
1
- : bool = false

Not that I need such a thing...

Cheers,
Jon.

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners