Re: Generic child units

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Georg Bauhaus <sb463ba@d2-hrz.uni-duisburg.de> writes:

> Stephen Leake <Stephe.Leake@nasa.gov> wrote:
> : Robert A Duff <bobduff@shell01.TheWorld.com> writes:
> : 
> :> Rodrigo Garc?a <rodrigo.garcia.ARROBA.epfl.ch> writes:
> :> 
> :> > Stephen Leake wrote:
> : 
> :> > > with Parent.Child;
> :> > > procedure Foo is
> :> > >    package Par is new Parent (Elem => Integer);
> :> > >    package Chi is new Par.Child;
> :> > > begin
> :> > > ...
> :> > > end Foo;
> :> 
> :> Here's the AARM text:
> :> 
> :>  18    A child of a parent generic package shall be instantiated or renamed
> :>  only within the declarative region of the parent generic.
> : 
> : But in my code above, Chi is an instantiation of "a child of a parent
> : generic package", and it is _not_ "within the declarative region of
> : the parent generic".

As Stephen Leake said later in his note, the above is wrong.  Chi is a
child of an *instance* of a parent generic (Par).  It is not a child of
Parent.

> Isn't the declarative region of Parent included by "with Parent.Child"? 

No.  The decl region of a thing is the thing and everything nested
within it (including children which are "logically" nested within their
parent).  Foo is not nested within Parent, and "with Parent.Child" does
not change that fact.

- Bob