> >  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 :)

Best regards,

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/


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