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=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1dd28d5040ded1f8
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-05-13 12:29:01 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!kibo.news.demon.net!news.demon.co.uk!demon!pogner.demon.co.uk!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Announce: Grace project site operational
Date: 13 May 2002 20:19:51 +0100
Organization: Pushface
Sender: simon@smaug
Message-ID: <x7vr8kf7t48.fsf@pushface.org>
References: <3CD88FBD.4070706@telepath.com>
 <MwGUb1cULPdB@eisner.encompasserve.org> <3CD91E31.1060004@telepath.com>
 <abb9fs$7cc$1@nh.pace.co.uk> <3CDBD673.FF452A3D@otelco.net>
 <abgph8$p0d$1@nh.pace.co.uk> <3CDD75C7.36C6ADCF@acm.org>
 <4519e058.0205130744.2602e251@posting.google.com>
NNTP-Posting-Host: pogner.demon.co.uk
X-NNTP-Posting-Host: pogner.demon.co.uk:62.49.19.209
X-Trace: news.demon.co.uk 1021318140 nnrp-12:25595 NO-IDENT
 pogner.demon.co.uk:62.49.19.209
X-Complaints-To: abuse@demon.net
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Xref: archiver1.google.com comp.lang.ada:23977
Date: 2002-05-13T20:19:51+01:00
List-Id: <comp.lang.ada>

dennison@telepath.com (Ted Dennison) writes:

> Jeffrey Carter <jrcarter@acm.org> wrote in message news:<3CDD75C7.36C6ADCF@acm.org>...
> > The imported type Element should have the "=" operation imported for it.
> > 
> > The "=" operations for types List and Iterator should be visible to
> > clients of the package.
> 
> I'd like to see more discussion on this point. The way I remember it,
> we didn't want to add a lot of generic parameters that >%99 of the
> time would not be used. I can't remember overloading "=" myself, ever.
> This goes back to the "default generic parameters" issue, but I
> digress. However, I seem to remember some folks saying that not
> importing "=" this way causes the built-in equality to reassert itself
> even after its been overridden. Am I remembering this correctly?

I'm not so sure about "=" for Iterator. However, the BCs have users
who require Element to have overridden equality (and yes, you do need
to import, or default equality does reemerge).

The specific example was where equality only depended on some of the
fields (you could change other fields without affecting equality).

The same user wanted to be able to refefine equality for map Keys.