From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Comparing Access Types
Date: Fri, 10 Nov 2017 09:35:08 +0100
Organization: Aioe.org NNTP Server
Message-ID: <ou3obs$o2n$1@gioia.aioe.org>
References: <b3976d73-296f-4958-bfb2-26bf49901a48@googlegroups.com>
 <ou13tc$2de$1@gioia.aioe.org> <wccpo8rjcwg.fsf@TheWorld.com>
NNTP-Posting-Host: lKHBldubgAWx1EqbQpQ5LQ.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.4.0
X-Notice: Filtered by postfilter v. 0.8.2
Content-Language: en-US
Xref: feeder.eternal-september.org comp.lang.ada:48799
Date: 2017-11-10T09:35:08+01:00
List-Id: <comp.lang.ada>

On 09/11/2017 23:38, Robert A Duff wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> 
>> ...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.

You could have two segments mapped to the same physical memory. Then you 
may have two unequal segmented addresses pointing to the same physical 
memory unit and so "=" will lie.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de