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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ae9506fd4dcf7090
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-10-24 02:24:29 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!news.tele.dk!small.news.tele.dk!newsgate.cistron.nl!transit.news.xs4all.nl!not-for-mail
From: Fraser Wilson <newsfraser@blancolioni.org>
Newsgroups: comp.lang.ada
Subject: Re: Concatenation and Characters
Date: 24 Oct 2002 11:25:24 +0200
Organization: XS4ALL Internet BV
Sender: fwilson@FWILSON
Message-ID: 
 <uhefc429n.fsf@FWILSON.i-did-not-set--mail-host-address--so-shoot-me>
References: <slrnaqb6p8.cq7.randhol+news@kiuk0152.chembio.ntnu.no>
 <44hp9.807$_u6.205@nwrddc01.gnilink.net> <3DA5AE5F.3030902@attbi.com>
 <3DB03EF1.EE771923@mmm.com> <ap15v2$i85$2@a1-hrz.uni-duisburg.de>
 <3DB43EB0.AAF4B38C@mmm.com> <3DB44B9C.80007@worldnet.att.net>
 <3DB466CB.7CE0BC59@mmm.com> <3DB4C9C4.1070003@worldnet.att.net>
 <wcc1y6ih6m1.fsf@shell01.TheWorld.com> <wcc7kgazc20.fsf@shell01.TheWorld.com>
 <gtocru0tt0min15d3830fduh12rp2sl6o6@4ax.com>
 <slrnarcpo7.pk.lutz@taranis.iks-jena.de>
 <bnqcruc2csbd4265ep3mrkh41kl81qr723@4ax.com>
 <7PAt9.4014$iV1.789@nwrddc02.gnilink.net>
NNTP-Posting-Host: a80-126-24-12.adsl.xs4all.nl
X-Trace: news1.xs4all.nl 1035451467 10915 80.126.24.12 (24 Oct 2002 09:24:27
 GMT)
X-Complaints-To: abuse@xs4all.nl
NNTP-Posting-Date: 24 Oct 2002 09:24:27 GMT
X-Newsreader: Gnus v5.7/Emacs 20.7
Xref: archiver1.google.com comp.lang.ada:30090
Date: 2002-10-24T09:24:27+00:00
List-Id: <comp.lang.ada>

"Frank J. Lhota" <NOSPAM.lhota.adarose@verizon.net> writes:

> Consider this:
> 
>     type Great_One is ( Jackie_Gleason );
> 
>     type S is array( Great_One range <> ) of Honeymooner;
> 
> What would S'Empty'First and S'Empty'Last return?

It's certainly (imho) a bit of a wart that you need at least two
elements in the A'Range'Base to make a zero-length array.  And it's
not clear that 'First and 'Last should be defined at all when 'Range
is empty, although it's certainly convenient sometimes.

Mind you, most of the time you can test for membership in 'Range
rather than comparing directly to 'Last or 'First.

Fraser.