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.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,db88d0444fafe8eb X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!newsfeed.gamma.ru!Gamma.RU!newsfeed.freenet.de!newsfeed.arcor.de!news.arcor.de!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Surprise in array concatenation Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.14.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <1125544603.561847.32140@g47g2000cwa.googlegroups.com> Date: Thu, 1 Sep 2005 09:55:04 +0200 Message-ID: <14muavojz308w.1ouv7xin79rqu$.dlg@40tude.net> NNTP-Posting-Date: 01 Sep 2005 09:52:02 MEST NNTP-Posting-Host: 5d46c7c8.newsread2.arcor-online.net X-Trace: DXC=^;5mTMhO\7]XNWN:n?D9BSA]\@WLLO>ILfT_WRXZ37ga[7Zn919Q4_`VjYB8=X\UUgbkT X-Complaints-To: abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:4359 Date: 2005-09-01T09:52:02+02:00 List-Id: On 31 Aug 2005 20:16:43 -0700, Gene wrote: > Nonetheless the rule seems silly: When a leading zero-length array is > catenated to another array the result takes on the starting index of > the _second_ operand. This doesn't make sense to me. Why not use the > starting index of the zero-length array? Because that might be ill-defined, I guess. A more interesting question is why Empty'First does not raise any exception. After all, there is no any lower bound of an empty index range. Provided, that empty arrays are all same, of course. If not, then another interesting question would appear: how to make an empty array with the lower bound Integer'First? -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de