Re: Reduction expressions

[Simon Wright <simon@pushface.org>]

"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.