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

--- ai12s/ai12-0407-1.txt	2020/12/04 07:59:30	1.3
+++ ai12s/ai12-0407-1.txt	2020/12/11 22:22:26	1.4
@@ -1,4 +1,4 @@
-!standard 3.3(21)                                      20-12-03  AI12-0407-1/03
+!standard 3.3(21)                                      20-12-11  AI12-0407-1/04
 !standard 12.3(15)
 !standard 13.1(8/5)
 !standard 13.1(8.1/3)
@@ -20,7 +20,8 @@
 !standard H.4.1(5/5)
 !class Amendment 20-11-23
 !status Amendment 1-2012 20-11-23
-!status work item 20-11-23
+!status ARG Approved 15-0-0  20-12-09
+!!status work item 20-11-23
 !status received 20-11-23
 !priority Low
 !difficulty Easy
@@ -33,7 +34,7 @@
 (2) Language-defined aspects cannot be specified on renamings or generic 
 formal parameters unless they explicitly allow those uses.
 
-(3) Aspect No_Controlled_Parts is a representation aspect that looks through
+(3) Aspect No_Controlled_Parts is an operational aspect that looks through
 privacy.
 
 (4) Aspect_definitions are frozen at the freezing point of the entity if
@@ -80,7 +81,7 @@
 after something is used.
 
 (5) There is no definition of "type-related aspect" and "subtype-related
-aspect" in the RM. There is To Be Honest note that claims to do that, but
+aspect" in the RM. There is a To Be Honest note that claims to do that, but
 it depends on a definition for representation items (and later, operational
 items). Aspects that do not have a representation item or an operation item
 are not normatively classified at all. Given that we have included
@@ -88,8 +89,9 @@
 
 (6) 12.3(15) says that the properties of a generic formal parameter in an 
 instance are exactly the same as those of the actual. We allow adding
-additional Pre and Post assertions to generic formal subprograms, but there
-is no allowance for this difference in 12.3(15).
+Pre and Post assertions to generic formal subprograms (which are then added 
+to those of the actual), but there is no allowance for this difference 
+in 12.3(15).
 
 (7) The list of variable objects in 3.3 (created by AI12-0392-1 as the inverse
 of the previous list) does not mention the current instance of a type. That 
@@ -147,10 +149,6 @@
 
 !wording
 
-[Editor's note: These changes were applied to Draft 27 of the Ada 202x RM, 
-even though they have not yet been approved, in order that that draft be as
-accurate as possible.]
-
 Replace the deleted 3.3(21) with:
 
    * the current instance of a type other than a protected type@Redundant[, 
@@ -167,7 +165,7 @@
 In an instance, a generic_formal_parameter_declaration declares a view 
 whose properties are identical to those of the actual, except {when}[as]
 specified {otherwise (in particular, see 6.1.1, "Preconditions and Postconditions",}
-[in] 12.4, "Formal Objects"{,} and 12.6, "Formal Subprograms". Similarly, for a 
+[in] 12.4, "Formal Objects"{,} and 12.6, "Formal Subprograms"). Similarly, for a 
 declaration within a generic_formal_parameter_declaration, the 
 corresponding declaration in an instance declares a view whose properties
 are identical to the corresponding declaration within the declaration of