>  > >  For type safety, it would be better to have 
>  > >  
>  > >  let (^^) (x:bool) (y:bool) = x <> y
>  
>  Hem: as announced in a previous message about formats, ( ^^ ) is now
>  available in the current working version of Objective Caml to mean
>  concatenation of format strings (a long time desired feature for
>  format string constants).
>  
>  So, please, use some other symbol for boolean xor: I would suggest <>
>  which is convenient and already defined in the language :)

By the way, it looks like the 'format' type has changed (4 args
instead of 3). This is a bit problematic, since some softwares must
use the CVS version of ocaml, only when compiled on Mac OS X (because
of the signal bug), but cannot stay compatible with the 3.06 distrib
because of this change in the format type. Will there be a new
official release soon ? It's not that important, the configure script
can detect and correct that, but it would be nice to have a
Jaguar-compatible official distrib of ocaml...

- Fabrice
-------------------
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