CVS difference for ai12s/ai12-0212-1.txt

Differences between 1.28 and version 1.29
Log of other versions for file ai12s/ai12-0212-1.txt

--- ai12s/ai12-0212-1.txt	2019/04/03 06:12:43	1.28
+++ ai12s/ai12-0212-1.txt	2021/01/13 06:30:24	1.29
@@ -1,4 +1,4 @@
-!standard 4.3.5(0)                                  19-04-02  AI12-0212-1/13
+!standard 4.3.5(0)                                  21-01-12  AI12-0212-1/14
 !standard 1.1.4(12)
 !standard 1.1.4(13)
 !standard 2.1(15)
@@ -712,7 +712,7 @@
           * otherwise, with the loop parameter as the second parameter;
    * for a named_container_aggregate that is an indexed aggregate, the
      evaluation proceeds as above for the case of Add_Named, but with
-     the Assign_Indexed procedure being invoked in its stead; in the
+     the Assign_Indexed procedure being invoked instead of Add_Named; in the
      case of a container_element_association with a <> rather than an
      expression, the corresponding call on Assign_Indexed is not
      performed, leaving the component as it was upon return from
@@ -1473,7 +1473,7 @@
 @s8<@i<Dynamic Semantics>>
 
 The evaluation of a @fa<container_aggregate> starts by creating an anonymous
-object @i<A> of the expected type @i<T> initialized as follows:
+object @i<A> of the expected type @i<T>, initialized as follows:
 
 @xbullet<if the @fa<aggregate> is an indexed aggregate, from the result of a 
 call on the New_Indexed function; the actual parameters in this call
@@ -1562,7 +1562,7 @@
 
 @xbullet<for a @fa<named_container_aggregate> that is an indexed aggregate, 
 the evaluation proceeds as above for the case of Add_Named, but with
-the Assign_Indexed procedure being invoked in its stead; in the
+the Assign_Indexed procedure being invoked instead of Add_Named; in the
 case of a @fa<container_element_association> with a <@> rather than an
 @fa<expression>, the corresponding call on Assign_Indexed is not
 performed, leaving the component as it was upon return from the New_Indexed 
@@ -5290,5 +5290,31 @@
 Equivalent to Insert (Container, Last_Index (Container) + 1, New_Item, 1).
 
 And this needs to be inserted after A.18.2(175), with the spec after A.18.2(47/2).
+
+****************************************************************
+
+From the Editorial Review of Richard Wai (October 2020):
+
+4.3.5(31/5)
+
+"The evaluation of a container_aggregate starts by creating an 
+anonymous object A of the expected type T{,} initialized as follows:"
+
+4.3.5(50/5)
+
+The use of "in its stead" seams possibly too informal, and 
+perhaps wrong (is "instead" meant here?)
+
+I'd suggest "instead" in any case:
+
+"... the evaluation proceeds as above for the case of 
+Add_Named, but with the Assign_Indexed procedure being 
+invoked [in its stead](instead); ..."
+
+[Editor's reply: Just using "instead" without explaining "instead of what" is
+not helpful; I think that's the reason Tuck (?) used "in its stead". But the
+same issue occurs there. So I replaced this with "instead of Add_Named"; it's
+bit more wordy but not likely to be misinterepreted.]
+
 
 ****************************************************************

Questions? Ask the ACAA Technical Agent