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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,9506bdc34331969a
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!w41g2000yqb.googlegroups.com!not-for-mail
From: sjw <simon.j.wright@mac.com>
Newsgroups: comp.lang.ada
Subject: Re: put of access type
Date: Fri, 21 Aug 2009 14:09:24 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <751d2a99-af50-47b9-8ed0-d321f004d706@w41g2000yqb.googlegroups.com>
References: <oham855g1rctflnjnoabr77kk4jngm479m@4ax.com>
 <tepiq2z1i4ya.1lxwo4nf59zlk$.dlg@40tude.net>
	<4a8ce6a0$1@news.post.ch> <4kppuwzteolt$.1pfxt5e0f3jsl.dlg@40tude.net>
	<23228714-4402-4501-8200-0ad76d17a96c@h31g2000yqd.googlegroups.com>
	<1aq87cn81700b.1s0isw8gqx47v$.dlg@40tude.net>
NNTP-Posting-Host: 82.30.110.254
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1250888965 17374 127.0.0.1 (21 Aug 2009 21:09:25
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 21 Aug 2009 21:09:25 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: w41g2000yqb.googlegroups.com; posting-host=82.30.110.254;
	posting-account=_RXWmAoAAADQS3ojtLFDmTNJCT0N2R4U
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10_5_8; en-us)
	AppleWebKit/531.9 (KHTML,
 like Gecko) Version/4.0.3 Safari/531.9,gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:7950
Date: 2009-08-21T14:09:24-07:00
List-Id: <comp.lang.ada>

On Aug 21, 8:29=A0am, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:
> On Thu, 20 Aug 2009 15:27:17 -0700 (PDT), sjw wrote:
> > On Aug 20, 7:58=A0pm, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> > wrote:
>
> >> For example, the standard explicitly requires the array address to be =
one
> >> of its first element, and not of the array's dope.
>
> > Note for OP: that's 'Address, of course -- not 'Access
>
> No, it is exactly X'Address. See RM 13.3 (14). That adds headaches when y=
ou
> are going to implement a tricky storage pool.

?

What I meant was what 13.3(14) says. Sorry if I was unclear.

Martin suggested using the debugger; I've just been trying exactly
that, and it's quite confusing because the debugger knows a lot about
the types involved. GNAT warns about conversion between pointer-to-
unconstrained and system.address because they are of different sizes
(64 & 32), but it's hard to see where the extra bytes live.