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.2 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	FROM_STARTS_WITH_NUMS autolearn=no autolearn_force=no version=3.4.4
X-Received: by 10.107.29.80 with SMTP id d77mr4431768iod.27.1518263739138;
        Sat, 10 Feb 2018 03:55:39 -0800 (PST)
X-Received: by 10.157.112.141 with SMTP id l13mr236903otj.1.1518263738908;
 Sat, 10 Feb 2018 03:55:38 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!border1.nntp.ams1.giganews.com!nntp.giganews.com!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!o66no243189ita.0!news-out.google.com!s63ni505itb.0!nntp.google.com!w142no243368ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 10 Feb 2018 03:55:38 -0800 (PST)
In-Reply-To: <p5mafc$1g8m$1@gioia.aioe.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=85.240.214.139;
 posting-account=rhqvKAoAAABpikMmPHJSZh4400BboHwT
NNTP-Posting-Host: 85.240.214.139
References: <5d9134c9-a7d4-468e-8685-ebbb393eabea@googlegroups.com>
 <p5kk5i$5fj$1@dont-email.me> <p5kl6u$12m5$1@gioia.aioe.org>
 <p5krq3$103$1@dont-email.me> <wcck1vlex4t.fsf@TheWorld.com>
 <p5l4nl$4hm$1@dont-email.me> <p5l60c$ol$1@gioia.aioe.org>
 <e6ab5614-74af-41e1-804c-dec1b84b449c@googlegroups.com>
 <p5mafc$1g8m$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c9c599fb-4bfc-4eb8-ae4b-66852dd1a62a@googlegroups.com>
Subject: Re: grassroots thoughts on access types
From: Mehdi Saada <00120260a@gmail.com>
Injection-Date: Sat, 10 Feb 2018 11:55:39 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Body-CRC: 3938642758
X-Received-Bytes: 1776
Xref: reader02.eternal-september.org comp.lang.ada:50365
Date: 2018-02-10T03:55:38-08:00
List-Id: <comp.lang.ada>

> Cursors (= pointers)
Based on GNAT RM, "a Cursor, which must a be a type declared in the container package or visible from it". That's all there is mentioned about the cursor type. Hence, it doesn't have to involve access types.
Either I'm right, either I'm wrong, but the RM is unclear.