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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,aaf4cd5313f652b1
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-01-25 13:27:26 PST
Path: 
 nntp.gmd.de!news.rwth-aachen.de!news.rhrz.uni-bonn.de!news.uni-stuttgart.de!rz.uni-karlsruhe.de!xlink.net!howland.reston.ans.net!gatech!udel!news.mathworks.com!panix!cmcl2!thecourier.cims.nyu.edu!thecourier.cims.nyu.edu!nobody
From: dewar@cs.nyu.edu (Robert Dewar)
Newsgroups: comp.lang.ada
Subject: Re: type is access cf type is access all?
Date: 25 Jan 1995 16:27:26 -0500
Organization: Courant Institute of Mathematical Sciences
Message-ID: <3g6fnu$fvq@gnat.cs.nyu.edu>
References: <1995Jan20.114005.8916@vax.sbu.ac.uk>
 <D2xADD.C5M@inmet.camb.inmet.com>
NNTP-Posting-Host: gnat.cs.nyu.edu
Date: 1995-01-25T16:27:26-05:00
List-Id: <comp.lang.ada>

For all those suffering sleepless nights over GNAT's failure to detect the
abuse of pool-specific types, here is output from GNAT version 2.01:

     1. procedure r is
     2.   type a is access integer;
     3.   b : aliased integer;
     4.   c : a;
     5. begin
     6.   c := b'access;
                |
        >>> result must be general access type
        >>> add "all" to type "a" declared at line 2

     7. end;

We hope to have version 2.01 (may be labeled 2.02 when it actually gets out)
in the next day or two for SunOS, and next week for OS/2 and other ports.