Re: generic package dilemma

["Matthew Heaney" <matthew_heaney@acm.org>]

In article <3833F615.5AD7166C@mail.com> , Mats Weber <matsw@mail.com>  
wrote:

> It does: if the generic instantiates another generic, e.g.
>
> generic package P1 is ...
>
> generic package P2 is ...
>
> with P1;
> package body P2 is
>    package P1I is new P1;
> end P2;


But isn't this wrong?  Shouldn't P2 elaborate P1?

with P1;
pragma Elaborate (P1);

package body P2 is
  package P1I is new P1;
end P2;


>
> The clause
>
> with P2;
> pragma Elaborate(P2);
>
> does not guarantee that P1's body gets elaborated.

Is this still true if P2 does the proper thing, and elaborates P1?


--
Help keep evolution in the science classroom and religion out: become a
member of the National Center for Science Education.

<http://www.natcenscied.org/>