CVS difference for ai12s/ai12-0400-1.txt
--- ai12s/ai12-0400-1.txt 2020/10/16 04:15:57 1.2
+++ ai12s/ai12-0400-1.txt 2020/10/22 23:59:00 1.3
@@ -1,4 +1,4 @@
-!standard A.18.2(8/5) 20-10-15 AI12-0400-1/02
+!standard A.18.2(8/5) 20-10-21 AI12-0400-1/03
!standard A.18.2(36/5)
!standard A.18.2(37/5)
!standard A.18.2(38/5)
@@ -26,6 +26,8 @@
!standard A.18.3(96/5)
!standard A.18.3(97.1/5)
!class binding interpretation 20-10-15
+!status Amendment 1-2012 20-10-21
+!status ARG Approved 13-0-0 20-10-21
!status work item 20-10-15
!status received 20-10-01
!priority Low
@@ -34,9 +36,9 @@
!subject Ambiguities associated with Vector Append and container aggregates
!summary
-We propose to change the name of the routine that appends a vector to be
+We change the name of the routine that appends a vector to be
Append_Vector to eliminate a new ambiguity that occurs in Ada 202x due to the
-overloading of Append now that Ada 202X allow vectors to have aggregates. For
+overloading of Append now that Ada 202x allow vectors to have aggregates. For
similar reasons, we change the name of a vector Insert and a vector
Prepend to be Insert_Vector and Prepend_Vector, respectively. Finally
we propose to drop the new Append_One routine in favor of having
@@ -44,9 +46,9 @@
having one with a defaulted Count of 1. We suggest a similar fix to
Doubly_Linked_Lists.
-We make this a Binding Interpretation to ease transition to Ada 202X.
+We make this a Binding Interpretation to ease transition to Ada 202x.
Any parts having to do with the Aggregate aspect only apply to the
-Ada 202X version of the standard, as this aspect is not defined in
+Ada 202x version of the standard, as this aspect is not defined in
prior versions.
!question
@@ -73,17 +75,17 @@
Eliminate the overloading of the vector x vector operations for Append,
Insert, and Prepend, by adding the suffix "_Vector" instead of
overloading. At the same time, we propose to eliminate the new
-Append_One routine which was created to match the requirement of the
+Append_One routine, which was created to match the requirement of the
Aggregate aspect for a two-parameter procedure to do appending. We
-eliminate the need for Append_One by changing the current Append which
-has three parameters, that last of which is defaulted, to be two
+eliminate the need for Append_One by changing the current Append, which
+has three parameters, the last of which is defaulted, to be two
separate overloadings, one taking two parameters and one taking three
(non-defaulted) parameters. We make a corresponding change to
Doubly_Linked_Lists.
We recommend making this a Binding Interpretation to ease transition to
-Ada 202X. Any parts having to do with the Aggregate aspect only apply to
-the Ada 202X version of the standard, as this aspect is not defined in
+Ada 202x. Any parts having to do with the Aggregate aspect only apply to
+the Ada 202x version of the standard, as this aspect is not defined in
prior versions.
!wording
@@ -262,7 +264,7 @@
Below we suggest that the ACATS test for Ada 2012 shift to using these
"_Vector" versions, but not try to ensure that the old versions are
removed, as some implementors may choose to keep them for existing
-customers who do not intend to move to Ada 202X in the near term.
+customers who do not intend to move to Ada 202x in the near term.
Append_One was added as part of AI12-0212-1 to support the Aggregate
aspect requirement for a two-parameter version of Append element, but as
@@ -276,7 +278,7 @@
No ASIS effect.
-!ACATS
+!ACATS test
We should not force Ada 2012 implementations to remove the old Append
vector x vector, even though this AI effectively deletes it. Therefore,
Questions? Ask the ACAA Technical Agent