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,1116ece181be1aea
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-10-02 00:20:04 PST
Path: 
 archiver1.google.com!news2.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.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: Is the Writing on the Wall for Ada?
Date: Thu, 02 Oct 2003 09:29:00 +0200
Message-ID: <5mknnv4u96qqudrt4bd8n4t1cljp2fjlp8@4ax.com>
References: <3F739C1D.4030907@attbi.com> <uoex8i8i9.fsf@earthlink.net>
 <na5fnvcqjdvjbutt1s7hu9mhqadjk4jemb@4ax.com> <3F78E850.8010401@comcast.net>
 <slrnbniahu.g9.randhol+valid_for_reply_from_news@kiuk0152.chembio.ntnu.no>
 <3F797748.3000203@noplace.com> <834clb.uan1.ln@skymaster>
 <3F79EF18.7060600@comcast.net>
 <slrnbnjv9h.f3.randhol+valid_for_reply_from_news@kiuk0152.chembio.ntnu.no>
 <Y1Aeb.10094$kD3.173@nwrdny03.gnilink.net> <3F7B1076.8060106@comcast.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: news.uni-berlin.de 1065079202 12605008 212.79.194.111 (16 [77047])
X-Newsreader: Forte Agent 1.8/32.548
Xref: archiver1.google.com comp.lang.ada:98
Date: 2003-10-02T09:29:00+02:00
List-Id: <comp.lang.ada>

On Wed, 01 Oct 2003 17:36:18 GMT, "Robert I. Eachus"
<rieachus@comcast.net> wrote:

>Frank J. Lhota wrote:
>
>> This approach would be easier to use, at the cost of some additional
>> constraints on the implementers. I know of no implementation of
>> Strings.Bounded, however, that could not easily be adapted to this scheme.
>
>But see my previous message.  Such a type is useless for ragged arrays. 
>  You can create ragged arrays in Ada using Bounded_String or 
>Unbounded_String, but doing so requires that there is no discriminant 
>for the outer type.

Which only means that there is a deficiency in array design. They have
to be allowed to have discriminants. Then:

type Ragged_Array (Max_Size : Positive) is
   array (Integer range <>) of
      Bounded_String (Max_Size);

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