From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: GNAT 3.07 public release
Date: 1996/11/19
Date: 1996-11-19T00:00:00+00:00 [thread overview]
Message-ID: <dewar.848400280@merv> (raw)
The following GNAT 3.07 releases are now available on cs.nyu.edu, and
will shortly be propagated to the various mirror sites:
Alpha Digital Unix
HP HP-UX
Linux
SGI IRIX
Sparc Solaris
Sparc SunOS
Additional ports will be made available as they are completed. The
following is an excerpt from the features file describing the latest
features in GNAT version 3.07:
Latest features in GNAT version 3.07
====================================
GNAT now checks for the case of a body file present when the spec does
not require a body. GNAT always diagnosed the error when the body was
compiled, but if only the spec was compiled, the suspicious body was
ignored. The presence of a body file when no body is allowed is now
considered an error in Ada 95 mode, and a warning in Ada 83 mode.
Packed arrays with bounds depending on a discriminant now work correctly
The DEC pragmas have been implemented. Those of interest to GNAT ports
in general are as follows (see below for full documentation)
Common_Object
Component_Alignment
Export_Function
Export_Object
Export_Procedure
Export_Valued_Procedure
Import_Function
Import_Object
Import_Procedure
Import_Valued_Procedure
Suppress_All
The DEC attributes have been implemented. Those of interest to GNAT ports
in general are as follows (see below for full documentation)
Bit
Machine_Size
Null_Parameter
Type_Class
Attribute Mechanism_Code allows determination of the parameter passing
mechanism chosen by GNAT, as possibly controlled by the Import, Export
and C_Pass_By_Copy pragmas.
Pragma Extend_System allows transparent extension of package System to
accomodate definitions from other implementations of Ada.
Machine code insertions have been completely implemented. A new section
in gnatinfo.txt describes the use. Both code statements as such, and
also intrinsic calls are available. The latter allow interspersing
machine instructions in Ada code. Inlining of machine code procedures
is fully supported.
The pragma C_Pass_By_Copy is implemented in a manner that is completely
compatible with the Intermetrics implementation of this pragma.
The default mechanism for passing records to foreign convention subprograms
is now by-reference. This can be modified by either use of one of the
DEC extended Import/Export pragmas, or by use of the C_Pass_By_Copy pragma.
Further extended support for representation clauses, including more cases
of misaligned fields, and non-standard layouts. Record representation
clauses no longer require that the position of all fields be specified.
Pragma Error_Monitoring has been removed. This pragma was not used and had
a number of conceptual and implementation problems.
These releases also contain the initial draft versions of the two GNAT
manuals, the GNAT users guide and the GNAT reference manual, in various
formats.
next reply other threads:[~1996-11-19 0:00 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-11-19 0:00 Robert Dewar [this message]
1996-11-19 0:00 ` GNAT 3.07 public release Larry Kilgallen
1996-11-19 0:00 ` Samuel Tardieu
1996-11-21 0:00 ` Ronald Cole
1996-11-22 0:00 ` Robert A Duff
1996-11-23 0:00 ` Rolf Ebert
1996-11-28 0:00 ` Chris Morgan
1996-12-03 0:00 ` Rolf Ebert
1996-12-06 0:00 ` Ronald Cole
1996-12-13 0:00 ` Ronald Cole
1996-11-20 0:00 ` lfa
1996-11-20 0:00 ` Peter Hermann
1996-11-22 0:00 ` Kevin Krieser
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox