Re: Fussy Standard: what is modulo Address?

[porton@ex-code.com (Victor Porton)]

In article <wcc1y34k92a.fsf@shell01.theworld.com>,
	Robert A Duff <bobduff@shell01.TheWorld.com> writes:
> 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.

It also may mean about the value of 'Address attribute which is 
universal integer, not System.Address.

>> > 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.

IMO, it should be "A mod M = System.Storage_Element.To_Integer(A) mod M"
for any A of type System.Address and integer M (probably with some 
restrictions related to memory segments...)