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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c4ba91f4ae36a2c
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!news4.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Elaborate_All on child package
Date: Tue, 06 Sep 2011 15:46:08 +0200
Organization: Tidorum Ltd
Message-ID: <9cmmh0Fm55U1@mid.individual.net>
References: 
 <19a85f93-3cd2-4054-8022-21ba294d53e3@glegroupsg2000goo.googlegroups.com>
 <507f7b91-0fab-4f62-86e1-8185aff2315c@glegroupsg2000goo.googlegroups.com>
 <wccmxehn89s.fsf@shell01.TheWorld.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net 3x5zVbBCtu38ExwmTzYPgQdxcoLfuNvYJiFm39cNUANzwaFrgO
Cancel-Lock: sha1:u1MK/l0vUfVNPrpqVFxpL6Jd72U=
User-Agent: Mozilla-Thunderbird 2.0.0.24 (X11/20100328)
In-Reply-To: <wccmxehn89s.fsf@shell01.TheWorld.com>
Xref: g2news2.google.com comp.lang.ada:21831
Date: 2011-09-06T15:46:08+02:00
List-Id: <comp.lang.ada>

Robert A Duff wrote:

> Right.  The visibility rules in context clauses are special.
> They have to be, because the context clause are determining what's
> visible elsewhere.  Why Jean Ichbiah chose this exact design,
> I don't know.  I would have put the 'with' clauses inside the
> package.

If the 'with' clauses would be inside the package, you would have to 
change also the location of the generic formals for generic packages, 
wouldn't you? The declarations of the formals should be able to refer to 
entities in 'withed' packages.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .