CVS difference for ais/ai-00213.txt

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

--- ais/ai-00213.txt	1998/12/01 19:08:18	1.4
+++ ais/ai-00213.txt	1999/04/01 22:23:43	1.5
@@ -1,14 +1,14 @@
-!standard 12.7      (05)                              98-11-30  AI95-00213/02
+!standard 12.7      (05)                              99-04-01  AI95-00213/03
 !standard 12.7      (06)
 !class binding interpretation 98-11-30
+!status ARG Approved (with changes) 9-0-0  99-03-24
 !status work item 98-11-23
 !priority High
 !difficulty Medium
 !subject Formal object matching for formal packages.
 
+!summary
 
-!summary 98-11-30
-
 For a generic formal object of mode in, the rule in clause 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
@@ -17,7 +17,7 @@
 actual is also a formal parameter, the actual for that parameter is used,
 and so on.
 
-!question 98-11-30
+!question
 
 For a generic formal object of mode in, the rule in clause 12.7(6) defines
 a matching rule for actuals of generic formal packages. If the type of
@@ -71,21 +71,21 @@
 Pack.TC_Default_Count. Do these match by the rule of 12.7(6)? (Yes.)
 
 
-!recommendation 98-11-30
+!recommendation
 
-The intent of the standard is that actual objects are always used for the
-matching rule of 12.7(6). In addition, the intent is that formal objects used
-as actual parameters are ignored for the purposes of the matching rule of
-12.7(6).
+The intent of the standard is that actuals are always used for the matching
+rule of 12.7(6). In addition, the intent is that formals denote the associated
+actual for the purposes of the matching rule of 12.7(6).
 
-!wording 98-11-30
+!wording
 
-12.7(5) is augmented to say:
+Add this paragraph after 12.7(8):
 
-   For the purposes of matching, any actual parameter which is a formal object
-   is replaced by the formal object's actual expression (recursively).
+   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).
 
-!discussion 98-11-30
+!discussion
 
 The intent of the standard is that actual objects are always used for the
 matching rule of 12.7(6). In addition, the intent is that formal objects used
@@ -108,11 +108,8 @@
 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.
-
-Note that the wording change was made to 12.7(5). This has no effect on
-the rules of 12.7(7) and 12.7(8), but makes the wording easier to understand.
 
-!appendix 98-11-30
+!appendix
 
 From: 	Randy Brukardt
 Sent: 	Saturday, November 21, 1998 7:47 PM

Questions? Ask the ACAA Technical Agent