From: Ken Garlington <kennieg@nospam.flash.net>
Subject: Re: Exception on System.Max_Digits
Date: 1998/02/01
Date: 1998-02-01T00:00:00+00:00 [thread overview]
Message-ID: <34D53DFD.30BF@nospam.flash.net> (raw)
In-Reply-To: dewar.886368148@merv
Robert Dewar wrote:
>
> 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???
I'll check on the validation status (of course, this is an Ada83
compiler,
so I'm not sure what kind of answer I'll get). Does anyone know the
specific
ACVC test(s) that apply?
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
1998-02-01 0:00 ` Ken Garlington [this message]
-- 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