CVS difference for ai05s/ai05-0190-1.txt

--- ai05s/ai05-0190-1.txt	2011/03/17 02:28:19	1.14
+++ ai05s/ai05-0190-1.txt	2011/04/15 03:53:45	1.15
@@ -1,4 +1,4 @@
-!standard 13.11.3(0)                                11-03-16  AI05-0190-1/10
+!standard 13.11.3(0)                                11-04-14  AI05-0190-1/11
 !standard 7.6.1(11/3)
 !standard H.4(8.1/3)
 !class amendment 09-11-03
@@ -60,8 +60,8 @@
     - For the type of an access parameter, the call that contains the
       allocator.
 
-    - For the type of an access result, at the place where the accessibility
-      level is determined by the point of call (see 3.10.2).
+    - For the type of an access result, within the master of the call
+      (see 3.10.2).
 [Note: This is a reference to AI05-0234-1.]
 
     - For any other anonymous access type, the first freezing point of
@@ -138,7 +138,7 @@
     by the language to be zero.
     Redundant[Therefore, an allocator for such a type is illegal.]
 
-    If the default pool is a pool, the Storage_Pool attribute is that
+    If the default pool is nonnull, the Storage_Pool attribute is that
     pool.
 
     Redundant[Otherwise, there is no default pool; the Storage_Pool attribute
@@ -3452,5 +3452,31 @@
 of the AI - Editor.]
 
 Thanks you, Steve, for your help!
+
+****************************************************************
+
+From: Bob Duff
+Sent: Thursday, April 07, 2011 6:10 PM
+
+New version of AI05-0190-1, Global storage pool controls,
+based on the April 7, 2011 phone meeting. [This is version /11 of the AI - Editor.]
+
+The main change was to change:
+
+    - For the type of an access result, at the place where the accessibility
+      level is determined by the point of call (see 3.10.2).
+
+to use the new "master of call" term newly defined in
+AI05-0234-1, Hole in AI05-0051-1:
+
+    - For the type of an access result, within the master of the call
+      (see 3.10.2).
+
+Also fixed John's editorial comment: "pool is a pool" --> "pool is nonnull".
+
+This completes my homework from the April 7 meeting.  I did it without
+seeing the minutes, which is slightly dangerous, because Randy's notes
+are usually better than mine.  When the minutes come out, I'll double
+check that I didn't miss something.
 
 ****************************************************************