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,4c41b799c707b3fa
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-01-28 03:02:03 PST
Path: 
 swrinde!howland.reston.ans.net!agate!newsxfer.itd.umich.edu!zip.eecs.umich.edu!panix!cmcl2!thecourier.cims.nyu.edu!thecourier.cims.nyu.edu!nobody
From: dewar@cs.nyu.edu (Robert Dewar)
Newsgroups: comp.lang.ada
Subject: Re: access all definitive
Date: 28 Jan 1995 00:45:44 -0500
Organization: Courant Institute of Mathematical Sciences
Message-ID: <3gclm9$sk1@gnat.cs.nyu.edu>
References: <1995Jan24.170441.8957@vax.sbu.ac.uk>
NNTP-Posting-Host: gnat.cs.nyu.edu
Date: 1995-01-28T00:45:44-05:00
List-Id: <comp.lang.ada>

Just so Fintan doesn't lose too many sleepless nights worrying about
GNAT failing to diagnose this error :-)

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

     7. end;

Actually we anticipate that a lot of users of GNAT version 2.02 will
be surprised by this new check (just wait till you get version 2.03
with the accessibility checks fully implemented :-)