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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Community Input for the Maintenance and Revision of the Ada
 Programming Language
Date: Mon, 2 Oct 2017 14:45:10 -0500
Organization: JSA Research & Innovation
Message-ID: <oqu507$vec$1@franka.jacob-sparre.dk>
References: <oludae$seh$1@franka.jacob-sparre.dk>
 <915874b5-52c0-4aa8-9023-82fddedb816f@googlegroups.com>
 <op6odj$elu$1@gioia.aioe.org>
 <d5f3c820-1e9c-4a7d-9e2b-1981647180e5@googlegroups.com>
 <e3074266-6ebc-4eab-b0de-7fc1a4b5c7c4@googlegroups.com>
 <67345f73-530c-400b-9eb4-63eeb440154c@googlegroups.com>
 <b21832af-972a-4746-b9b1-9ea4a48bd196@googlegroups.com>
 <op868s$s5i$1@gioia.aioe.org>
 <9a6338d9-83be-4e45-b8b7-edc56e33537f@googlegroups.com>
 <op8cgh$183k$1@gioia.aioe.org>
 <2deb28e2-f7e8-4461-b8b8-c2c6cf2784aa@googlegroups.com>
Injection-Date: Mon, 2 Oct 2017 19:45:11 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="32204"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: news.eternal-september.org comp.lang.ada:48287
Date: 2017-10-02T14:45:10-05:00
List-Id: <comp.lang.ada>

"Egil H H" <ehh.public@gmail.com> wrote in message 
news:2deb28e2-f7e8-4461-b8b8-c2c6cf2784aa@googlegroups.com...
> On Tuesday, September 12, 2017 at 12:22:12 PM UTC+2, Dmitry A. Kazakov 
> wrote:
>>
>> Yes, but they would be different. A more close example would be:
>>
>> type Bounded_String (Bound : Natural := Max) is record
>>     Length : Natural := 0;
>>     Text   : String (1..Bound);
>> end record;
>>
>
> Well, I don't have unlimited memory, so allocating Natural'Last number
> of Characters for all my strings is not an option for me, but I guess 
> YMMV.

This works fine on a properly implemented compiler (i.e. Janus/Ada). There 
is no reason that this record type shouldn't be required to work on all 
compilers, except sloth. (Yes, it would have to be disallowed in 
circumstances where no implicit heap operations are allowed, but that's no 
reason to deny that to everyone else.)

Pet peeve.

                     Randy.