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

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

--- ai12s/ai12-0050-1.txt	2012/12/04 06:51:24	1.1
+++ ai12s/ai12-0050-1.txt	2013/05/09 02:20:18	1.2
@@ -1,4 +1,4 @@
-!standard 6.3.1(21)                                 12-12-04    AI12-0050-1/01
+!standard 6.3.1(21)                                 13-05-08    AI12-0050-1/02
 !class binding interpretation 12-12-04
 !status work item 12-12-04
 !status received 12-08-29
@@ -37,11 +37,26 @@
 
 !wording
 
-** TBD.
+Replace 6.3.1(21):
 
+   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
+
+with
+
+   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.
+
 !discussion
 
-We have to mention the names being the same, so that
+We have to mention the 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