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

[Wes Groleau <wesgroleau@despammed.com>]

> > 'Size DOES return a scalar.  Therefore, if the prefix
> > is static and non-scalar, 4.9 (7) says 'Size on it is
> > static.
> 
> No, that's not what 4.9(7) says (let's have it again):

You're right.  Typo.  Let me try again:

> > 'Size DOES return a scalar.  Therefore, if the prefix
> > is static and scalar, 4.9 (7) says 'Size on it is
> > static.

> Whether you have time or not is irrelevant, there is no
> such proof, so you will just be wasting your time looking
> for it. The principles behind this design are quite clear

I won't be wasting my time because I am confident
I saw what I saw.  Of course, I could be wrong (see below)
but I don't think so.  However, proving it (or trying to)
is not worth the trouble.  If I find it, we have an inconsistency
and we fix the RM.  If I'm don't find it, I still haven't proven
it doesn't exist.  Neither option has any effect on what a
compiler will or won't accept.

> clarifying here. What would be MOST surprising is if
> there *were* a statement corresponding to your memory,
> since it is obviously evident that such a statement would
> be in error, given the fundamental design criteria for

You would find it surprising if there were a statement
in error in the RM?  Weren't most of the statements in
the RM written by humans?

Isn't one of the reasons for Ada the fact that humans
commit errors?

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