CVS difference for ais/ai-00043.txt

Differences between 1.4 and version 1.5
Log of other versions for file ais/ai-00043.txt

--- ais/ai-00043.txt	1999/08/31 22:53:53	1.4
+++ ais/ai-00043.txt	1999/10/08 23:41:05	1.5
@@ -1,4 +1,4 @@
-!standard 12.05    (08)                               99-08-31  AI95-00043/03
+!standard 12.05    (08)                               99-10-08  AI95-00043/04
 !class binding interpretation 95-06-25
 !status Corrigendum 2000 99-07-28
 !status WG9 approved 95-06-14
@@ -87,14 +87,14 @@
 The formal type also belongs to each class that contains the determined class.
 The primitive subprograms of the type are as for any type in the determined
 class. For a formal type other than a formal derived type, these are the
-predefined operators of the type; operators that are visible at the place of
-declaration of the formal type are implicitly declared immediately after the
-declaration of the formal type. Other operators may become visible later, in
-which case they are declared at a place determined according to the rules of
-7.3.1. In an instance, the copy of such an implicit declaration declares a view
-of the predefined operator of the actual type, even if this operator has been
-overridden for the actual type. The rules specific to formal derived types are
-given in 12.5.1.
+predefined operators of the type. For an elementary formal type, the predefined
+operations are implicitly declared immediately after the declaration of the
+formal type. For a composite formal type, the predefined operations are
+implicitly declared either immediately after the declaration of the formal type,
+or later in its immediate scope according to the rules of 7.3.1. In an instance,
+the copy of such an implicit declaration declares a view of the predefined
+operator of the actual type, even if this operator has been overridden for the
+actual type. The rules specific to formal derived types are given in 12.5.1.
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent