CVS difference for ais/ai-00239.txt
--- ais/ai-00239.txt 2004/07/27 23:00:48 1.5
+++ ais/ai-00239.txt 2004/11/14 06:36:55 1.6
@@ -1,4 +1,4 @@
-!standard 3.9.2 (18) 04-07-02 AI95-00239/03
+!standard 3.9.2 (18) 04-11-08 AI95-00239/04
!class binding interpretation 00-07-20
!status Amendment 200Y 04-07-02
!status ARG Approved 8-0-1 04-06-17
@@ -102,8 +102,8 @@
Certainly 3.9.2(15) and 3.9.2(16) do not apply to the default expression
Pkg1.Fa. 3.9.2(18) does not apply, either, as Pkg1.Fa is a dispatching
operation of type T1, while the enclosing call is a dispatching operation on
-type T2. Thus, the tag of Pkg1.Fa is static determined to be T1. Similarly, the
-tag of the enclosing call is statically determined to be T2.
+type T2. Thus, the tag of Pkg1.Fa is statically determined to be T1.
+Similarly, the tag of the enclosing call is statically determined to be T2.
AARM 3.9(1.g) notes that there is a general principle that the subprograms
called for a statically tagged call are the same as those that would be
Questions? Ask the ACAA Technical Agent