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

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

--- ai12s/ai12-0373-1.txt	2020/04/21 23:35:29	1.6
+++ ai12s/ai12-0373-1.txt	2020/04/28 02:33:21	1.7
@@ -1,9 +1,10 @@
-!standard 3.1(1)                                     20-04-17  AI12-0373-1/04
+!standard 3.1(1)                                     20-04-26  AI12-0373-1/05
 !standard 4.2.1(3/5)
 !standard 4.2.1(4/5)
 !standard 4.2.1(5/5)
 !standard 4.9(17.3/5)
 !standard 6.1.1(41/5)
+!standard 8.5.4(4/3)
 !standard 13.1.1(4/3)
 !standard 13.1.1(11/3)
 !standard 13.14(3/5)
@@ -39,6 +40,8 @@
 
 (8) Aggregate is a nonoverridable aspect.
 
+(9) Remove the comma from 8.5.4(4/3).
+
 !problem
 
 (1) The definition of statically names excludes any discriminant-dependent
@@ -78,6 +81,10 @@
 (8) 4.3.5(12/5) says that Aggregate is a nonoverridable aspect, but the list in
 13.1.1(18.7/5) does not include Aggregate. One of these must be wrong.
 
+(9) 8.5.4(4/3) says "The profile of a renaming-as-declaration shall be mode 
+conformant, with that of the renamed callable entity." The comma here seems
+to be superfluous.
+
 !proposal
 
 (See Summary.)
@@ -147,6 +154,11 @@
   are created for the entity, with the normal evaluation of the postcondition
   expression, or both.
 
+Modify 8.5.4(4/3): [Item (9)]
+
+  The profile of a renaming-as-declaration shall be mode conformant[,] with 
+  that of the renamed callable entity. 
+
 Modify 13.1.1(4/3): [Item (2)]
 
   aspect_definition ::= name | expression | identifier{
@@ -242,6 +254,9 @@
 nonoverridable aspect; the omission from the list of 13.1.1(18.7/5) is likely
 an oversight. Thus we correct this.
 
+(9) The comma does not make sense in this sentence. This appears to have been
+an editing mistake when Ada 2012 removed various hyphens.
+
 !corrigendum 3.1(1)
 
 @drepl
@@ -323,6 +338,15 @@
 postcondition expression of an entity at the place where X'Old
 constants are created for the entity, with the normal evaluation of
 the postcondition expression, or both.
+
+!corrigendum 8.5.4(4/3)
+
+@drepl
+The profile of a renaming-as-declaration shall be mode conformant, with that 
+of the renamed callable entity. 
+@dby
+The profile of a renaming-as-declaration shall be mode conformant with that 
+of the renamed callable entity. 
 
 !corrigendum 13.1.1(4/3)
 

Questions? Ask the ACAA Technical Agent