Re: Reduction expressions

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