From mboxrd@z Thu Jan  1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Reduction expressions
Date: Tue, 20 Aug 2024 22:23:27 +0100
Organization: A noiseless patient Spider
Message-ID: <lyjzgaopm8.fsf@pushface.org>
References: <ly5xs4d2ft.fsf@pushface.org> <va149e$388rf$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Tue, 20 Aug 2024 23:23:29 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5d571a9e983cccb481f8db49c214031a";
	logging-data="3713512"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19/A+K4L/FYm6Dg9sPF/q4CukqEwR3Ytbg="
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:YgoYToEdRsZFMAbiUo4mrs7DqRk=
	sha1:QgaD+Ak8KgJxW7IA9C1X0Fk36kU=
Xref: news.eternal-september.org comp.lang.ada:66307
List-Id: <comp.lang.ada>

"Randy Brukardt" <randy@rrsoftware.com> writes:

> "Simon Wright" <simon@pushface.org> wrote in message 
> news:ly5xs4d2ft.fsf@pushface.org...
>> Are the Accum_Type & Value_Type (ARM 4.5.10(9/5)) of a reduction attribute
>> reference required to be definite?
>>
>> ARM 4.5.10(24/5) & (25.5) seem to imply so, which explains why GNAT
>> doesn't support e.g. String.
>
> Accum_Subtype (we changed the name since it is a subtype, not a type; 

Amazing how a person (I) can have used Ada for ~40 years and still be
hard put to it to describe the difference, at least in a case like this
one, where the ARG members clearly see meanings that leave me lukewarm
if not cold. Maybe "the heart of twilight"?

>           But I don't think String would do anything useful, 
> since the bounds are determined by the initial value.

String was just the simplest indefinite type for an example.

> BTW, this answer is essentially topic #1 of AI22-0011-1.

Thanks for the pointer.