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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,b41c04fc501479d6 X-Google-Attributes: gid103376,public From: "Randy Brukardt" Subject: Re: Lower bound of result of Ada.Strings.Unbounded.Slice Date: 2000/11/22 Message-ID: #1/1 X-Deja-AN: 696898487 References: <3A1B087B.D45A8751@acm.org> <8vfjr1$t85$1@nnrp1.deja.com> <3A1C4F45.26F41F0D@acm.org> X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3719.2500 X-Complaints-To: abuse@alpha.net X-Trace: homer.alpha.net 974942285 156.46.62.124 (Wed, 22 Nov 2000 19:18:05 CST) NNTP-Posting-Date: Wed, 22 Nov 2000 19:18:05 CST Newsgroups: comp.lang.ada Date: 2000-11-22T00:00:00+00:00 List-Id: Jeff Carter wrote in message <3A1C4F45.26F41F0D@acm.org>... >Robert Dewar wrote: >> Always look up existing AI's before submitting a new one :-) > >That would be easier if there were some way to search them without >downloading all of them. > >The only AI I could find that mentioned Unbounded.Slice is 128, which >contains a comment from Keith Thompson that he disagreed with Bob Duff >saying the lower bound should be 1, and that Robert Dewar also disagreed >with Bob Duff. Perhaps I don't know how to read an AI, but I saw nothing >to indicate that this was a binding interpretation (though I hope I'm >wrong). The AI itself is part of the corrigendum, but as you say, it has nothing to say about the lower bound of Slice. The correct AI to look at is AI-00238. It asks this exact question. You will note, however, that this is a work item AI which has not yet been considered by the full ARG. (It wasn't discussed at the recent meeting). The write-up is based on E-Mail discussion and aan existing implementation survey. The e-mail in the appendix is interesting; it is awful long for such a simple issue! Anyway, I think it wouldn't be too prudent to depend on any particular bounds from Slice until this issue is resolved. Randy Brukardt, ARG Editor