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

[Mark Lorenzen <mark.lorenzen@gmail.com>]

On Tuesday, April 16, 2019 at 3:40:45 AM UTC+2, Randy Brukardt wrote:
> >
> > 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.

How can it be ensured that a library written in Ada does not require any elaboration. Pragma Pure? I think that such libraries are "nice" but pragma Pure is too restrictive for that purpose. In such cases it would be good, if e.g. the OP's problem could be solved at compile time without any elaboration.

Regards,
Mark L