From: "W. Wesley Groleau (Wes)" <wwgrol@PSESERV3.FW.HAC.COM>
Subject: Re: 'Digit in generic package
Date: 1996/08/26
Date: 1996-08-26T00:00:00+00:00 [thread overview]
Message-ID: <9608261530.AA06035@most> (raw)
R. A. O'Keefe asked
[how to make a generic use the most precise type out of its actuals]
R. Eachus answered
[Write the generic body to dispatch at run-time]
At least one vendor supplied a generic math package that did exactly
that AND on examining the disassembled code for an instantiation, we
found that the compiler had looked at the parameters and eliminated
the "dead code" so that the effect was exactly what Mr. O'Keefe had
asked for.
Now I wonder whether in Ada 95 it would work to simplify R. Eachus's
suggestion with
...
function Generic_F ... is
Precision : constant := Max(Foo'Digits,Bar'Digits,...);
begin
case Precision is ...
--
---------------------------------------------------------------------------
W. Wesley Groleau (Wes) Office: 219-429-4923
Hughes Defense Communications (MS 10-40) Home: 219-471-7206
Fort Wayne, IN 46808 (Unix): wwgrol@pseserv3.fw.hac.com
---------------------------------------------------------------------------
next reply other threads:[~1996-08-26 0:00 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-08-26 0:00 W. Wesley Groleau (Wes) [this message]
1996-08-27 0:00 ` 'Digit in generic package Ken Garlington
1996-08-27 0:00 ` Robert I. Eachus
1996-08-28 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