TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender: "Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
Date: Wed, 22 May 2002 13:22:21 -0500
Reply-To: Randy Brukardt <[log in to unmask]>
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
In-Reply-To: <01C2018A.05326AA0@IGNITOR>
Content-Type: text/plain; charset="iso-8859-1"
From: Randy Brukardt <[log in to unmask]>
Parts/Attachments: text/plain (25 lines)
> To step back from the problem a little bit:
> What is the justification, if any, for making a comparison operation
> available, and then defining it as meaningless?

It's not meaningless. It is just defined such that two independently derived
access values may or may not be equal. This is very similar to the way
floating point works; it shouldn't be that surprising. That is:

    A := F'Access;
    B := A;
    C := G'Access;
    D := C;
    E := F'Acesss;

    if A = B then -- Must be true.
    if C = D then -- Must be true.
    if A = C then -- Must be false.
    if B = D then -- Must be false.
    if A = E then -- May be either true or false.
    if B = E then -- May be either true or false.