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.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!uunet!inmet!stt
From: stt@inmet.inmet.com
Newsgroups: comp.lang.ada
Subject: Re: Non-static constant propagation in
Message-ID: <20600032@inmet>
Date: 8 Jan 90 21:54:00 GMT
References: <1735@petsd.UUCP>
Nf-ID: #R:petsd.UUCP:1735:inmet:20600032:000:315
Nf-From: inmet.inmet.com!stt    Jan  8 16:54:00 1990
List-Id: <comp.lang.ada>


With regard to accuracy of compile-time calculations...

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 ! ;-*

S. Tucker Taft
Intermetrics, Inc.
Cambridge, MA  02138