Re: generic package dilemma

["Robert I. Eachus" <eachus@mitre.org>]

Robert Dewar wrote:
 
> It's really a rule rather than a guideline, at least for new
> code, although GNAT will indeed provide the necessary implicit
> Elaborate_All statements if you leave them out!
> 
> The rule is simple, if you instantiate a generic from within
> elaboration code, then you must use a pragma Elaborate_All
> on the generic.

     There are very special cases where you should use Elaborate instead
of Elaborate_All, and I occasionally run into them when creating
mutually recursive types.  But in general use Elaborate_All unless you
know when not to. ;-)  These cases can occur with generics, but that is
very rare.  (Two generic units can not  directly have mutually dependent
bodies, but they can an indirect dependence through other units where
the body of C must be elborated after A and after B, where A and B are
the generics.)

-- 

                                        Robert I. Eachus

with Standard_Disclaimer;
use  Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...