From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Jean-Yves Moyen <jymoyen@ens-lyon.fr>,
caml-list@inria.fr, luther@dpt-info.u-strasbg.fr
Subject: Re: probleme de parsing ?
Date: Mon, 6 Mar 2000 10:07:58 +0100 [thread overview]
Message-ID: <20000306100758.45639@pauillac.inria.fr> (raw)
In-Reply-To: <20000301181950.A3021@dpt-info.u-strasbg.fr>; from Sven LUTHER on Wed, Mar 01, 2000 at 06:19:50PM +0100
> et au passage est-ce normal que caml-light 0.74 plante pour 1./.0. mais pour
> 1/0 l'exception est proprement attraper par le toplevel ?
Comme la plupart des langages modernes, Caml Light et Objective Caml
suivent la norme IEEE pour les flottants, norme dans laquelle 1.0 /. 0.0
n'est pas une erreur, mais est égal à +infini. En revanche, une
division entière par 0 est une erreur et lève une exception.
Si vous observez un plantage pour 1.0 /. 0.0, c'est que votre hardware
ou le compilateur C utilisé pour compiler le runtime Caml Light ne
sont pas conformes aux flottants IEEE. Par exemple, l'Alpha
n'implémente pas entièrement les flottants IEEE en hardware (mais on
peut obtenir le comportement IEEE via une couche software
supplémentaire: il suffit de passer l'option "-ieee" au compilateur C
lors de la compilation du runtime Caml).
- Xavier Leroy
next prev parent reply other threads:[~2000-03-06 13:33 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-02-29 19:06 Jean-Yves Moyen
2000-03-01 17:19 ` Sven LUTHER
2000-03-06 9:07 ` Xavier Leroy [this message]
2000-03-06 9:43 ` Sven LUTHER
2000-03-01 18:07 ` Vitaly Lugovsky
2000-03-02 2:26 ` Max Skaller
2000-03-06 8:52 ` 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=20000306100758.45639@pauillac.inria.fr \
--to=xavier.leroy@inria.fr \
--cc=caml-list@inria.fr \
--cc=jymoyen@ens-lyon.fr \
--cc=luther@dpt-info.u-strasbg.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