CVS difference for ais/ai-00251.txt

Differences between 1.26 and version 1.27
Log of other versions for file ais/ai-00251.txt

--- ais/ai-00251.txt	2004/11/03 00:53:40	1.26
+++ ais/ai-00251.txt	2004/11/14 06:36:57	1.27
@@ -336,7 +336,7 @@
               type T2 is new P.T1 and P.Pkg.Ifc with null record;
               procedure Foo (X : T2); -- Foo #2
               X : T2;
-            end P2_Client;
+            end P_Client;
 
             with P_Client;
             package body P is
@@ -346,7 +346,7 @@
                  -- call Foo #2
               Pkg.Foo (Pkg.Ifc'Class (T1 (P_Client.X)));
                  -- call Foo #1
-            end P2;
+            end P;
 
 	If this example were legal (it is illegal because the completion of T1
 	is descended from an interface that the partial view is not descended
@@ -507,11 +507,11 @@
     are abstract, then all of the subprograms shall be fully conformant with
     one another.
 
-    All of these rules also apply to dispatching operations declared in the
-    visible part of an instance of a generic unit. However, they do not apply
-    to other overloadable declarations in an instance; such declarations may
-    have type conformant profiles in the instance, so long as the corresponding
-    declarations in the generic were not type conformant.
+    All of the above Legality Rules also apply to dispatching operations
+    declared in the visible part of an instance of a generic unit. However,
+    they do not apply to other overloadable declarations in an instance; such
+    declarations may have type conformant profiles in the instance, so long as
+    the corresponding declarations in the generic were not type conformant.
 
 
 12.5 Formal Types
@@ -1372,11 +1372,11 @@
 abstract, then all of the subprograms shall be fully conformant with one
 another.
 
-All of these rules also apply to dispatching operations declared in the visible
-part of an instance of a generic unit. However, they do not apply to other
-overloadable declarations in an instance; such declarations may have type
-conformant profiles in the instance, so long as the corresponding declarations
-in the generic were not type conformant.
+All of the above Legality Rules also apply to dispatching operations declared
+in the visible part of an instance of a generic unit. However, they do not
+apply to other overloadable declarations in an instance; such declarations may
+have type conformant profiles in the instance, so long as the corresponding
+declarations in the generic were not type conformant.
 
 !corrigendum 12.5(03)
 

Questions? Ask the ACAA Technical Agent