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

Differences between 1.2 and version 1.3
Log of other versions for file ai05s/ai05-0025-1.txt

--- ai05s/ai05-0025-1.txt	2006/12/16 03:13:19	1.2
+++ ai05s/ai05-0025-1.txt	2007/05/26 01:43:59	1.3
@@ -1,4 +1,4 @@
-!standard 12.7(4/2)                                       06-12-13    AI05-0025-1/02
+!standard 12.7(4/2)                                       07-05-17    AI05-0025-1/03
 !class binding interpretation 06-11-13
 !status ARG Approved  10-0-2  06-11-18
 !status work item 06-11-13
@@ -7,6 +7,7 @@
 !difficulty Easy
 !qualifier Omission
 !subject Missing legality rules for formal_package_association
+
 !summary
 
 Formal package parts have similar restrictions to generic instances.
@@ -43,7 +44,7 @@
 
 !recommendation
 
-(See Summary.)
+(See summary.)
 
 !wording
 
@@ -59,10 +60,13 @@
 
 !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.
+The existing rules (12.3(9-10)) only apply in a generic_association. The
+Amendment adds some rules to cover selector_name => <>, namely 12.7(4.1/2)
+covers duplicated parameter associations, and 12.7(3.2/2) covers named
+before positional. But the two rules in 12.3(9) have no analog in 12.7,
+and surely we do not want to allow the naming of non-existent parameters,
+or overloaded selector_names. Thus rules for those two cases have been
+added.
 
 !corrigendum 12.7(4)
 

Questions? Ask the ACAA Technical Agent