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

[Wes Groleau <wesgroleau@despammed.com>]

> > At the time, I considered the expression I used
> > static because it COULD BE determined at compile time.
> 
> Fine, but that was a misunderstanding, static does NOT
> mean "COULD BE determined at compile time.

In the Ada RM it doesn't.  But to a lot of people
(and formerly, to me) that's what it meant.

> > But I DID find something in the RM that said 'Size cannot
> > be used where a static expression is required.
> 
> No you didn't, because there is no such rule. The actual
> rule is that 'Size is static if applied to a static scalar
> subtype, and otherwise is not static. But you won't find
> a rule in the RM that says that Size applied to a non-scalar type or a
> non-static scalar type is non-static.

It wasn't in 4.9  For me to prove I'm right, I'd have to
find it again, which would be hard.  For you to prove I'm
wrong, you'd have to make me read every paragraph in the RM
and agree it isn't in there, which would be even harder.
So I think we should drop it.

> > So you are saying that it IS in this subset
> > if the prefix is a static scalar subtype?
> 
> Yes :-) several times

If that's true, both GNAT and Apex were wrong to reject
the code I was speaking of.  And I severely misinterpreted
the RM passage that seemed to justify the rejection.

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