From: firth@sei.cmu.edu (Robert Firth)
Subject: Re: Non-static constant propagation in
Date: 9 Jan 90 13:10:07 GMT [thread overview]
Message-ID: <5551@bd.sei.cmu.edu> (raw)
In-Reply-To: 20600032@inmet
In article <20600032@inmet> stt@inmet.inmet.com writes:
>In ARM 4.10:4, it states:
> . . . Furthermore, if a universal expression is a static expression,
>then the evaluation must be exact.
>
>Let's hope they don't try to define "SQRT" on universal reals ! ;-*
The sentence quoted was perpetrated by one of the Neoplatonists on
the language design team. The point of the joke, of course, is that
in Ada all 'universal' expressions yield only rational results, and
so may indeed be computed exactly.
next prev parent reply other threads:[~1990-01-09 13:10 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
1990-01-05 1:37 Non-static constant propagation in optimizing Ada compilers Joe Orost
1990-01-05 21:44 ` Non-static constant propagation in stt
1990-01-08 21:54 ` stt
1990-01-09 13:10 ` Robert Firth [this message]
1990-01-10 21:24 ` stt
-- strict thread matches above, loose matches on Subject: below --
1990-01-10 4:00 Michael Hunter
1990-01-12 5:20 Michael Hunter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox