CVS difference for ais/ai-00202.txt

Differences between 1.7 and version 1.8
Log of other versions for file ais/ai-00202.txt

--- ais/ai-00202.txt	1999/08/31 22:53:56	1.7
+++ ais/ai-00202.txt	2000/06/21 23:39:10	1.8
@@ -59,7 +59,7 @@
 
 In the instance I, the implicit declarations of S which operate on F2 and F3,
 respectively, are the corresponding primitive subprograms of the ancestor
-types of each type, as stated in RM95 12.5.1(21).  The ancestor type of F2 is
+types of each type, as stated in 12.5.1(21).  The ancestor type of F2 is
 R1, so the implicit declaration of S that operates on F2 [2] is a view of the
 corresponding primitive subprogram of R1 [1].
 
@@ -97,7 +97,7 @@
 type can lead to inconsistencies because the operations of an actual
 (untagged) type may not be subtype conformant with those of the formal type.
 
-This AI amends the rule of 12.5.1(21) to correct this problem.  The copies
+This issue amends the rule of 12.5.1(21) to correct this problem.  The copies
 of a formal derived type's operations in an instance are defined to be
 views of the corresponding copies of the primitive operations of the
 formal type's ancestor when the ancestor is a formal type, rather than
@@ -158,7 +158,7 @@
 ancestor is a formal type itself, whose operations may not be subtype
 conformant with those of a corresponding actual type in an instance.
 
-This AI fixes this problem by specifying that, in an instance, the
+We fix this problem by specifying that, in an instance, the
 implicit declaration of a primitive subprogram of a formal derived
 type with a formal ancestor declares a view of the corresponding
 copied operation of the ancestor.

Questions? Ask the ACAA Technical Agent