Re: Fussy Standard: what is modulo Address?

[Robert A Duff <bobduff@shell01.TheWorld.com>]

porton@ex-code.com (Victor Porton) writes:

> > I don't think so.  "Modulo" means the "mod" operator for
> > System.Address.  This is defined in 13.7.1(8).  The AARM states this
> > explicitly in 13.3(24.b) and 13.7.1(11.b).
> 
> So, it is stated  nly in AARM, not in ARM? It is a bug.

The reason I put it in the AARM only is that I thought it was obvious
what it must mean.  What else could "address modulo mumble" mean besides
the "mod" operator on type Address?  So I disagree that it's a bug.

> > The manual does not define the semantics of this "mod" operator.  How
> > could it?  Address is just a private type provided by the implementer --
> > it could be anything.
> 
> The manual should define relations between System.Address and
> System.Storage_Element.Integer_Address. To define these seems being 
> just forgotten. No these relations which should be true accordingly 
> human intuition may have bad impact on reliability.

I don't see the problem here.  Type Address and Integer_Address are too
hardware-dependent to say much about them (or the relationships between
them) in the RM.

- Bob