Re: Comparing Access Types

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

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> No, in general case it cannot, in the spirit of the semantics that A < B
> if the physical machine address of A < B.

I agree with you that "<" makes little sense for access types.
Even in C, "<" on pointers is undefined unless they point
into the same array.

>...Actually even equality cannot
> be for segmented memory but it felt good enough.

?

"=" returns True if two access values designate the same object,
which is a well defined concept, and has nothing to do with
segmented memory.  And it's easy to implement, whether memory
is segmented or not.

- Bob