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.6 required=5.0 tests=BAYES_00,TO_NO_BRKTS_FROM_MSSP 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-10 08:13:34 PST Path: archiver1.google.com!news2.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!out.nntp.be!propagator-SanJose!in.nntp.be!newsranger.com!www.newsranger.com!not-for-mail Newsgroups: comp.lang.ada From: Ted Dennison References: <3BECA3B7.5020702@telepath.com> <9sjf4n$odm$1@news.huji.ac.il> Subject: Re: List container strawman 1.2 Message-ID: <3mcH7.20046$xS6.32571@www.newsranger.com> X-Abuse-Info: When contacting newsranger.com regarding abuse please X-Abuse-Info: forward the entire news article including headers or X-Abuse-Info: else we will not be able to process your request X-Complaints-To: abuse@newsranger.com NNTP-Posting-Date: Sat, 10 Nov 2001 11:12:47 EST Organization: http://www.newsranger.com Date: Sat, 10 Nov 2001 16:12:47 GMT Xref: archiver1.google.com comp.lang.ada:16219 Date: 2001-11-10T16:12:47+00:00 List-Id: In article <9sjf4n$odm$1@news.huji.ac.il>, Ehud Lamm says... > >If I am seeing correctly we are still stuck with the library level >instantiation bussiness. >I must say that it seems to me that I'd rather ditch the Controlled type, >and remove this obstacle. > >Don't others detest this as much as I do? Well, as I remember the discussion last time, to get rid of that you'd have to get rid of the functional notation (by making List limited). The general consensus seemed to be that this was undesirable. Also note that if we go to a "safe active iterator", which seems to be the direction the discussion is heading at the moment, then that would *also* require List to be Controlled. --- T.E.D. homepage - http://www.telepath.com/dennison/Ted/TED.html No trees were killed in the sending of this message. However a large number of electrons were terribly inconvenienced.