Re: GNAT 3.07 public release

[lfa@ip.pt]

Robert Dewar wrote:
> 
> 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.

Any date for Windows 95 ?