[net.lang.ada] validity of validation

dik@mcvax.uucp (Dik T. Winter) (10/28/86)

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