Re: Elaboration in GNAT

[dewar@gnat.com (Robert Dewar)]

"Matthew Heaney" <mheaney@on2.com> wrote in message news:<u3bh1tiuppk9c7@corp.supernews.com>...
> The one time you cannot use a categorization pragma (say, 
> Elaborate_Body) is
> when a package withs its own children, which means a 
> client will have to use
> pragma Elaborate_All (if it needs to call operations in 
> that package during
> its own elaboration).

I find the above incomprehensible. The normal case in which
you cannot use Elaborate_Body is when you have mutually
dependent packages, a common situation. It is simply
horrible to prohibit this common and perfectly reasonable
situation (the alternative is being forced to aggregate
packages which can perfectly well be separate).