CVS difference for 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