CVS difference for ais/ai-00254.txt

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

--- ais/ai-00254.txt	2005/04/13 05:37:03	1.21
+++ ais/ai-00254.txt	2005/06/16 23:47:17	1.22
@@ -1,4 +1,4 @@
-!standard  3.10   (06)                               05-02-25  AI95-00254/12
+!standard  3.10   (06)                               05-05-15  AI95-00254/13
 !standard  3.10   (12)
 !standard  3.10   (17)
 !standard  3.7    (09)
@@ -187,7 +187,8 @@
     this is the accessibility level of the execution of the called subprogram.
 
 *   The accessibility level of the anonymous access type of an access parameter
-    specifying an access-to-subprogram type is deeper than that of any master.
+    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
 
@@ -207,7 +208,7 @@
   access-to-subprogram type may together be used to implement
   "downward closures" -- that is, to pass a more-nested
   subprogram as a parameter to a less-nested subprogram,
-  as might be appropriate for an iterator abstaction or
+  as might be appropriate for an iterator abstraction or
   numerical integration. Downward closures can also be implemented
   using generic formal subprograms (see 12.6). Note that Unchecked_Access is
   not allowed for subprograms.
@@ -965,8 +966,8 @@
 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 deeper than that of
-any master.>
+parameter specifying an access-to-subprogram type is statically deeper than that of
+any master; all such anonymous access types have this same level.>
 
 !corrigendum 03.10.02(19)
 
@@ -1015,17 +1016,17 @@
 
 @drepl
 @xindent<@s9<The accessibility rules imply that it is not possible to use the
-Access attribute to implement "downward closures" -- that is, to pass a
+Access attribute to implement "downward closures" @emdash that is, to pass a
 more-nested subprogram as a parameter to a less-nested subprogram, as might be
 desired for example for an iterator abstraction. Instead, downward closures can
 be implemented using generic formal subprograms (see 12.6). Note that
 Unchecked_Access is not allowed for subprograms.>>
 @dby
-@xindent<@s9<The Access attribute for subprograms and parameters of an
+@xindent<@s9<88  The Access attribute for subprograms and parameters of an
 anonymous access-to-subprogram type may together be used to implement
-"downward closures" -- that is, to pass a more-nested
+"downward closures" @emdash that is, to pass a more-nested
 subprogram as a parameter to a less-nested subprogram,
-as might be appropriate for an iterator abstaction or
+as might be appropriate for an iterator abstraction or
 numerical integration. Downward closures can also be implemented
 using generic formal subprograms (see 12.6). Note that Unchecked_Access is
 not allowed for subprograms.>>
@@ -1081,10 +1082,10 @@
 !corrigendum 8.5.1(3)
 
 @drepl
-The type of the @fa<object_name> shall resolve to the type determined by the
+The type of the @i<object_>@fa<name> shall resolve to the type determined by the
 @fa<subtype_mark>.
 @dby
-The type of the @fa<object_name> shall resolve to the type determined by the
+The type of the @i<object_>@fa<name> shall resolve to the type determined by the
 @fa<subtype_mark>, or in the case where the type is defined by an
 @fa<access_definition>, to a specific anonymous access type which in the case
 of an access-to-object type shall have the same designated type as that of the
@@ -1150,7 +1151,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/04/13 05:37:03 $ $Revision: 1.21 $
+!from Bob Duff $Date: 2005/06/16 23:47:17 $ $Revision: 1.22 $
 !discussion
 
 Two issues related to access types and the accessibility rules came
@@ -1563,7 +1564,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/04/13 05:37:03 $ $Revision: 1.21 $
+!from Bob Duff $Date: 2005/06/16 23:47:17 $ $Revision: 1.22 $
 !discussion
 
 This Language Study Note discusses accessibility checks, and their

Questions? Ask the ACAA Technical Agent