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,cda33fc7f63c2885 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-01-09 13:02:46 PST Path: archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!newsfeed1.earthlink.net!newsfeed.earthlink.net!newsmaster1.prod.itd.earthlink.net!newsread1.prod.itd.earthlink.net.POSTED!not-for-mail Message-ID: <3C3CAFEC.D24955EC@acm.org> From: Jeffrey Carter X-Mailer: Mozilla 4.7 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: list strawman References: <6i%_7.8890$fG.50588@rwcrnsc51.ops.asp.att.net> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Wed, 09 Jan 2002 21:02:43 GMT NNTP-Posting-Host: 209.86.204.164 X-Complaints-To: abuse@earthlink.net X-Trace: newsread1.prod.itd.earthlink.net 1010610163 209.86.204.164 (Wed, 09 Jan 2002 13:02:43 PST) NNTP-Posting-Date: Wed, 09 Jan 2002 13:02:43 PST Organization: EarthLink Inc. -- http://www.EarthLink.net X-Received-Date: Wed, 09 Jan 2002 13:02:45 PST (newsmaster1.prod.itd.earthlink.net) Xref: archiver1.google.com comp.lang.ada:18707 Date: 2002-01-09T21:02:43+00:00 List-Id: Mark Lundquist wrote: > > "Thomas Wolf" wrote in message > news:MPG.16a629ebab6a7b63989682@news.ip-plus.net... > > Some comments on that Strawman 1.4 interface: > > > > 1. Generic formals > > ------------------ > > > > generic > > type Element is private; > > package Containers.Lists.Unbounded is > > > > I'd prefer > > > > generic > > type Element is private; > > with function "=" (Left, Right : Element) return Boolean is <>; > > package Containers.Lists.Unbounded is > > > > This allows users who have unconventional ideas of equality to provide > > their own routine, without requiring "normal" users to specify the > > equality function explicitly. > > Indeed it's a bug in Ada95 if the generic uses "=" without importing it > explicitly. Otherwise, an overridden "=" is not visible to the generic, and > predefined equality "reemerges". > > Don't know if that's been fixedin Ted's latest, it may have... I realize I've been away for a while and may not have seen some minor changes to the functionality, but "=" for Elements is not needed to implement a list. "=" is not used, so there's no need to specify it in the generic formal part. What would be better would be some way to specify that the generic uses assignment but not "=", but Ada does not provide that. -- Jeff Carter "Death awaits you all, with nasty, big, pointy teeth!" Monty Python & the Holy Grail