From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
Path: utzoo!utgpu!jarvis.csri.toronto.edu!clyde.concordia.ca!uunet!cs.utexas.edu!tut.cis.ohio-state.edu!pt.cs.cmu.edu!sei!firth
From: firth@sei.cmu.edu (Robert Firth)
Newsgroups: comp.lang.ada
Subject: Re: Non-static constant propagation in
Message-ID: <5551@bd.sei.cmu.edu>
Date: 9 Jan 90 13:10:07 GMT
References: <1735@petsd.UUCP> <20600032@inmet>
Reply-To: firth@sei.cmu.edu (Robert Firth)
Organization: Software Engineering Institute, Pittsburgh, PA
List-Id: <comp.lang.ada>

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.