CVS difference for ais/ai-00254.txt

Differences between 1.22 and version 1.23
Log of other versions for file ais/ai-00254.txt

--- ais/ai-00254.txt	2005/06/16 23:47:17	1.22
+++ ais/ai-00254.txt	2005/08/05 04:33:04	1.23
@@ -1,4 +1,4 @@
-!standard  3.10   (06)                               05-05-15  AI95-00254/13
+!standard  3.10   (06)                               05-07-12  AI95-00254/14
 !standard  3.10   (12)
 !standard  3.10   (17)
 !standard  3.7    (09)
@@ -190,7 +190,12 @@
     specifying an access-to-subprogram type is deeper than that of any master;
     all such anonymous access types have this same level.
 
-Modify 3.10.2(17) by adding
+Add after 3.10.2(18):
+*   The accessibility level of the anonymous access type of an access parameter
+    specifying an access-to-subprogram type is statically deeper than that of
+    any master; all such anonymous access types have this same level.
+
+Modify 3.10.2(19) by adding
 
     ...access parameter {specifying an access-to-object type}; that is...
 
@@ -966,22 +971,26 @@
 designated by the actual. If the actual is an @fa<allocator>, this is the
 accessibility level of the execution of the called subprogram.>
 @xbullet<The accessibility level of the anonymous access type of an access
-parameter specifying an access-to-subprogram type is statically deeper than that of
+parameter specifying an access-to-subprogram type is deeper than that of
 any master; all such anonymous access types have this same level.>
 
 !corrigendum 03.10.02(19)
 
 @drepl
-The statically deeper relationship does not apply to the accessibility
+@xbullet<The statically deeper relationship does not apply to the accessibility
 level of the anonymous type of an access parameter;
 that is, such an accessibility level is not considered to be statically
-deeper, nor statically shallower, than any other.
+deeper, nor statically shallower, than any other.>
 @dby
-The statically deeper relationship does not apply to the accessibility
+@xbullet<The accessibility level of the anonymous access type of an access
+parameter specifying an access-to-subprogram type is statically deeper than
+that of any master; all such anonymous access types have this same level.>
+
+@xbullet<The statically deeper relationship does not apply to the accessibility
 level of the anonymous type of an access parameter specifying an
 access-to-object type;
 that is, such an accessibility level is not considered to be statically
-deeper, nor statically shallower, than any other.
+deeper, nor statically shallower, than any other.>
 
 !corrigendum 03.10.02(32)
 
@@ -1151,7 +1160,7 @@
 !reference RM9X-3.10.2(16);4.0
 !reference AARM-12.3(12.p,12.q);4.0
 !reference LSN-1042 on Accessibility Checks in Generics
-!from Bob Duff $Date: 2005/06/16 23:47:17 $ $Revision: 1.22 $
+!from Bob Duff $Date: 2005/08/05 04:33:04 $ $Revision: 1.23 $
 !discussion
 
 Two issues related to access types and the accessibility rules came
@@ -1564,7 +1573,7 @@
 !topic LSN on Accessibility Checks in Generics
 !key LSN-1042 on Accessibility Checks in Generics
 !reference MS-12;4.6
-!from Bob Duff $Date: 2005/06/16 23:47:17 $ $Revision: 1.22 $
+!from Bob Duff $Date: 2005/08/05 04:33:04 $ $Revision: 1.23 $
 !discussion
 
 This Language Study Note discusses accessibility checks, and their

Questions? Ask the ACAA Technical Agent