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.6 required=5.0 tests=BAYES_05,INVALID_DATE,
	MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!mcvax!dik
From: dik@mcvax.uucp (Dik T. Winter)
Newsgroups: net.lang.ada
Subject: validity of validation
Message-ID: <315@zuring.mcvax.UUCP>
Date: Mon, 27-Oct-86 18:51:37 EST
Article-I.D.: zuring.315
Posted: Mon Oct 27 18:51:37 1986
Date-Received: Wed, 29-Oct-86 09:19:23 EST
Organization: CWI, Amsterdam
Apparently-To: rnews@mcvax
List-Id: <comp.lang.ada>


Do you trust the attributes your validated Ada system returns?
Don't.  The attributes for floating-point types on our compiler
are nearly all wrong.  FLOAT'MACHINE_MANITISSA is 2 while the
machine is hexadecimal!  Is it possible to check these attributes?
As far as I know there is not a really portable program to do this,
but there is one that is nearly portable (it works on most machines;
the only exception I know of is the CDC Cyber 205; it can be found
(in Fortran) in the special functions cookbook by Cody and Waite).

And yes, our compiler is the compiler that needs eternity and
infinite storage to compile any reasonable program using LONG_FLOAT.
-- 
dik t. winter, cwi, amsterdam, nederland
UUCP: {seismo,decvax,philabs,okstate,garfield}!mcvax!dik
  or: dik@mcvax.uucp
ARPA: dik%mcvax.uucp@seismo.css.gov