Re: Elaboration of nested generic package.

[christoph.grein@eurocopter.com]

Matthew,

I do not see why you think there is a difference whether you instantiate on 
library level or on a nested level:

> with GP;
> pragma Elaborate_All (GP);  --you need this
>
> package body Q is
>    package P is new GP;
> end Q;
>
> See the CLA thread "AQ&S Guidance on pragma Elaborate_Body" which
> occurred in 1997/04 -- particularly the responses from Bob Duff and
> Robert Dewar.
>
> I forget whether you need the pragma for root-level instantiations:
>
> with GP;
> pragma Elaborate_All (GP); --needed?
> package P is new GP;

The pragma says: Elaborate all units that are on the with-tree of the with-ed 
unit (GP) before elaborating the with-ing package (Q resp. P). And the body of 
the generic is needed elaborated before instantiation in any case.

Whether the pragma in the generic spec is of any use, I do not know either and I 
presently do not feel like searching the RM :-(