From: Valerie.Menissier@inria.fr (Vale'rie Me'nissier-Morain)
To: cousinea@dmi.ens.fr
Cc: caml-list@margaux
Subject: new library modules
Date: Tue, 4 May 93 11:38:06 +0200 [thread overview]
Message-ID: <9305040938.AA01419@margaux.inria.fr> (raw)
In-Reply-To: cousinea@dmi.ens.fr's message of Tue, 4 May 93 11:14:37 +0200 <9305040914.AA08481@arnica.ens.fr>
Just a remark about your last point:
> Rather than using type "int" for comparison, it would be clearer
> to use an explicit type comparison = Smaller | Equiv | Greater.
While implementing arithmetic I have some practice of comparison
and sign functions and at the beginning I think like you that a 3
values boolean type will be a good feature, more precise than type
"int" with bad values to treat, but for several operations we need
arithmetic operations on these objects, and it is easier to use type
"int" than do some boolean operations on these values. So practically
it is not so clear that we always want to use such a type.
next prev parent reply other threads:[~1993-05-04 9:39 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
1993-05-04 9:14 cousinea
1993-05-04 9:38 ` Vale'rie Me'nissier-Morain [this message]
1993-05-05 2:25 ` Xavier Leroy
-- strict thread matches above, loose matches on Subject: below --
1993-05-07 10:29 cousinea
1993-05-07 10:23 cousinea
1993-05-05 9:53 Damien Doligez
1993-05-03 18:45 Xavier Leroy
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=9305040938.AA01419@margaux.inria.fr \
--to=valerie.menissier@inria.fr \
--cc=caml-list@margaux \
--cc=cousinea@dmi.ens.fr \
/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).