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

[Lucretia <laguest9000@googlemail.com>]

On Saturday, 13 April 2019 14:07:13 UTC+1, Jere  wrote:
> On Thursday, April 11, 2019 at 8:40:40 AM UTC-4, Lucretia wrote:

> >    Zero_Size : constant Sizes := (others => Natural_Dimension'First);
> > 
> > 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.
> 
> Out of curiosity, are you looking for something more akin to C++'s
> constexpr [1][2] keyword?  Ada's static definition is kind of like that, 

What I'm after is for the compiler to compile a constant, which as can be seen has it's components initialised from other constants, such that I can then pass the overall constant like Zero_Size, into a generic, in which the whole outer package is pre-elaborated.

> but not as flexible or usable yet.  I'm hoping that at some point Ada 
> does adjust the definition of static to be even more useful.  Most 

I can't believe, in 40 years, nobody has come up against this issue before.

I suppose maybe that constexpr function modifier would be helpful here too, but really the data should be considered static, as in, clearly defined at compile time.