CVS difference for ais/ai-00213.txt

Differences between 1.10 and version 1.11
Log of other versions for file ais/ai-00213.txt

--- ais/ai-00213.txt	1999/10/08 23:41:06	1.10
+++ ais/ai-00213.txt	2000/07/13 04:31:30	1.11
@@ -1,4 +1,4 @@
-!standard 12.7      (05)                              99-10-08  AI95-00213/05
+!standard 12.7      (05)                              00-07-12  AI95-00213/06
 !standard 12.7      (06)
 !class binding interpretation 98-11-30
 !status Corrigendum 2000 99-07-27
@@ -8,11 +8,11 @@
 !priority High
 !difficulty Medium
 !qualifier Error
-!subject Formal object matching for formal packages.
+!subject Formal object matching for formal packages
 
 !summary
 
-For a generic formal object of mode in, the rule in clause 12.7(6) is applied
+For a generic formal object of mode in, the rule in 12.7(6) is applied
 to the actual parameter of the actual instance, and the actual parameter for
 the formal package. If the actual parameter for the formal package is itself
 a formal parameter (of another generic unit), the actual for that parameter
@@ -20,7 +20,7 @@
 
 !question
 
-For a generic formal object of mode in, the rule in clause 12.7(6) defines
+For a generic formal object of mode in, the rule in 12.7(6) defines
 a matching rule for actuals of generic formal packages. If the type of
 such an object is a type which cannot have static expressions (such as a
 tagged type), can the actuals ever match? (Yes.)
@@ -67,8 +67,8 @@
   ...
 end Test;
 
-Note that Test_2.Default denotes a constant initialized by
-Pack.TC_Default_Count, while TC_Count_Test.TC_Default_Value denotes
+Note that Test_2.TC_Default_Value denotes a constant initialized by
+Pack.TC_Default_Count, while TC_Count_Test.Default denotes
 Pack.TC_Default_Count. Do these match by the rule of 12.7(6)? (Yes.)
 
 

Questions? Ask the ACAA Technical Agent