Re: Why can't objects be static in Ada?

["Randy Brukardt" <randy@rrsoftware.com>]

<sbelmont700@gmail.com> wrote in message 
news:bc07b54c-0e86-4a40-931c-ca52d0295564@googlegroups.com...
> For anyone interested, here is a minimal reproduction of what (i think)
>is the OP's issue (the actual for the generic instantiation, not the 
>constant itself).
>
>
> package Static is
>  pragma Preelaborate;

I view this as self-inflicted, because there's no little value to pragma 
Preelaborate. As I previously noted, compilers will almost always generate 
the best possible elaboration code whether or not that pragma is applied. 
And regardless of C.4, not all preelaborated code can be done before load 
time, so it isn't providing a benefit in forcing that sort of code, either.

It's one of the ideas where Ada tried to accomplish something, but didn't 
quite succeed. Pure is like that as well, but at least it provides some 
benefits for Annex E code. Preelaborate doesn't even do that.

Especially when using GNAT and its static elaboration model (which 
eliminates elaboration checks from the equation -- that's the only benefit 
from using it in Janus/Ada).

                                                       Randy.