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 01:41:17 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!fu-berlin.de!uni-berlin.de!tar-alcarin.cbb-automation.DE!not-for-mail
From: Dmitry A. Kazakov <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Concatenation and Characters
Date: Thu, 24 Oct 2002 10:41:15 +0200
Message-ID: <hdbfrugsp6u9helg6r4u8evo912l58ad3l@4ax.com>
References: <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: tar-alcarin.cbb-automation.de (212.79.194.111)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: fu-berlin.de 1035448875 30169584 212.79.194.111 (16 [77047])
X-Newsreader: Forte Agent 1.8/32.548
Xref: archiver1.google.com comp.lang.ada:30089
Date: 2002-10-24T10:41:15+02:00
List-Id: <comp.lang.ada>

On Wed, 23 Oct 2002 17:15:47 GMT, "Frank J. Lhota"
<NOSPAM.lhota.adarose@verizon.net> wrote:

>> Could we inroduce an attribute, say S'Empty, which for an array type
>> would give an empty array and for a discrete type an empty range?
>
>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?

Constraint_Error, I suppose. This is obviously a case when
X'First..X'Last /= X'Range. Even worse, if it could be possible to
declare Great_Nobody with no literals at all, even then, formally,
there could exist empty arrays!

---
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de