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=0.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1fee5782cd952ed7
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1993-03-16 10:54:02 PST
Path: 
 sparky!uunet!amdahl!news.fai.com!news.ossi.com!agate!howland.reston.ans.net!wupost!bigboy.sbc.com!news.mtholyoke.edu!nic.umass.edu!ymir.cs.umass.edu!rcfnews!sandy
From: sandy@beeker.cs.umass.edu (Sandy Wise)
Newsgroups: comp.lang.ada
Subject: Re: How do I avoid 'use' in this case?
Date: 16 Mar 93 13:12:00
Organization: Organization?  I thought entropy would take care of that...
Message-ID: <SANDY.93Mar16131200@beeker.cs.umass.edu>
References: <1993Mar11.163904.18135@fcom.cc.utah.edu>
 <1993Mar11.182021.1129@lin.foa.se>
Reply-To: wise@cs.umass.edu
NNTP-Posting-Host: beeker.cs.umass.edu
In-reply-to: eriks@lin.foa.se's message of Thu, 11 Mar 1993 18:20:21 GMT
Date: 1993-03-16T13:12:00+00:00
List-Id: <comp.lang.ada>

In article <1993Mar11.182021.1129@lin.foa.se> eriks@lin.foa.se (Erik Svensson FOA2) writes:
   Use rename instead.
   Like this:

           function "/="(A,B:Foo) return boolean renames field_def."/=";

Actually, use a rename like this:

           function "="(A,B:Foo) return boolean renames field_def."=";

One of those interesting little language lawyer level "features"  You
can't define not equal -- when you define equal you get not equal as
part of the deal...

I guess, there was concern that:

 'A /= B' might be different from 'not( A = B)'

        /s
--
Alexander Erskine Wise /\/\/\/\/\/\/\/\/\/\/\/\ Software Development Laboratory
/\/\/\/\/\/\/\/\/\/\/\/\/\/\ WISE@CS.UMASS.EDU /\/\/\/\/\/\/\/\/\/\/\/\/\/\/\/\
\/\/\ This situation calls for large amounts of unadulterated CHOCOLATE! /\/\/\