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,93ab7fc5388e249 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-12-05 07:11:24 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!news2.euro.net!newspeer.clara.net!news.clara.net!server3.netnews.ja.net!newshost.central.susx.ac.uk!news.bton.ac.uk!not-for-mail From: John English Newsgroups: comp.lang.ada Subject: Re: List container strawman 1.3 Date: Wed, 05 Dec 2001 13:22:41 +0000 Organization: University of Brighton Message-ID: <3C0E1FA1.45A38A75@brighton.ac.uk> References: NNTP-Posting-Host: pc2je.it.bton.ac.uk Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: saturn.bton.ac.uk 1007561500 16306 193.62.183.154 (5 Dec 2001 14:11:40 GMT) X-Complaints-To: news@bton.ac.uk NNTP-Posting-Date: 5 Dec 2001 14:11:40 GMT X-Mailer: Mozilla 4.7 [en-gb] (Win95; U) X-Accept-Language: en Xref: archiver1.google.com comp.lang.ada:17445 Date: 2001-12-05T14:11:40+00:00 List-Id: Ted Dennison wrote: > The other issue is that this version won't actually compile as-is under Gnat. > (!) Every routine with both List and Iterator types complains that it can't > dispatch on both types. Frankly, I'm not sure I want it dispatching at all. I'd > think that since the user's view at this point is simply a private type, then > these routines would not be created as tagged primitives. Why does the iterator type need to be controlled? What's your mental model of what an iterator consists of? Mine generally says that an iterator contains a couple of pointers to a list somewhere else, but that the iterators aren't responsible for deallocating that list... is this something caused by the safe iterator requirement perhaps? (Which I disagree with, incidentally... safe iterators can probably be built on top of unsafe ones, but starting with safe ones means a lot of possibly unnecessary overhead.) ----------------------------------------------------------------- John English | mailto:je@brighton.ac.uk Senior Lecturer | http://www.comp.it.bton.ac.uk/je Dept. of Computing | ** NON-PROFIT CD FOR CS STUDENTS ** University of Brighton | -- see http://burks.bton.ac.uk -----------------------------------------------------------------