Re: Elaboration of nested generic package.

[mheaney@on2.com (Matthew Heaney)]

dlwester@hotmail.com (Don Westermeyer) wrote in message news:<5437fafb.0307091710.5cb4b0eb@posting.google.com>...
> > 
> You should not need an Elaborate_All pragma if the specification
> contains pragma Elaborate_Body since the body is elaborated
> immediately after the specification.

But we're talking about a generic unit.  I think that whenever you
instantiate a generic at library level, you need to use the
Elaborate_All pragma.

The categorization pragma inside the generic doesn't matter, because
that only applies to the instantiation (I think...), which doesn't
exist yet.


> It seems to me that the Ada language should have assumed an
> 'Elaborate_All' for every dependancy unless a pragma was used to
> specifically ignore it.  It would seem the compilers should also know
> when it can ignore elaboration checking without the user specifying
> Pure or Preelaborate.

No.  This would unnecessarily constrain the size of the set of all
possible elaboration orders.

 
> Usually I do use pragma Elaborate_All for every dependancy anyway
> since one does not have control over every software module developed. 
> Using it is always safer and causes no penalties that I know of
> (assuming the design stays clear of mutual dependancies).

This is a very bad idea.