]> From: Brian Hurt <bhurt@spnz.org> > > Mmm, not really convinced. For me ;, is a shortcut for : > > > > let () = ... in > > Or more accurately > let _ = ... in ... Well, both wrong :-) The error/warning behaviour differs. Actually, there are 4 possibilities: construct \ type unit 'a function other let () = ... in ... OK OK(*) error error let _ = ... in ... OK OK OK OK ignore (...); ... OK OK warning OK ...; ... OK OK warning warning (*) the result type is unified with unit. So, you have plenty of choice on how to sequence your code. Additionally there are compiler options to ignore warnings or turn them into errors. (Having been bitten several times, I actually suggest avoiding "let _" as it discards the very useful partial application warning. But of course your need it for side-effecting code returning a function.) Jacques ------------------- 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