CVS difference for ai05s/ai05-0133-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai05s/ai05-0133-1.txt

--- ai05s/ai05-0133-1.txt	2009/01/25 03:57:41	1.1
+++ ai05s/ai05-0133-1.txt	2009/03/10 04:11:31	1.2
@@ -1,5 +1,6 @@
-!standard 8.6(17)                                          09-01-24    AI05-0133-1/01
+!standard 8.6(17)                                          09-03-09    AI05-0133-1/02
 !class ramification 09-01-24
+!status ARG Approved  8-0-1  09-02-21
 !status work item 09-01-24
 !status received 08-12-22
 !priority Low
@@ -51,7 +52,7 @@
     Obj     : aliased Child;
     My_Rec2 : Rec2 (Obj'Access);
 
-So how could Obj'Access be legal for the component Z?
+So how could Obj'Access be legal for the component Z? (See discussion.)
 
 !recommendation
 
@@ -68,7 +69,7 @@
 The questioner is confusing the static and dynamic semantics of the code. In
 particular, the meaning of Root'Access in the declaration of component Z
 is resolved when the type Root is declared. It is determined at that time
-to an an access to the enclosing object, and the types are correct.
+to be an access to the enclosing object, and the types are correct.
 
 When the type Child is declared, type resolution is performed on the new
 components, but the meaning of the parent type is unchanged. If that wasn't
@@ -113,7 +114,7 @@
 problem with the creation of such an access (all objects of type Child have
 a Root portion).
 
-It is merely a curiousity that while it is obvious that Obj.Z.D has the value
+It is merely a curiosity that while it is obvious that Obj.Z.D has the value
 of Obj.Access, you cannot compare those directly. (You could write
 Obj.Z.D = Root'Class (Obj)'access to compare these values.)
 

Questions? Ask the ACAA Technical Agent