CVS difference for ai22s/ai22-0005-1.txt

Differences between 1.2 and version 1.3
Log of other versions for file ai22s/ai22-0005-1.txt

--- ai22s/ai22-0005-1.txt	2021/11/13 07:58:42	1.2
+++ ai22s/ai22-0005-1.txt	2022/01/28 07:06:50	1.3
@@ -34,6 +34,55 @@
 
 ****************************************************************
 
+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
+places".
+
+****************************************************************
+
+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: Steve Baird [privately]
 Sent: Tuesday, August 24, 2021  7:20 PM
 

Questions? Ask the ACAA Technical Agent