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

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

--- ai12s/ai12-0200-1.txt	2016/08/12 04:20:28	1.1
+++ ai12s/ai12-0200-1.txt	2016/11/10 03:23:29	1.2
@@ -1,7 +1,9 @@
-!standard 13.11(21)                                    16-08-11  AI12-0200-1/01
+!standard AA(3/4)                                    16-11-09  AI12-0200-1/02
 !standard 13.11.4(21/3)
 !standard 13.11.4(31/3)
 !class binding interpretation 16-08-11
+!status Amendment 1-2012 16-11-09
+!status ARG Approved 9-0-1  16-10-08
 !status work item 16-08-11
 !status received 16-06-12
 !priority Low
@@ -37,16 +39,14 @@
      subprogram is reentrant in the sense that concurrent calls on any
      two (possibly the same) language-defined subprograms perform as
      specified, so long as all pairs of objects (one from each call)
-     that are denoted by parameters that could be passed
-     by reference or designated by parameters of an access type are
+     that either are denoted by parameters that could be passed
+     by reference, or designated by parameters of an access type are
      nonoverlapping.
 
 !discussion
 
 Point (1) was in fact one of the purposes of AI12-0052-1, changing the wording
-"any language-defined subprogram" rather than "the same subprogram". [The
-editor wonders why we've changed our minds on the sufficiency of that change
-- Editor.]
+to "any language-defined subprogram" rather than "the same subprogram".
 
 !corrigendum A(3/4)
 
@@ -60,8 +60,8 @@
 The implementation shall ensure that each language-defined subprogram
 is reentrant in the sense that concurrent calls on any two (possibly the same)
 language-defined subprograms perform as specified, so long as all pairs of
-objects (one from each call) that are denoted by parameters that could be
-passed by reference or designated by parameters of an access type are
+objects (one from each call) that either are denoted by parameters that could
+be passed by reference, or designated by parameters of an access type are
 nonoverlapping.
 
 !ASIS

Questions? Ask the ACAA Technical Agent