CVS difference for ai12s/ai12-0050-1.txt

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0050-1.txt

--- ai12s/ai12-0050-1.txt	2013/05/09 02:20:18	1.2
+++ ai12s/ai12-0050-1.txt	2013/07/18 00:47:50	1.3
@@ -1,4 +1,5 @@
-!standard 6.3.1(21)                                 13-05-08    AI12-0050-1/02
+!standard 6.3.1(20)                                 13-06-16    AI12-0050-1/03
+!standard 6.3.1(21)
 !class binding interpretation 12-12-04
 !status work item 12-12-04
 !status received 12-08-29
@@ -37,26 +38,26 @@
 
 !wording
 
-Replace 6.3.1(21):
+Add after 6.3.1(20):
 
-   each direct_name, character_literal, and selector_name that is not
-   part of the prefix of an expanded name in one denotes the same
-   declaration as the corresponding direct_name, character_literal, or
-   selector_name in the other; and
+ * corresponding defining_identifiers occurring within the two expressions
+   shall be the same; and
 
-with
+Modify 6.3.1(21) as follows:
 
-   each direct_name, character_literal, and selector_name that is not
+ * each direct_name, character_literal, and selector_name that is not
    part of the prefix of an expanded name in one denotes the same
    declaration as the corresponding direct_name, character_literal, or
-   selector_name in the other, or they denote Redundant[syntactically]
-   corresponding declarations declared within the two expressions
-   Redundant[(for example, corresponding defining_identifiers of two
-   quantified_expressions)] and having the same identifier.
+   selector_name in the other{, or they denote corresponding declarations
+   occurring within the two expressions}; and
 
 !discussion
+
+We talk about corresponding declarations because of the possibility
+of iterator_specifications (and parameterized_array_component_specifications
+-- see AI12-0061-1) occurring within default expressions.
 
-We have to mention the identifiers being the same, so that
+We have to mention the defining identifiers being the same, so that
     (for all I1 in S'Range => (S (I1) /= '?')))
 does not fully conform with
     (for all I2 in S'Range => (S (I2) /= '?'))) is -- Legal??

Questions? Ask the ACAA Technical Agent