I think the OP meant to say 10.1.1 (18)

"Stephen Leake" <Stephe.Leake@nasa.gov> wrote in message
news:ubry6heul.fsf@nasa.gov...
> Rodrigo Garc�a <rodrigo.garcia.ARROBA.epfl.ch> writes:
>
> > I need some enlightment in this area... Let us suppose that I have two
> > generic packages declared in separate files and one is the parent of
> > the other:
> >
> > generic
> >     type Elem is private;
> > package Parent is
> >     type Vector is array (Integer range <>) of Elem;
> > end Parent;
> >
> > generic
> > package Parent.Child is
> >     subtype Vector2D is Vector (1 .. 2);
> > end Parent.Child;
> >
> > How can I instantiate the child package
>
> with Parent.Child;
> procedure Foo is
>    package Par is new Parent (Elem => Integer);
>    package Chi is new Par.Child;
> begin
> ...
> end Foo;
>
> Note that the second instantiation is "Par.Child", not "Parent.Child".
>
> > within the declarative region of the parent package (as required by
> > RM 10.1(18))?
>
> There is no RM 10.1 (18), at least in the copy I have (came with
> GNAT). And I don't understand the rest of the sentence, either. So I
> don't know what you mean here.
>
> -- 
> -- Stephe
> _______________________________________________
> comp.lang.ada mailing list
> comp.lang.ada@ada.eu.org
> http://ada.eu.org/mailman/listinfo/comp.lang.ada
>