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

--- ai05s/ai05-0200-1.txt	2011/03/17 06:32:31	1.4
+++ ai05s/ai05-0200-1.txt	2011/03/18 00:11:53	1.5
@@ -1,5 +1,6 @@
-!standard  12.7(4.1/2)                               11-03-15    AI05-0200-1/02
+!standard  12.7(4.1/2)                               11-03-17    AI05-0200-1/03
 !class binding interpretation 10-02-12
+!status ARG Approved  8-0-0  11-03-17
 !status work item 10-02-12
 !status received 09-09-24
 !priority Low
@@ -65,9 +66,9 @@
 The rules for matching between formal_package_associations and the generic
 formals of the template are as follows:
 
-If all of the formal_package_associations are given by generic associations, the
-set of generic_actual_parameters of the formal_package_associations shall be a
-legal set of actuals for an instantiation of the template.
+If all of the formal_package_associations are given by generic associations,
+the generic_actual_parameters of the formal_package_associations shall be legal
+for an instantiation of the template.
 
 If a formal_package_association for a formal type T of the template is given by
 <>, then the formal_package_association for any other generic_formal_parameter
@@ -247,5 +248,33 @@
 The second paragraph is given as an easy-to-follow rule for the programmer (an
 operational rule so to speak)  while the AARM note provides  an axiomatic rule
 about the legality of some equivalent instantiation.
+
+****************************************************************
+
+From: Bob Duff
+Sent: Thursday, March 17, 2011  1:35 PM
+
+Suggested wording for:
+
+AI05-0200-1, Mismatches in formal package declarations
+
+as discussed in today's phone meeting.  It currently says:
+
+If all of the formal_package_associations are given by generic associations, the
+set of generic_actual_parameters of the formal_package_associations shall be a
+legal set of actuals for an instantiation of the template.
+
+Change to:
+
+If all of the formal_package_associations are given by generic associations, the
+generic_actual_parameters of the formal_package_associations shall be legal for
+an instantiation of the template.
+
+****************************************************************
+
+From: Edmond Schonberg
+Sent: Thursday, March 17, 2011  1:35 PM
+
+Good. Shorter is better!
 
 ****************************************************************