Re: generic package dilemma

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

In article <3832E75D.5B1BA719@mail.com> , Mats Weber <matsw@mail.com>  
wrote:

>> You should always elaborate packages that you instantiate:
>>
>> pragma Elaborate (Gen_Pack1);
>> pragma Elaborate (Gen_Pack4);
>
> Use Elaborate_All: that way, if Gen_Pack* instantiates something else,
> then that also gets elaborated.

I didn't think Elaborate vs Elaborate_All made any difference for
generics.  From Cohen's AAASL, p682:

(start of quote)
In all other cases, however, a with clause for a library generic unit
should be accompanied by an Elaborate pragma for that unit...

An Elaborate_All pragma can be used instead of an Elaborate pragma, but
this is not really necessary because the elaboration of a generic body
never gives rise to a subprogram call.
(end of quote)



--
Science is, foremost, a method of interrogating reality: proposing
hypotheses that seem true and then testing them -- trying, almost
perversely, to negate them, elevating only the handful that survive to
the status of a theory. Creationism is a doctrine, whose adherents are
interested only in seeking out data that support it.

George Johnson, NY Times, 15 Aug 1999