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.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a644fa9cd1a3869a
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-11-13 13:40:55 PST
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!sn-xit-04!supernews.com!europa.netcrusader.net!usenetserver.com!63.208.208.143!feed2.onemain.com!feed1.onemain.com!newsfeeds.belnet.be!news.belnet.be!psinet-eu-nl!psiuk-p4!psiuk-p3!uknet!psiuk-n!news.pace.co.uk!nh.pace.co.uk!not-for-mail
From: "Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>
Newsgroups: comp.lang.ada
Subject: Re: List container strawman 1.2
Date: Tue, 13 Nov 2001 16:26:56 -0500
Organization: Posted on a server owned by Pace Micro Technology plc
Message-ID: <9ss371$lk6$1@nh.pace.co.uk>
References: <3BECA3B7.5020702@telepath.com> <3bef920f@pull.gecm.com>
 <9soq34$be6$1@nh.pace.co.uk> <3beffc62@pull.gecm.com>
 <9sp5ai$fr2$1@nh.pace.co.uk> <x7vpu6nxhp1.fsf@smaug.pushface.org>
NNTP-Posting-Host: dhcp-200-133.miami.pace.co.uk
X-Trace: nh.pace.co.uk 1005686817 22150 136.170.200.133 (13 Nov 2001 21:26:57
 GMT)
X-Complaints-To: newsmaster@news.cam.pace.co.uk
NNTP-Posting-Date: 13 Nov 2001 21:26:57 GMT
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4522.1200
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200
Xref: archiver1.google.com comp.lang.ada:16458
Date: 2001-11-13T21:26:57+00:00
List-Id: <comp.lang.ada>

I think the original example omitted the "is <>" part. It makes a
difference.

Things should be made as simple as possible - but no simpler? :-)

My fear is that opening the door to more generic parameters to control
behavior and other options is going to get everyone lining up with their
favorite generic option. If at all possible, I'd prefer to keep the
instantiations simple and control options via some kind of initialization of
the list object.

But that's just my preference.....

MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com
Enabling the digital revolution
e-Mail:    marin.condic@pacemicro.com
Web:      http://www.mcondic.com/


"Simon Wright" <simon@pushface.org> wrote in message
news:x7vpu6nxhp1.fsf@smaug.pushface.org...
>
> I have a user who definitely did want this (for example, what if the
> key were a case-insensitive string?)
>
>   with function "=" (L, R : Key) return Boolean is <>;
>
> It does mean that equality has to be visible at the point of
> instantiation, of course.