Re: Generic child units

[Georg Bauhaus <sb463ba@d2-hrz.uni-duisburg.de>]

Robert A Duff <bobduff@shell01.theworld.com> wrote:
: Rodrigo Garc?a <rodrigo.garcia.ARROBA.epfl.ch> writes:
: 
:> Stephen Leake wrote:
:> > 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
:> >>within the declarative region of the parent package (as required by
:> >>RM 10.1[.1](18))?

Am I right that this is supposed to mean, for example,

with Parent.Child;
package body Parent
   package Inst is new Parent.Child;
end Parent;

because the body is part of the declarative region of P,
and there is no circular dependency? (So the instance is *inside* the
parent generic?)

: Paragraph 19.b in the AARM explains it.  You are instantiating the child
: *outside* the parent generic, so you want to instantiate the child of
: the instance of the parent, not the child of the parent.  Make sense?

-- Georg