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
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!weretis.net!feeder6.news.weretis.net!nntp.club.cc.cmu.edu!micro-heart-of-gold.mit.edu!newsswitch.lcs.mit.edu!nntp.TheWorld.com!.POSTED!not-for-mail
From: Robert A Duff <bobduff@TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Preelaboration
Date: Tue, 17 May 2016 20:05:42 -0400
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wcc1t50ut61.fsf@TheWorld.com>
References: <lymvnqnf3h.fsf@pushface.org> <nhdai7$d1$1@loke.gir.dk>
	<lya8jpoguk.fsf@pushface.org> <nhg99r$kqu$1@loke.gir.dk>
NNTP-Posting-Host: shell02.theworld.com
Mime-Version: 1.0
Content-Type: text/plain
X-Trace: pcls7.std.com 1463529909 26577 192.74.137.72 (18 May 2016 00:05:09
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Wed, 18 May 2016 00:05:09 +0000 (UTC)
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Cancel-Lock: sha1:JWJmAwUvoB0IV4kDRW/zuHPL4Mc=
Xref: news.eternal-september.org comp.lang.ada:30430
Date: 2016-05-17T20:05:42-04:00
List-Id: <comp.lang.ada>

"Randy Brukardt" <randy@rrsoftware.com> writes:

> Besides, 10.2.1(11.6/2) says that the pragma has to appear in the visible 
> part of a package or generic package; the formal part of a generic package 
> is not part of the visible part.

But 8.2(8) says otherwise.  How else could it be?  The generic formals
have to be visible at the instantiation, so they can be referred to in
named-notation assocs.

I'm not sure how this affects the P_I pragma, but for sure generic
formals are visible at the instantiation.

- Bob