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:7acf:: with SMTP id
 a198-v6mr454369itc.14.1531822272043;
        Tue, 17 Jul 2018 03:11:12 -0700 (PDT)
X-Received: by 2002:aca:f495:: with SMTP id
 s143-v6mr327820oih.7.1531822271624;
 Tue, 17 Jul 2018 03:11:11 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!weretis.net!feeder4.news.weretis.net!newsreader4.netcologne.de!news.netcologne.de!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!g2-v6no365730itf.0!news-out.google.com!n194-v6ni685itg.0!nntp.google.com!d7-v6no358497itj.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 17 Jul 2018 03:11:11 -0700 (PDT)
In-Reply-To: <41c711cb-0300-4a41-93d3-e69297ae1945@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2003:c7:83f8:eb9f:8592:5792:60a6:8132;
 posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 2003:c7:83f8:eb9f:8592:5792:60a6:8132
References: <40d568da-4715-42de-8e28-98da39a5c974@googlegroups.com>
 <34f499f7-020f-4dcc-adad-0ab1113386d1@googlegroups.com>
 <b1e463c1-b715-49d4-8649-506b1a2bc265@googlegroups.com>
 <dbc745d2-ec83-457b-b6d9-4bbc7d824126@googlegroups.com>
 <9d69e7b5-6b2d-4607-9f7b-affa78c41620@googlegroups.com>
 <41c711cb-0300-4a41-93d3-e69297ae1945@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <42de4aa3-9e7c-44b8-aa84-712cc7ce03c6@googlegroups.com>
Subject: Re: Visibility of Indexing aspects
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Tue, 17 Jul 2018 10:11:12 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2438
X-Received-Body-CRC: 254785606
Xref: reader02.eternal-september.org comp.lang.ada:53869
Date: 2018-07-17T03:11:11-07:00
List-Id: <comp.lang.ada>

Am Dienstag, 17. Juli 2018 11:46:23 UTC+2 schrieb AdaMagica:
> > I looked at that, but saw that 8.2(7), which applies in this case, 
> > specifically leaves out the aspect specification of what is considered 
> > in/out of the visible part.  It says all things within the type_declaration,
> > which is not defined to contain the aspect_specification (though the
> > full_type_declaration does).
> 
> Please see 7.3(2/3) - it does!

Ah, it seems I misinterpreted your words. The RM syntax for private type declarations contains the aspect specification. The specific example here does not, and this is what you tried to say.

So the scope of the private view is larger than the scope of the full declaration, and the latter only contains the aspect spec. So the scope of the aspect spec is hidden in the private part and thus not visible.