Re: Generic child units

[Stephen Leake <Stephe.Leake@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