Re: Reduction expressions

Liste des GroupesRevenir à cl ada 
Sujet : Re: Reduction expressions
De : simon (at) *nospam* pushface.org (Simon Wright)
Groupes : comp.lang.ada
Date : 20. Aug 2024, 23:23:27
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <lyjzgaopm8.fsf@pushface.org>
References : 1 2
User-Agent : Gnus/5.13 (Gnus v5.13)
"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.

Date Sujet#  Auteur
13 Aug 24 * Reduction expressions8Simon Wright
20 Aug 24 `* Re: Reduction expressions7Randy Brukardt
20 Aug 24  `* Re: Reduction expressions6Simon Wright
21 Aug 24   `* Re: Reduction expressions5Lawrence D'Oliveiro
21 Aug 24    +* Re: Reduction expressions2Keith Thompson
21 Aug 24    i`- Re: Reduction expressions1Lawrence D'Oliveiro
21 Aug 24    `* Re: Reduction expressions2Simon Wright
24 Aug 24     `- Re: Reduction expressions1Randy Brukardt

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal