From: dennison@telepath.com
Subject: Re: precise floats
Date: 1998/08/06
Date: 1998-08-06T00:00:00+00:00 [thread overview]
Message-ID: <6qco5r$v8n$1@nnrp1.dejanews.com> (raw)
In-Reply-To: dewar.902412781@merv
In article <dewar.902412781@merv>,
dewar@merv.cs.nyu.edu (Robert Dewar) wrote:
> Note that any compiler not supporting this type is not a conforming
> implementation. B.2(10) is a normative requirement:
>
> 7 An implementation shall provide the following declarations in the visible
> part of package Interfaces:
...
> 10 Floating point types corresponding to each floating point format
> fully supported by the hardware.
>
> If your vendor claims conformance to the standard, or claims validated
> status, then the failure to support this type should be reported as a
> (serious in my view) bug. Note that no vendor can reasonably sign the
> declaration of conformance for validation if they are aware of this
> serious omission.
The Ada.Interfaces package that comes with ObjectAda 7.1.1 for windows/Intel
contains *no* floating-point types whatsoever. (It is also quite different
that the verion they printed out in Annex M of their docs. In particular the
16 and 8 bit integers don't appear to exist in the actual package spec.)
So are you saying I need to report this as a bug? It would be my 3rd report in
a month (1st this month, though).
T.E.D.
-----== Posted via Deja News, The Leader in Internet Discussion ==-----
http://www.dejanews.com/rg_mkgrp.xp Create Your Own Free Member Forum
next prev parent reply other threads:[~1998-08-06 0:00 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-08-04 0:00 precise floats Bob Fletcher
1998-08-04 0:00 ` Christopher Green
1998-08-04 0:00 ` Corey Ashford
1998-08-04 0:00 ` Corey Ashford
1998-08-05 0:00 ` Frank Klemm
1998-08-06 0:00 ` Robert Dewar
1998-08-06 0:00 ` dennison [this message]
1998-08-07 0:00 ` paul.english
1998-08-08 0:00 ` Robert Dewar
1998-08-12 0:00 ` Kevin Radke
1998-08-25 0:00 ` Gene Ouye
1998-08-10 0:00 ` dennison
1998-08-07 0:00 ` Robert Dewar
1998-08-07 0:00 ` Tom Weis
1998-08-07 0:00 ` Robert Dewar
1998-08-04 0:00 ` David C. Hoos, Sr.
1998-08-05 0:00 ` Bob Fletcher
1998-08-05 0:00 ` Matthew Heaney
1998-08-09 0:00 ` Bob Fletcher
-- strict thread matches above, loose matches on Subject: below --
1998-08-06 0:00 Robert Dewar
1998-08-06 0:00 ` Corey Ashford
1998-08-06 0:00 ` Samuel Mize
1998-08-07 0:00 ` Matthew Heaney
1998-08-07 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox