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

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

--- ai22s/ai22-0006-1.txt	2021/11/12 06:18:29	1.1
+++ ai22s/ai22-0006-1.txt	2021/11/19 07:42:35	1.2
@@ -1,7 +1,8 @@
-!standard 4.3.3(20.3/5)                                    21-11-11  AI22-0006-1/01
+!standard 4.3.3(20.3/5)                                    21-11-18  AI22-0006-1/02
 !standard 4.3.3(20.4/5)
 !standard 4.3.3(32/5)
 !class binding interpretation 21-11-11
+!status ARG Approved 12-0-0  21-11-18
 !status work item 21-11-11
 !status received 21-11-11
 !priority Medium
@@ -38,7 +39,7 @@
 Evaluation of filters is required in the first pass and the two resulting
 element counts are checked for equality (as opposed to only checking that
 the first count is at least as large as the second). Strictly speaking,
-this is an incompatible change, but only with respect to an Ada2022 feature.
+this is an incompatible change, but only with respect to an Ada 2022 feature.
 
 !wording
 
@@ -83,11 +84,10 @@
       is evaluated, its value is converted to the component subtype of the
       array type, and used to define the value of the next component of the
       array starting at the low bound and proceeding sequentially toward the
-      high bound. A check is made that the second iteration results in the
-      same number of elements as the first iteration; Constraint_Error is
-      raised if this check fails. This check is performed before accessing
-      the nonexistent (N+1)st element of the array object, where N is the
-      count computed in the first iteration.
+      high bound. As part of this second iteration, a check is made that it
+      results in the same number of elements as the first iteration;
+      Constraint_Error is raised if this check fails. This check is performed
+      before any attempt to access any nonexistent element of the array object.
 
 Modify 4.3.3(32/5) [Implementation Permissions]
 
@@ -152,7 +152,7 @@
 
 !ACATS test
 
-ACATS are needed for to check that the counts must match, and that
+ACATS C-Tests are needed to check that the counts must match, and that
 Constraint_Error is raised if they do not.
 
 !appendix

Questions? Ask the ACAA Technical Agent