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

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

--- ai12s/ai12-0283-1.txt	2018/07/13 01:08:34	1.3
+++ ai12s/ai12-0283-1.txt	2018/09/05 21:28:47	1.4
@@ -1,4 +1,4 @@
-!standard E.2.2(9.3/1)                                  18-07-12  AI12-0283-1/02
+!standard E.2.2(9.3/1)                                  18-08-31  AI12-0283-1/03
 !standard E.2.3(13/3)
 !standard E.4(8)
 !class Amendment 18-06-11
@@ -42,8 +42,8 @@
 !wording
 
 [Editor's note: These are all in Legality Rules sections. None of these
-subclauses have static semantic sections, and that appears intentional
-to avoid needing Notwithstanding rules.]
+subclauses have static semantic sections, and that appears to have been
+done by the Ada 95 authors to avoid needing Notwithstanding rules.]
 
 Add after E.2.2(9.3/1):
 
@@ -84,15 +84,15 @@
    of the containing unit is True, either implicitly by inheritance or
    by explicit specification.
 
-[Editor's note: I included a cross-reference in each of these rules to
+[Editor's note: A cross-reference is included in each of these rules to
 emphasize that "nonblocking" and "allows blocking" are technical terms
 defined in 9.5.]
 
 
 !discussion
 
-This AI is a correction for AI12-0064-2, which was previously approved for
-Ada 2012.
+This AI is a correction for AI12-0064-2 (which introduces aspect Nonblocking),
+which was previously approved for Ada 2012.
 
 ---
 
@@ -105,7 +105,7 @@
 Nonblocking to be False for all such subprograms and types, but that would
 have required a number of Notwithstanding Rules.
 
-These rules are compatible as the default value for Nonblocking (if it not
+These rules are compatible, as the default value for Nonblocking (if not
 specified anywhere in a library unit) is False. One can only get failures
 if the entity or the enclosing package has been specified to be nonblocking.
 

Questions? Ask the ACAA Technical Agent