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=2.1 required=5.0 tests=BAYES_05,INVALID_DATE,
	MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!mcvax!jankok
From: jankok@mcvax.uucp (Jan Kok)
Newsgroups: net.lang.ada
Subject: Re: The equals function.
Message-ID: <311@zuring.mcvax.UUCP>
Date: Tue, 30-Sep-86 10:22:10 EDT
Article-I.D.: zuring.311
Posted: Tue Sep 30 10:22:10 1986
Date-Received: Thu, 2-Oct-86 21:04:00 EDT
References: <8609252153.AA03089@ucbvax.Berkeley.EDU> <310@zuring.mcvax.UUCP>
Reply-To: jankok@zuring.uucp (Jan Kok)
Organization: CWI, Amsterdam
Apparently-To: rnews@mcvax
List-Id: <comp.lang.ada>


CORRECTION
I must apologize about my previous posting, the subject of the existence
of the operator STANDARD."=" has been too difficult for me. I maintain
that it is interesting, at least I learned something.

I wrote:
In article <310@zuring.mcvax.UUCP> jankok@zuring.UUCP (Jan Kok) :
>
>I checked with a validated compiler (wellll, expired now), and it
>recognizes STANDARD."=".

But my test was too simple. I checked whether it recognized STANDARD."="
for operands of a predefined type like FLOAT. It does.
But my compiler does not accept STANDARD."=" for operands of a
user-defined type like 'access INTEGER'.

With help of a colleague, I may offer a better explanation: for a new
type, the prefix in the expanded name should be that of the module
(package, etc.) containing the type declaration. So, there is no
disagreement among validated compilers about this issue, as far as
tests have been made now by net-readers.

The person with the original problem is not helped by this. The prefix
can be used if the new definition and the "=" used in the call are
(possibly implicitly) declared in different modules.
-- 
Mail: Jan Kok, CWI (afd. NW), Postbus 4079, NL-1009 AB Amsterdam, Nederland
UUCP: {seismo, decvax, philabs, okstate, garfield}!mcvax!zuring!jankok
---------------------------------------------------------------
   One of the Warner Bros to Albert Einstein:
      I have a theory about relatives myself : Don't hire them!