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

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

--- ai12s/ai12-0277-1.txt	2018/06/16 03:33:28	1.1
+++ ai12s/ai12-0277-1.txt	2018/06/30 00:19:00	1.2
@@ -1,7 +1,8 @@
-!standard 13.11(21)                                    18-05-11  AI12-0277-1/01
+!standard 13.11(21)                                    18-06-29  AI12-0277-1/02
 !standard 13.11.4(21/3)
 !standard 13.11.4(31/3)
 !class binding interpretation 18-05-11
+!status ARG Approved 9-0-2  18-06-22
 !status work item 18-05-11
 !status received 18-05-10
 !priority Low
@@ -68,7 +69,8 @@
 return object is considered to be the same as that of the level of the 
 explicitly aliased parameter; for statically comparing with the level of other
 entities, an explicitly aliased parameter of F is considered to have the 
-accessibility level of a parameter of F that is not explicitly aliased.
+accessibility level of {a parameter of F that is not explicitly aliased}[the
+body of F].
 
 !discussion
 
@@ -144,6 +146,30 @@
 
 "non-explicitly-aliased" is a mouthful. Thus we rearranged it to get the
 wording proposed above.
+
+!corrigendum 3.10.2(19.2/4)
+
+@drepl
+@xbullet<Inside a return statement that applies to a function or generic
+function @i<F>, or the return expression of an expression function @i<F>, when
+determining whether the accessibility level of an explicitly
+aliased parameter of @i<F> is statically deeper than the level of the
+return object of @i<F>, the level of the return object is considered to
+be the same as that of the level of the explicitly aliased
+parameter; for statically comparing with the level of other
+entities, an explicitly aliased parameter of @i<F> is considered to have
+the accessibility level of the body of @i<F>.>
+@dby
+@xbullet<Inside a return statement that applies to a function or generic
+function @i<F>, or the return expression of an expression function @i<F>, when
+determining whether the accessibility level of an explicitly
+aliased parameter of @i<F> is statically deeper than the level of the
+return object of @i<F>, the level of the return object is considered to
+be the same as that of the level of the explicitly aliased
+parameter; for statically comparing with the level of other
+entities, an explicitly aliased parameter of @i<F> is considered to have
+the accessibility level of a parameter of @i<F> that is not explicitly 
+aliased.>
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent