From: eachus@spectre.mitre.org (Robert I. Eachus)
Subject: Re: Fixed point design error in Ada95
Date: 1998/09/12
Date: 1998-09-12T00:00:00+00:00 [thread overview]
Message-ID: <EACHUS.98Sep11203812@spectre.mitre.org> (raw)
In-Reply-To: 6tb0j5$4rg$1@nnrp1.dejanews.com
In article <6tb0j5$4rg$1@nnrp1.dejanews.com> dewarr@my-dejanews.com writes:
> A pragma is obviously the wrong solution. It would be a nasty
> kludge at best. Pragmas are not supposed to affect the legality
> of programs.
I agree. This is one of the cases that 3.5.6(8) is supposed to
address. The interesting thing is that Wayne Magor seems to have
identified a case of potentially general interest. What Wayne needs
is a nonstandard fixed point type which corresponds to his hardware.
But he could build that out of a nonstandard fixed type which just got
rid of the special "*" and "/" operators.
If someone wants to do this, be sure to take advantage of Reduced
Accuracy Subtypes from J.3:
subtype My_Fixed is Nonstandard.Fixed delta 0.125;
--
Robert I. Eachus
with Standard_Disclaimer;
use Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...
next prev parent reply other threads:[~1998-09-12 0:00 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-09-09 0:00 Fixed point design error in Ada95 Wayne Magor
1998-09-10 0:00 ` Tucker Taft
1998-09-10 0:00 ` dewarr
1998-09-10 0:00 ` Wayne Magor
1998-09-12 0:00 ` dewarr
1998-09-11 0:00 ` GNAT Professional ? Mats Weber
1998-09-11 0:00 ` dennison
1998-09-11 0:00 ` dewarr
1998-09-12 0:00 ` Paul Whittington
1998-09-14 0:00 ` dewarr
1998-09-15 0:00 ` Paul Whittington
1998-09-15 0:00 ` Markus Kuhn
1998-09-15 0:00 ` Peter Hermann
1998-09-15 0:00 ` dewarr
1998-09-14 0:00 ` Al Christians
1998-09-11 0:00 ` Fixed point design error in Ada95 Wayne Magor
1998-09-11 0:00 ` dewarr
1998-09-12 0:00 ` Robert I. Eachus [this message]
1998-09-12 0:00 ` dewarr
1998-09-17 0:00 ` Robert I. Eachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox