Re: System.Address'Size - not a static integer expression?

[Wes Groleau <wesgroleau@despammed.com>]

> > There's the justification:  'Size is sometimes
> > non-static, and requiring a compiler to distinguish when
> > imposes too much complexity.
> 
> No, this is quite wrong (and there is quite a bit of
> misinformation in this thread).
> 
> First, it is not correct that 'Size is always non-static.
> As is quite clear from RM 4.9

I said "sometimes" NOT "always"

>     7  an attribute_reference that denotes a scalar value,
>        and whose prefix denotes a static scalar subtype;
> 
> any application of 'Size to a static scalar subtype is
> indeed static.
> 
> So, how come size of other types is never static. It does
> NOT have to do with distinguishing constant and dynamic
> cases -- that's trivial and has to be done anyway.

I'll take your word for that, but the last time both Apex
and GNAT rejected a 'Size that I knew was static (in the
sense that it traced to a constant at compile time) I found
something in the RM that basically insisted that 
'Size is non-static.

Perhaps I'll have time to hunt that down again this week.
(Don't hold your breath)


-- 
Wes Groleau
http://freepages.rootsweb.com/~wgroleau