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

[Lucretia <laguest9000@googlemail.com>]

On Thursday, 11 April 2019 13:56:18 UTC+1, Mark Lorenzen  wrote:
> > Why can't Zero_Size be compiled as static in this pre-elaborated package?
> > 
> > This seems to be a major flaw in Ada imo.
> > 
> > Luke.
> 
> I don't think it's not an Ada flaw. From an Ada perspective the object is constant - irrespective if it's static (it's value is set at compile-time) or not.

Your double negative here makes this hard to understand.
 
> I guess it's compiler-dependent. There are a number of cases where GNAT could be better at generating static objects. This is especially true for objects of a (discriminated) record type.
> 
> Try adding "Restrictions (No_Elaboration_Code)" to the spec and see if it forces GNAT into doing what you want to.

Doesn't like that pragma in the context area or inside the package, inside gnat.adc it's fine, but I get the same error, i.e. non-static.