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

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

--- ai12s/ai12-0157-1.txt	2015/03/28 05:47:28	1.2
+++ ai12s/ai12-0157-1.txt	2015/05/06 03:49:50	1.3
@@ -1,4 +1,4 @@
-!standard 3.10.2(19.2/4)                               15-03-27  AI05-0157-1/02
+!standard 3.10.2(19.2/4)                               15-05-05  AI05-0157-1/03
 !standard 3.10.2(19.3/4)
 !standard 4.3.3(11/2)
 !standard 6.8(2/3)
@@ -92,14 +92,14 @@
 
 Modify 3.10.2(19.3/4) [as modified by AI12-0089-1]:
 
- *  For determining whether a level is statically deeper than the level
-    of the anonymous access type of an access result of a function, when
-    within a return statement that applies to the function {or the return
-    expression of expression function @i<F>}, the level of
-    the master of the call is presumed to be the same as that of the
-    level of the master that elaborated the function body.
+ * For determining whether a level is statically deeper than the level of the
+   anonymous access type of an access result of a function or generic
+   function F, when within a return statement that applies to F { or the
+   return expression of expression function F}, the level of the master of
+   the call is presumed to be the same as that of the level of the master
+   that elaborated the body of F.
 
-[Editor's note: I considered added an equivalence rule for the statically
+[Editor's note: I considered adding an equivalence rule for the statically
 deeper relationship instead, either here or in 6.8, but that didn't seem
 to simplify anything, and having it in 6.8 potentially would cause someone
 to think that it wasn't defined (we want all of the rules for accessibility
@@ -217,7 +217,7 @@
 (1) Consistency with qualified expressions seems important here. An early
 implementation of Ada 2012 allows this syntax (presumably by accident), and an
 ACATS test-writer used it (definitely by accident, known because the author of
-this AI and that that test-writer are one and the same). It seems natural, and
+this AI and that test-writer are one and the same). It seems natural, and
 it's best if the syntax of Ada follows that as much as possible.
 
 (2) It appears that a strict reading of 4.3.3 says that

Questions? Ask the ACAA Technical Agent