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

Differences between 1.22 and version 1.23
Log of other versions for file ai12s/ai12-0127-1.txt

--- ai12s/ai12-0127-1.txt	2018/04/27 02:29:17	1.22
+++ ai12s/ai12-0127-1.txt	2018/05/08 03:46:48	1.23
@@ -1,4 +1,4 @@
-!standard 4.3(2)                                    18-04-26    AI12-0127-1/15
+!standard 4.3(2)                                    18-05-07    AI12-0127-1/16
 !standard 4.3(3/2)
 !standard 4.3(4)
 !standard 4.3.1(9)
@@ -8,7 +8,7 @@
 !standard 4.3.1(17.1/2)
 !standard 4.3.3(4)
 !standard 4.3.3(14)
-!standard 4.3.3(17)
+!standard 4.3.3(17/5)
 !standard 4.3.4(0)
 !standard 7.5(2.6/2)
 !class Amendment 14-08-21
@@ -72,8 +72,9 @@
 
 !proposal
 
-(See wording.)
+A new syntactic form of aggregate, the delta_aggregate, is introduced.
 
+
 !wording
 
 Replace 4.3(2):
@@ -247,7 +248,7 @@
 
 AARM Ramification: The *base_*expression of a record_delta_aggregate may be of
 a limited type (for example a record with limited components), as it is not
-restricted. A rule in 4.3.1 ensures we do not assign to a limited component.
+restricted. A rule in 4.3.1 ensures that we do not assign to a limited component.
 We do not allow any part of an array_delta_aggregate to be of a limited type,
 even the *base_*expression, as this is a useless construct (you would not be
 able to update anything as the components necessarily are also limited except
@@ -255,7 +256,7 @@
 
 Dynamic Semantics
 
-The evaluation of a delta_aggregate begins with evaluating the
+The evaluation of a delta_aggregate begins with the evaluation of the
 *base*_expression of the delta_aggregate and using that value to create and
 initialize the anonymous object of the aggregate. The bounds of the anonymous
 object of an array_delta_aggregate and the discriminants and tag (if any) of
@@ -593,7 +594,7 @@
 
 @s8<@i<Dynamic Semantics>>
 
-The evaluation of a @fa<delta_aggregate> begins with evaluating the
+The evaluation of a @fa<delta_aggregate> begins with the evaluation of the
 @i<base_>@fa<expression> of the @fa<delta_aggregate> and using that value to
 create and initialize the anonymous object of the @fa<aggregate>. The bounds
 of the anonymous object of an @fa<array_delta_aggregate> and the discriminants

Questions? Ask the ACAA Technical Agent