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

Differences between 1.4 and version 1.5
Log of other versions for file ai22s/ai22-0031-1.txt

--- ai22s/ai22-0031-1.txt	2022/02/05 05:28:19	1.4
+++ ai22s/ai22-0031-1.txt	2022/09/07 04:24:46	1.5
@@ -1,4 +1,4 @@
-!standard 4.3.5(44/5)                                    22-02-03  AI22-0031-1/03
+!standard 4.3.5(44/5)                                    22-09-06  AI22-0031-1/04
 !standard 4.3.5(46/5)
 !standard 4.3.5(53/5)
 !class binding interpretation 22-01-26
@@ -62,7 +62,7 @@
   a subprogram call as defined in 6.4, with parameter associations as
   specified in the wording evaluated as defined 6.4.1. Redundant:[In 
   particular, this means that the parameters are converted to the subtype of
-  the formal parameter (which might raise an exception -- see 4.6).]
+  the formal parameter (which can raise an exception -- see 4.6).]
 
 (2) Modify 4.3.5(44/5):
 
@@ -106,7 +106,7 @@
 
 (2) Since Add_Indexed has an explicit index parameter, the order of the calls
 does not matter. Indeed, if the underlying container allowed it, they could be
-made in parallel (a capability not yet supported in Ada 2022). The only 
+made in parallel (a capability not supported in Ada 2022). The only 
 requirement is that the index be increasing for each expression. We add
 "of the aggregate" to the wording to try to clarify that the index value isn't
 related to the order in which the calls are made, just to the order of the
@@ -177,7 +177,7 @@
 a subprogram call as defined in 6.4, with parameter associations as
 specified in the wording evaluated as defined 6.4.1. Redundant:[In 
 particular, this means that the parameters are converted to the subtype of
-the formal parameter (which might raise an exception -- see 4.6).]
+the formal parameter (which can raise an exception -- see 4.6).]
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent