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

Differences between 1.16 and version 1.17
Log of other versions for file ai12s/ai12-0242-1.txt

--- ai12s/ai12-0242-1.txt	2019/01/16 01:11:26	1.16
+++ ai12s/ai12-0242-1.txt	2019/01/18 06:25:07	1.17
@@ -1,4 +1,4 @@
-!standard 4.5.9 (0)                                19-01-15    AI12-0242-1/09
+!standard 4.5.10 (0)                                19-01-17    AI12-0242-1/11
 !class Amendment 14-06-20
 !status Amendment 1-2012 19-01-15
 !status ARG Approved 12-0-0  19-01-14
@@ -80,14 +80,22 @@
 consists of a name that denotes a function, it is interpreted as a 
 parameterless function_call. 
 
-[Modifications to new subclause 4.5.9 added by AI12-0262-1]
+[Modifications to new subclause 4.5.10 added by AI12-0262-1]
 
-Modify Syntax of 4.5.9:
+Modify the introduction to 4.5.10:
 
+Reduction expressions provide a way to map or transform a collection of
+values into a new set of values, and then summarize the values produced by
+applying an operation to reduce the set to a single value result.
+A reduction expression is represented as an attribute_reference of the 
+reduction attribute{s} Reduce {or Parallel_Reduce}.
+
+Modify Syntax of 4.5.10:
+
 reduction_attribute_reference ::= value_generator'reduction_attribute_designator
                                 {| prefix'reduction_attribute_designator}
 
-Modify AARM Reason in Legality Rules of 4.5.9:
+Modify AARM Reason in Legality Rules of 4.5.10:
 
 AARM Reason:
 For a reduction_attribute_reference with a value_sequence that does not
@@ -97,14 +105,14 @@
 logical thread of control is presumed so there is no need to provide a
 way to combine multiple results.
 
-Add a Legality Rule to subclause 4.5.9:
+Add a Legality Rule to subclause 4.5.10:
 
 If the identifier of a reduction_attribute_designator is Parallel_Reduce
 then the combiner_name of the reduction_specification shall be specified if
 the subtypes of all the parameters of the /reduce_/subprogram denoted by
 the reduction_specification do not statically match.
 
-Add the following to the Static Semantics of subclause 4.5.9:
+Add the following to the Static Semantics of subclause 4.5.10:
 
 For a reduction_attribute_reference where the identifier of the
 reduction_attribute_designator is Parallel_Reduce, if the combiner_name
@@ -112,7 +120,7 @@
 implicitly denotes the combiner_subprogram.
 
 
-Add the following to the Dynamic Semantics of subclause 4.5.9:
+Add the following to the Dynamic Semantics of subclause 4.5.10:
 
 The following attributes are defined for a prefix X that is of an
 array type (after any implicit dereference), or denotes an /iterable container
@@ -132,7 +140,7 @@
    value_generator:
    [parallel for Item of X => Item]
 
-Modify the second AARM Implementation Note in Dynamic Semantics of 4.5.9:
+Modify the second AARM Implementation Note in Dynamic Semantics of 4.5.10:
 AARM Implementation Note:
 For a reduction_attribute_reference that has a value_sequence without the 
 parallel keyword {or a prefix where the identifier of the 
@@ -144,7 +152,7 @@
 match, since there is no subprogram identified in the construct that could be
 used for combining the results in parallel.
 
-Add the following to the Examples of subclause 4.5.9:
+Add the following to the Examples of subclause 4.5.10:
 
   --  Calculate the sum of elements of an array of integers
 

Questions? Ask the ACAA Technical Agent