CVS difference for ais/ai-00213.txt

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

--- ais/ai-00213.txt	1999/06/22 01:44:38	1.7
+++ ais/ai-00213.txt	1999/07/28 00:08:45	1.8
@@ -1,6 +1,7 @@
-!standard 12.7      (05)                              99-06-12  AI95-00213/03
+!standard 12.7      (05)                              99-07-27  AI95-00213/04
 !standard 12.7      (06)
 !class binding interpretation 98-11-30
+!status Corrigendum 2000 99-07-27
 !status WG9 approved 99-06-12
 !status ARG Approved (with changes) 9-0-0  99-03-24
 !status work item 98-11-23
@@ -107,6 +108,20 @@
 which formal objects are eliminated could be considered (only local objects,
 only a single object, etc.) but these do not make the language easier to
 implement, just more confusing for the user.
+
+!corrigendum 12.7(8)
+
+@dinsa
+@xbullet<For other kinds of formals, the actuals match if they statically
+denote the same entity.>
+@dinst
+For the purposes of matching, any actual parameter which is the name of a
+formal object is replaced by the formal object's actual expression
+(recursively).
+
+!ACATS test
+
+ACATS test CC50A01 prompted the AI, and tests this rule.
 
 !appendix
 

Questions? Ask the ACAA Technical Agent