Re: generic package dilemma

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

In article <81449o$1fh$1@nnrp1.deja.com> , Robert Dewar 
<robert_dewar@my-deja.com>  wrote:

> The rule is simple, if you instantiate a generic from within
> elaboration code, then you must use a pragma Elaborate_All
> on the generic.

But Mats seems to be saying that if you do this:

generic
   ...
package GQ is ... end GQ;


with GP;
package body GQ is
  package P is new GP;
...
end GQ;

then you should NOT use an elaborate(_all) pragma on GP.  This would
appear to be in violation of the rule that you're advocating.

So which is it: should the body of GQ above pragma Elaborate_All (GP),
or not?

--
Get the FAQs about evolution and creationism.

<http://www.talkorigins.org/origins/faqs.html>