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-Thread: 103376,db88d0444fafe8eb
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news.glorb.com!news.germany.com!newsfeed.arcor.de!news.arcor.de!not-for-mail
Date: Tue, 06 Sep 2005 11:26:30 +0200
From: Georg Bauhaus <bauhaus@futureapps.de>
Organization: future apps GmbH
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
 rv:1.7.8) Gecko/20050718 Debian/1.7.8-1sarge1
X-Accept-Language: en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Surprise in array concatenation
References: <1125610942.747981.280770@f14g2000cwb.googlegroups.com>
 <Qf2dnUIZUaeLGoreRVn-2g@comcast.com> <wccoe77nq3l.fsf@shell01.TheWorld.com>
In-Reply-To: <wccoe77nq3l.fsf@shell01.TheWorld.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <431d6095$0$24157$9b4e6d93@newsread4.arcor-online.net>
NNTP-Posting-Date: 06 Sep 2005 11:25:41 MEST
NNTP-Posting-Host: 49b46678.newsread4.arcor-online.net
X-Trace: 
 DXC=jbNngV;1\>O^a1SS:=Ik]J:ejgIfPPldDjW\KbG]kaMHea\9g\;7NmE0Hehale2TKJUUng9_FXZ=C>:=P9Ihe`BH@Z?dZ]MOidE
X-Complaints-To: abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:4468
Date: 2005-09-06T11:25:41+02:00
List-Id: <comp.lang.ada>

Robert A Duff wrote:

> Slices should slide to the lower bound.  The Ada rule breaks
> abstraction:

I had thought that 'First and 'Last etc. are there just for
building an abstraction, not to break one. It might well be
that using 'First etc breaks people's habits or doesn't meet their
assumptions (rather concrete assumptions about string bounds?).
But how does it break the abstraction called String?