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-13 14:04:27 PST Path: archiver1.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> <3mcH7.20046$xS6.32571@www.newsranger.com> <3BEDA7FD.3C10C222@acm.org> Subject: Re: List container strawman 1.2 Message-ID: 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: Tue, 13 Nov 2001 17:04:23 EST Organization: http://www.newsranger.com Date: Tue, 13 Nov 2001 22:04:23 GMT Xref: archiver1.google.com comp.lang.ada:16464 Date: 2001-11-13T22:04:23+00:00 List-Id: In article , Simon Wright says... > >Ted Dennison writes: >> If finalization is too uncertian to be verifiable, would any heap >> operation at all also be in the same boat? > >I believe so (SPARK 95 _may_ eventually allow heap operation, but I >don't think it does now. I'm not an expert). Then any unbounded structure is going to be unusable in that environement anyway, so its not really an issue (at least not until we start discussing the bounded structure, for which a case could be made for not using safe pointers anyway). --- 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.