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

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

--- ai12s/ai12-0050-1.txt	2013/07/18 00:47:50	1.3
+++ ai12s/ai12-0050-1.txt	2013/07/18 01:10:40	1.4
@@ -1,6 +1,8 @@
-!standard 6.3.1(20)                                 13-06-16    AI12-0050-1/03
+!standard 6.3.1(20)                                 13-07-17    AI12-0050-1/04
 !standard 6.3.1(21)
 !class binding interpretation 12-12-04
+!status Amendment 202x 13-07-17
+!status ARG Approved 7-0-0  13-06-16
 !status work item 12-12-04
 !status received 12-08-29
 !priority Low
@@ -41,7 +43,7 @@
 Add after 6.3.1(20):
 
  * corresponding defining_identifiers occurring within the two expressions
-   shall be the same; and
+   are the same; and
 
 Modify 6.3.1(21) as follows:
 
@@ -60,7 +62,36 @@
 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??
+    (for all I2 in S'Range => (S (I2) /= '?'))) is -- Legal?? (No.)
+
+!corrigendum 6.3.1(20)
+
+@dinsa
+@xbullet<each constituent construct of one corresponds to an instance of the
+same syntactic category in the other, except that an expanded name may
+correspond to a @fa<direct_name> (or @fa<character_literal>) or to a different
+expanded name in the other; and>
+@dinst
+@xbullet<corresponding @fa<defining_identifier>s occurring within the two
+expressions are the same; and>
+
+!corrigendum 6.3.1(21)
+
+@drepl
+@xbullet<each @fa<direct_name>, @fa<character_literal>, and @fa<selector_name>
+that is not part of the @fa<prefix> of an expanded name in one denotes the
+same declaration as the corresponding @fa<direct_name>, @fa<character_literal>,
+or @fa<selector_name> in the other; and>
+@dby
+@xbullet<each @fa<direct_name>, @fa<character_literal>, and @fa<selector_name>
+that is not part of the @fa<prefix> of an expanded name in one denotes the
+same declaration as the corresponding @fa<direct_name>, @fa<character_literal>,
+or @fa<selector_name> in the other, or they denote corresponding declarations
+occurring within the two expressions; and>
+
+!ASIS
+
+No ASIS effect.
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent