CVS difference for ai05s/ai05-0025-1.txt

--- ai05s/ai05-0025-1.txt	2006/11/13 08:36:01	1.1
+++ ai05s/ai05-0025-1.txt	2006/12/16 03:13:19	1.2
@@ -1,11 +1,12 @@
-!standard 12.7(3.2/2)                                   06-11-13    AI05-0025-1/01
+!standard 12.7(4/2)                                       06-12-13    AI05-0025-1/02
 !class binding interpretation 06-11-13
+!status ARG Approved  10-0-2  06-11-18
 !status work item 06-11-13
 !status received 06-11-03
 !priority Medium
 !difficulty Easy
 !qualifier Omission
-!subject Missing rules in 12.7
+!subject Missing legality rules for formal_package_association
 !summary
 
 Formal package parts have similar restrictions to generic instances.
@@ -46,16 +47,35 @@
 
 !wording
 
-TBD.
+Add after 12.7(4):
 
-!discussion
+The generic_formal_parameter_selector_name of a formal_package_association shall
+denote a generic_formal_parameter_declaration of the template. If two or more
+formal subprograms of the template have the same defining name, then named
+associations are not allowed for the corresponding actuals.
 
-Actually, all of the rules on formal parameter naming in a formal package part are
-missing. We also need rules to prevent doubling, giving off non-existent parameters,
-and the like.
+[Note that this insertion will change the number of paragraph 12.7(4.1/2) to
+12.7(4.2/3).]
 
---!corrigendum A.18.2(239/2)
+!discussion
 
+Several of the rules on formal parameter naming in a formal package part are
+missing. We also need a rule to prevent naming non-existent parameters. 
+12.7(4.1/2) covers duplicated parameter association, and 12.7(3.2/2) covers
+named before positional.
+
+!corrigendum 12.7(4)
+
+@dinsa
+The @i<generic_package_>@fa<name> shall denote a generic package (the
+@i<template> for the formal package); the formal package is an instance of
+the template.
+@dinst
+The @i<generic_formal_parameter_>@fa<selector_name> of a
+@fa<formal_package_association> shall denote a
+@fa<generic_formal_parameter_declaration> of the template. If two or more
+formal subprograms of the template have the same defining name, then named
+associations are not allowed for the corresponding actuals.
 
 !ACATS test