From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Exception on System.Max_Digits
Date: 1998/02/01
Date: 1998-02-01T00:00:00+00:00 [thread overview]
Message-ID: <dewar.886368148@merv> (raw)
In-Reply-To: 34D20EC6.55DD@nospam.lmco.com
Ken asks
<<Both compilers have System.Max_Digits = 15. When we use Float_IO
to read the number
-2627.097925618800
one vendor raises a Constraint_Error, the other doesn't. The vendor
of the compiler raising the error says that it is because the number
has too many digits; removing the final zero causes the exception to
be avoided. The other vendor accepts the number.
>>
A truly surprising bug, it is of course the case that input numbers can
have any number of digits (and having to handle this in Float_IO can
be a bit annoying). The ACVC certainly tests for this, so I guess the
compiler which raised Constraint_Error must not be validated???
next prev parent reply other threads:[~1998-02-01 0:00 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-01-30 0:00 Exception on System.Max_Digits K. E. Garlington
1998-01-30 0:00 ` Tucker Taft
1998-02-01 0:00 ` Robert Dewar [this message]
1998-02-01 0:00 ` Ken Garlington
-- strict thread matches above, loose matches on Subject: below --
1998-02-05 0:00 Dan Lehman
1998-02-05 0:00 Dan Lehman
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox