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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,92e58113fdb96ff0
X-Google-Attributes: gid103376,public
From: lfa@ip.pt
Subject: Re: GNAT 3.07 public release
Date: 1996/11/20
Message-ID: <329314FD.3A2A@ip.pt>#1/1
X-Deja-AN: 197645775
references: <dewar.848400280@merv>
content-type: text/plain; charset=us-ascii
organization: EUnet Portugal
mime-version: 1.0
newsgroups: comp.lang.ada
x-mailer: Mozilla 2.0 (Win95; I)
Date: 1996-11-20T00:00:00+00:00
List-Id: <comp.lang.ada>


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 ?