CVS difference for 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