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

Differences between 1.5 and version 1.6
Log of other versions for file ai12s/ai12-0319-1.txt

--- ai12s/ai12-0319-1.txt	2019/03/20 03:43:25	1.5
+++ ai12s/ai12-0319-1.txt	2021/05/30 00:35:11	1.6
@@ -1,4 +1,4 @@
-!standard 9.5(47/5)                                  19-03-19  AI12-0319-1/04
+!standard 9.5(47/5)                                  21-05-06  AI12-0319-1/05
 !standard 9.5(68/5)
 !standard 13.11(15)
 !standard 13.11(17)
@@ -129,7 +129,7 @@
 If the nominal subtype of the name specified for Storage_Pool is 
 nonblocking (see 9.5), then the primitive Allocate, Deallocate, and 
 Storage_Size subprograms of that type shall be nonblocking. Additionally, if 
-the pool that is one that supports subpools (see 13.11.4), the primitive 
+the pool is one that supports subpools (see 13.11.4), the primitive 
 Default_Subpool_for_Pool, Allocate_From_Subpool, and Deallocate_Subpool 
 subprograms shall be nonblocking.
 
@@ -223,7 +223,7 @@
 If the nominal subtype of the @fa<name> specified for Storage_Pool is 
 nonblocking (see 9.5), then the primitive Allocate, Deallocate, and 
 Storage_Size subprograms of that type shall be nonblocking. Additionally, if 
-the pool that is one that supports subpools (see 13.11.4), the primitive 
+the pool is one that supports subpools (see 13.11.4), the primitive 
 Default_Subpool_for_Pool, Allocate_From_Subpool, and Deallocate_Subpool 
 subprograms shall be nonblocking.
 
@@ -434,6 +434,20 @@
      with Nonblocking => Element'Nonblocking and Ptr'Storage_Pool'Nonblocking ...
 
 Otherwise, looks good.
+
+****************************************************************
+
+[From WG 9 review, issue 111.]
+
+The last sentence of 13.11 (15/5):
+
+"Additionally, if the pool [that] is one that supports subpools (see 
+13.11.4), the primitive Default_Subpool_for_Pool, Allocate_From_Subpool,
+and Deallocate_Subpool subprograms shall be nonblocking."
+
+Too many thats in that sentence.
+
+[Editor's note: This was treated as an editorial review change.]
 
 ****************************************************************
 

Questions? Ask the ACAA Technical Agent