CVS difference for ais/ai-00317.txt

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

--- ais/ai-00317.txt	2004/01/23 04:59:27	1.8
+++ ais/ai-00317.txt	2004/06/10 04:22:27	1.9
@@ -1,7 +1,8 @@
-!standard  12.07 (03)                                  03-12-03  AI95-00317/05
+!standard  12.07 (03)                                  04-06-07  AI95-00317/06
 !standard  12.07 (05)
 !standard  12.07 (10)
 !class amendment
+!status work item 04-06-07
 !status Amendment 200Y 03-10-23
 !status WG9 Approved 03-12-12
 !status ARG Approved 8-0-2  03-10-04
@@ -111,6 +112,12 @@
   of the primitive subprograms of the formal type are also included in
   the visible part of the formal package.
 
+  For the purposes of matching, if the actual instance is itself a
+  formal package, then its actual parameters are those specified
+  explicitly or implicitly in the formal package actual part, plus, for
+  those not specified, the copies of the formal parameters of the
+  template included in the visible part of the actual instance.
+
 !discussion
 
 This is intended to be a natural generalization of the two capabilities
@@ -269,6 +276,11 @@
 of the primitive subprograms of the formal type are also included in
 the visible part of the formal package.
 
+For the purposes of matching, if the actual instance is itself a
+formal package, then its actual parameters are those specified
+explicitly or implicitly in the formal package actual part, plus, for
+those not specified, the copies of the formal parameters of the
+template included in the visible part of the actual instance.
 
 !ACATS test
 
@@ -350,6 +362,52 @@
 
 Indeed it is! Thanks. I do search the AIs before posting, but on this
 case it seems I missed it for some reason. Sorry.
+
+****************************************************************
+
+From: Tucker Taft
+Semt: Monday, June 7, 2004  11:07 PM
+
+Here is an update to AI 317 [This is version /06 of the AI - ED] that
+includes the confirmation provided by AI-86 for the case when the actual
+instance is itself a formal package.  The only change was to add
+the following paragraph at the end of 12.7:
+
+   For the purposes of matching, if the actual instance is itself a
+   formal package, then its actual parameters are those specified
+   explicitly or implicitly in the formal package actual part, plus, for
+   those not specified, the copies of the formal parameters of the
+   template included in the visible part of the actual instance.
+
+That is admittedly quite a sentence. ;-)
+
+****************************************************************
+
+From: Randy Brukardt
+Semt: Wednesday, June 9, 2004  10:42 PM
+
+> Here is an update to AI 317 that includes the confirmation
+> provided by AI-86 for the case when the actual instance is
+> itself a formal package.  The only change was to add
+> the following paragraph at the end of 12.7:
+
+I think it would be unfortunate to lose the examples and
+discussion from AI-86 (which would happen as the AI would be
+deleted since it was folded into AI-317). They would make good
+ACATS tests, if nothing else. But since the problem is real and requires
+wording to fix, it would be useful to explain the problem and the fix.
+
+>    For the purposes of matching, if the actual instance is itself a
+>    formal package, then its actual parameters are those specified
+>    explicitly or implicitly in the formal package actual part, plus, for
+>    those not specified, the copies of the formal parameters of the
+>    template included in the visible part of the actual instance.
+>
+> That is admittedly quite a sentence. ;-)
+
+Sure is. I wonder what it means? :-) In particular, what's an "actual part"?
+There's no such term in the Standard's index. Do you mean "actual parameter
+list"? Or maybe you meant "formal_package_actual_part" (the syntactic entity).
 
 ****************************************************************
 

Questions? Ask the ACAA Technical Agent