Version 1.5 of ai22s/ai22-0005-1.txt

Unformatted version of ai22s/ai22-0005-1.txt version 1.5
Other versions for file ai22s/ai22-0005-1.txt

!standard 6.6 (6)          21-11-11 AI22-0005-1/00
!class confirmation 21-11-11
!status received 21-11-11
!priority Low
!difficulty Easy
!qualifier Omission
!subject Editorial comments on AARM 2022
This AI serves as a holder for editorial comments on AARM-only annotations. This AI serves the same purpose as AI95-00114 did for Ada 2005, AI05-0005-1 did for Ada 2012, and AI12-0005-1 did for Ada 2022. Because the AARM has no official status as far as ISO is concerned, these will be considered low priority.
If a change cross-references this AI, find it in the Appendix below.

From: John Barnes
Sent: Tuesday, May 22, 2021 xx:xx PM

... [Placeholder for the moment.]


Editor's note (Nov 8, 2021): All of the items above this
marker have been included in the working version of the AARM.


From: Niklas Holsti
WG 9 Review issue #167 - May 21, 2021

In this "Ramification" [4.9(13.b) - Editor.], the last case, "when specifying
the value of a discriminant ...", is no longer exactly true, because a
nonstatic value is now allowed if the value has a static subtype that governs
the variant part, RM 4.3.1(17/5).


From: Randy Brukardt
WG 9 Review issue #167 - May 25, 2021

You are correct. Moreover, this note reads as if this is a complete list of 
places where static expressions are required. But there has been no
maintenance of this list in Ada 2005, Ada 2012, or Ada 202x, and it is almost
certainly missing some constructs. It would be better to reduce it to a few
interesting cases as examples, because no one is ever going to remember to
maintain a list like this, (Rather, the complete list should be in the index
as "static expression, required", but that's another can of worms at this late
date - trying to find all of the places would be a pain.)

Anyway, I replaced the entire note with:

The language requires a static expression in a number_declaration, a numeric 
type definition, certain representation items, and a number of other places.

If someone would like to develop a complete list of current places, I'd be 
happy to put index entries in for them all. In that case, I'd add to the above
" See 'static expression, required' in the index for a complete list of


From: Tucker Taft
WG 9 Review issue #167 - May 27, 2021

I would defer the new index entry to the next revision. I would change
"places" to "contexts" in your new wording.


From: Randy Brukardt
WG 9 Review issue #167 - May 27, 2021

I've marked this "deferred" so we remember to add the missing index entries.


From: Randy Brukardt
In part from issue #19 - September 2, 2022

The profiles defined all should be indexed like "profiles, Ravenscar"
(similarly to restrictions).


Questions? Ask the ACAA Technical Agent