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=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a24:45db:: with SMTP id
 c88-v6mr4680922itd.41.1531609235593;
        Sat, 14 Jul 2018 16:00:35 -0700 (PDT)
X-Received: by 2002:aca:de07:: with SMTP id v7-v6mr2398490oig.5.1531609235423;
 Sat, 14 Jul 2018 16:00:35 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!news.redatomik.org!newsfeed.xs4all.nl!newsfeed9.news.xs4all.nl!85.12.16.68.MISMATCH!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!g2-v6no3863688itf.0!news-out.google.com!n194-v6ni3102itg.0!nntp.google.com!d7-v6no3871560itj.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 14 Jul 2018 16:00:35 -0700 (PDT)
In-Reply-To: <7742818a-8789-4a0d-b420-e170a89dcf5e@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=76.113.16.86;
 posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 76.113.16.86
References: <40d568da-4715-42de-8e28-98da39a5c974@googlegroups.com>
 <c33b46b9-f08e-4e33-ace3-4cb83a13197b@googlegroups.com>
 <7742818a-8789-4a0d-b420-e170a89dcf5e@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <eed95cb4-56f6-44f2-adc5-75340bddba7c@googlegroups.com>
Subject: Re: Visibility of Indexing aspects
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Sat, 14 Jul 2018 23:00:35 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2361
X-Received-Body-CRC: 2514720788
Xref: reader02.eternal-september.org comp.lang.ada:53821
Date: 2018-07-14T16:00:35-07:00
List-Id: <comp.lang.ada>

On Saturday, July 14, 2018 at 12:29:44 PM UTC-6, Jere wrote:
> 
> There was no mention of being able to index the type (publicly), so it
> surprised me that a client using the package could call the index
> operation.  If it was intentional, then that was fine, I just wanted to
> know because I couldn't find anything in the RM that forbid it, but I 
> might have missed something.

You do raise a good point though WRT to visibility; it *would* be more consistent with Ada to have a distinction between (eg) publicly indexable and privately indexable types based on where the aspects lay.

OTOH, certain aspects such as (eg) Convention don't need to be public to alter the type in some manner. (Analogous to putting [eg] PRAGMA CONVENTION(FORTRAN, MATRIX) to force the Matrix to be represented in a Column-major manner within the private part.)

I should write this up as an AI for the ARG, if for nothing else than clarification's sake. Thank you for bringing the issue to my attention.