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!mx02.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Bounded String question
Date: Thu, 12 Nov 2015 11:39:22 -0700
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <n22m8h$92u$1@dont-email.me>
References: <7ba56b33-28d4-42d2-8b9b-5ad9f5beab8b@googlegroups.com>
 <87io597447.fsf@theworld.com>
 <66278720-249a-4191-a908-bb840e7f3ccc@googlegroups.com>
 <faede672-7158-4c24-9647-8bd6f0cb5742@googlegroups.com>
 <n1vtm0$db7$1@dont-email.me>
 <d3958370-a3c5-4aac-9abf-bc9ddc873494@googlegroups.com>
 <n20947$v1d$2@dont-email.me>
 <272d6ba6-869f-427d-9395-51dd1d480a3c@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 12 Nov 2015 18:37:06 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="caa759af2a9c666aec02942f6fe5abd6";
	logging-data="9310"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+gYZkTNgvy8mO2IOuh8cc2pcb7FeXrVW4="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.3.0
In-Reply-To: <272d6ba6-869f-427d-9395-51dd1d480a3c@googlegroups.com>
X-Mozilla-News-Host: news://freenews.netfront.net
Cancel-Lock: sha1:ZrbVVFEfHnvzg8bKiz1vhJ0G9x0=
Xref: news.eternal-september.org comp.lang.ada:28327
Date: 2015-11-12T11:39:22-07:00
List-Id: <comp.lang.ada>

On 11/12/2015 09:59 AM, Serge Robyns wrote:
> 
> From your post, I do understand you are an authority when it comes to
> language rules.  Am I so mistaken to hope that today's compilers could be
> smarter in preelaboration besides plain strings and scalars?  Is this
> something that could be looked at in the next Ada revision?

I'm not nearly as much of an authority as Bob Duff, who has commented on this
thread, or the other ARG members ("language lawyers" in common parlance) who
post here. The ARM tries to not limit implementation approaches and to stick to
things that compiler writers know how to do. The latter tends to grow with time,
so one can always hope for the list of pre-elaborable constructs to grow.
However, Null_Bounded_String is a deferred constant of a private type, so I
wouldn't hold my breath.

-- 
Jeff Carter
"Sons of a silly person."
Monty Python & the Holy Grail
02