CVS difference for ais/ai-00202.txt

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

--- ais/ai-00202.txt	2000/06/21 23:39:10	1.8
+++ ais/ai-00202.txt	2000/07/15 02:30:02	1.9
@@ -1,4 +1,4 @@
-!standard 12.05.01 (21)                               99-08-31  AI95-00202/04
+!standard 12.05.01 (21)                               00-07-13  AI95-00202/05
 !class binding interpretation 98-03-27
 !status Corrigendum 2000 99-07-28
 !status WG9 approved 99-06-12
@@ -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 issue amends the rule of 12.5.1(21) to correct this problem.  The copies
+The rule of 12.5.1(21) is amended 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
@@ -120,7 +120,7 @@
 
 !discussion
 
-Paragraph 12.5.1(21) defines the implicit operations that are declared
+12.5.1(21) defines the implicit operations that are declared
 for a formal derived type, as well as the meaning of the copies of those
 implicit operations declared within an instance.  The second sentence
 states:
@@ -140,7 +140,7 @@
 view defined in 12.5.1(21) denotes the corresponding primitive
 subprogram of the ancestor's actual type.
 
-As shown in the example of the !question section, this can result
+As shown in the example of the question section, this can result
 in inconsistent views of a formal type's primitive operations,
 since the formal view of a primitive may not be subtype conformant
 with the view in an instance.  For example, modes of parameters may
@@ -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.
 
-We fix this problem by specifying that, in an instance, the
+This problem is fixed 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