Re: Public release of GNAT V3.04

[dewar@cs.nyu.edu (Robert Dewar)]

The following is the list of latest features in GNAT version 3.04
(taken from the file features in the distribution)

   GNAT attributes mantissa, safe_small for fixed points
   GNAT attribute small for floating point
   These attributes correspond to attributes defined in Ada 83.

   gnatlink (new utility program)

   pragma Unchecked_Union is fully implemented (see end of this document)

   More efficient execution of programs containing exception handlers
   (especially on Sun Sparc)

   Many new options to gnatmake: (see gnatinfo.txt for details)
   -aI -aO, -jnum, -k, -l, -o

   New Source & Library search path switches: (see gnatinfo.txt for details)
   -aLdir, -Adir, -aOdir, -aIdir, -Idir, -I-, -Ldir

   The DOS version has been migrated to DJGPP v2.
   Tasking is now fully functional in the DOS version.
   "Real" memory problems in the DOS version have been alleviated.

   New warnings for some infinite recursion cases

   When an Assert_Failure exception is raised, the exception is raised
   with a message, either the file name and line number by default of
   the pragma Assert, or the string explicitly supplied as the second
   parameter.

   The restriction names No_GNAT_Attributes and No_GNAT_Pragmas have
   been renamed No_Implementation_Attributes and No_Implementation_Pragmas.

   Record Representation Clauses which do not specify representations for
   all components (partial rep clauses) are now accepted by GNAT.

   Packed arrays of records are now implemented.

   The Size attribute is now handled as specified in the RM. This means
   that the value of 'Size will often be different from what it was
   before and what it was in Ada 83. Two new attributes Object_Size
   and Value_Size have been added to provide additional control.

Robert Dewar
Ada Core Technologies