From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: access all definitive
Date: 28 Jan 1995 00:45:44 -0500
Date: 1995-01-28T00:45:44-05:00 [thread overview]
Message-ID: <3gclm9$sk1@gnat.cs.nyu.edu> (raw)
In-Reply-To: 1995Jan24.170441.8957@vax.sbu.ac.uk
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 :-)
prev parent reply other threads:[~1995-01-28 5:45 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1995-01-24 17:04 access all definitive fintan
1995-01-27 9:54 ` Michel Gauthier
1995-01-28 19:48 ` Robert Dewar
1995-01-30 5:24 ` Michael Feldman
1995-01-28 5:36 ` Cyrille Comar
1995-01-28 5:45 ` Robert Dewar [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox