CVS difference for ais/ai-00213.txt

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

--- ais/ai-00213.txt	1998/11/30 21:15:43	1.3
+++ ais/ai-00213.txt	1998/12/01 19:08:18	1.4
@@ -1,4 +1,4 @@
-!standard 12.7      (05)                              98-11-30  AI95-00213/01
+!standard 12.7      (05)                              98-11-30  AI95-00213/02
 !standard 12.7      (06)
 !class binding interpretation 98-11-30
 !status work item 98-11-23
@@ -13,7 +13,9 @@
 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 (for another generic unit), the actual for that parameter
-is used for matching.
+is used for matching. The latter rule is applied recursively, so that if the
+actual is also a formal parameter, the actual for that parameter is used,
+and so on.
 
 !question 98-11-30
 
@@ -798,6 +800,24 @@
 is that the test in question was a 2.0.1 test - it wasn't even modified in
 version 2.1. So the support of this feature goes way back, which increases
 the likelyhood that some users are depending on it.
+
+*************************************************************
+
+From: 	Tucker Taft[SMTP:stt@INMET.COM]
+Sent: 	Monday, November 30, 1998 5:24 PM
+Subject: 	Re: Revised AI-213.
+
+> ...
+> 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
+> a formal parameter (for another generic unit), the actual for that parameter
+> is used for matching.
+
+This wording should probably be made recursive, so that any number
+of formal/actual associations are followed.
+
+-Tuck
 
 *************************************************************
 

Questions? Ask the ACAA Technical Agent