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

Differences between 1.5 and version 1.6
Log of other versions for file ai12s/ai12-0407-1.txt

--- ai12s/ai12-0407-1.txt	2021/02/25 01:34:48	1.5
+++ ai12s/ai12-0407-1.txt	2021/05/30 00:35:12	1.6
@@ -1,4 +1,4 @@
-!standard 3.3(21)                                      20-12-11  AI12-0407-1/04
+!standard 3.3(21)                                      21-05-22  AI12-0407-1/05
 !standard 12.3(15)
 !standard 13.1(8/5)
 !standard 13.1(8.1/3)
@@ -171,7 +171,7 @@
 are identical to the corresponding declaration within the declaration of 
 the actual. 
 
-  AARM Reason: We allow differences in particular for aspects that can be 
+  AARM Reason: In particular, we allow differences for aspects that can be 
   specified on generic formal parameters. For instance, Pre (see 6.1.1) 
   can be specified on generic formal subprograms to be added to the Pre 
   of the actual.
@@ -955,3 +955,20 @@
 
 The above seems like a good change.
 
+****************************************************************
+
+From WG 9 review issue #38
+
+12.3(5.n/5)
+
+"We allow differences{,} in particular{,} for aspects that can be specified 
+on generic formal parameters."
+
+[Editor's reply: It makes more sense to move the "in particular" to the front, 
+giving:
+
+   In particular, we allow differences for aspects that can be specified on 
+   generic formal parameters.
+
+This was treated as an Editorial Review change.]
+****************************************************************

Questions? Ask the ACAA Technical Agent