From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA08760; Tue, 4 Feb 2003 18:22:14 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA09476 for ; Tue, 4 Feb 2003 18:22:14 +0100 (MET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h14HKpf25461; Tue, 4 Feb 2003 18:20:51 +0100 (MET) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA09642; Tue, 4 Feb 2003 18:20:50 +0100 (MET) From: Pierre Weis Message-Id: <200302041720.SAA09642@pauillac.inria.fr> Subject: Re: [Caml-list] xor on booleans In-Reply-To: <15934.30328.890419.546763@lachesis.inria.fr> from Fabrice Le Fessant at "Feb 3, 103 03:02:32 pm" To: fabrice@lefessant.net Date: Tue, 4 Feb 2003 18:20:50 +0100 (MET) Cc: Frederic.De.Jaeger@ens.fr, caml-list@inria.fr X-Mailer: ELM [version 2.4ME+ PL28 (25)] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > 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