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-02-17 07:16:02 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!newsfeed00.sul.t-online.de!t-online.de!newsfeed.r-kom.de!newsfeed.stueberl.de!newsfeed.vmunix.org!newsfeed2.easynews.net!easynews.net!news.cid.net!news.enyo.de!not-for-mail From: Florian Weimer Newsgroups: comp.lang.ada Subject: Re: list strawman Supersedes: <87sn80f8v0.fsf@deneb.enyo.de> Date: Sun, 17 Feb 2002 16:05:05 +0100 Organization: Enyo -- not your organization Message-ID: <87ofiof8ta.fsf@deneb.enyo.de> References: NNTP-Posting-Host: deneb.enyo.de Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: cygnus.enyo.de 1013958249 18820 212.9.189.171 (17 Feb 2002 15:04:09 GMT) X-Complaints-To: abuse@enyo.de NNTP-Posting-Date: 17 Feb 2002 15:04:09 GMT Cancel-Key: sha1:/97ORwzI8FB4eyM3hiCqG3N4Fog= Cancel-Lock: sha1:2dOCOw9hRaXaBdOVDSkYmD+b4Vc= Xref: archiver1.google.com comp.lang.ada:20093 Date: 2002-02-17T15:04:09+00:00 List-Id: Stephen Leake writes: > I've done a priliminary implementation of > http://www.telepath.com/dennison/Ted/Containers-Lists-Unbounded.ads.html > using SAL lists as the base. While working on test cases for a similar list implementation, I discovered that it isn't clear what should happen if one tries to insert the same list into itself using the iterator-based Insert procedure. The specification seems to allow it, but to me, it seems that this feature is not useful in practice and just adds unnecessary overhead.