From: Pierre Weis <pierre.weis@inria.fr>
To: fabrice@lefessant.net
Cc: Frederic.De.Jaeger@ens.fr, caml-list@inria.fr
Subject: Re: [Caml-list] xor on booleans
Date: Tue, 4 Feb 2003 18:20:50 +0100 (MET) [thread overview]
Message-ID: <200302041720.SAA09642@pauillac.inria.fr> (raw)
In-Reply-To: <15934.30328.890419.546763@lachesis.inria.fr> from Fabrice Le Fessant at "Feb 3, 103 03:02:32 pm"
> > 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
next prev parent reply other threads:[~2003-02-04 17:22 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-02-01 19:10 Christoph Bauer
2003-02-03 13:31 ` Frederic De Jaeger
2003-02-03 14:02 ` Fabrice Le Fessant
2003-02-03 15:14 ` Frederic De Jaeger
2003-02-03 15:08 ` Fabrice Le Fessant
2003-02-04 17:29 ` Pierre Weis
2003-02-04 17:20 ` Pierre Weis [this message]
2003-02-06 14:39 ` Fabrice Le Fessant
2003-02-07 13:00 ` Damien Doligez
2003-02-10 8:16 ` [Caml-list] gdb with ocaml byte code on MacOSX David Brown
2003-02-10 18:47 ` Damien Doligez
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200302041720.SAA09642@pauillac.inria.fr \
--to=pierre.weis@inria.fr \
--cc=Frederic.De.Jaeger@ens.fr \
--cc=caml-list@inria.fr \
--cc=fabrice@lefessant.net \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).