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-11 09:54:54 PST Newsgroups: comp.lang.ada Path: archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!news.tele.dk!small.news.tele.dk!144.212.100.101!newsfeed.mathworks.com!news.mathworks.com!uunet!nyc.uu.net!ash.uu.net!xyzzy!nntp From: Jeffrey Carter Subject: Re: list strawman X-Nntp-Posting-Host: e246420.msc.az.boeing.com Content-Type: text/plain; charset=us-ascii Message-ID: <3C3F2323.F5D52DBF@boeing.com> Sender: nntp@news.boeing.com (Boeing NNTP News Access) Content-Transfer-Encoding: 7bit Organization: The Boeing Company X-Accept-Language: en References: <6i%_7.8890$fG.50588@rwcrnsc51.ops.asp.att.net> <3C3CAFEC.D24955EC@acm.org> Mime-Version: 1.0 Date: Fri, 11 Jan 2002 17:38:43 GMT X-Mailer: Mozilla 4.73 [en]C-CCK-MCD Boeing Kit (WinNT; U) Xref: archiver1.google.com comp.lang.ada:18785 Date: 2002-01-11T17:38:43+00:00 List-Id: Thomas Wolf wrote: > > jrcarter@acm.org wrote: > > 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. > > Yes, element equality is need to implement list equality. Ah, yes, I forgot that the list type is not limited. Sorry. While I can live with this, it seems like a mistake to me, since list assignment and equality comparison are not common operations in my experience, and can be implemented easily and with no loss of efficiency by the client in the few cases where they are needed. -- Jeffrey Carter