CVS difference for 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  is a view of the
corresponding primitive subprogram of R1 .
@@ -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