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

--- ai12s/ai12-0302-1.txt	2019/10/02 01:42:49	1.5
+++ ai12s/ai12-0302-1.txt	2019/10/30 23:00:37	1.6
@@ -1,5 +1,7 @@
-!standard A(15)                                  19-10-01  AI12-0302-1/03
+!standard A(15)                                  19-10-30  AI12-0302-1/04
 !class Amendment 19-01-10
+!status Amendment 1-2012 19-10-30
+!status ARG Approved 9-0-1  19-10-06
 !status work item 19-01-10
 !status received 19-01-10
 !priority High
@@ -18,12 +20,14 @@
 likely conflict with one another.
 
 !problem
+
 In the absence of a Global aspect, the default is "Global => in out all"
 unless a (generic) package is declared Pure. This is not consistent
 with the requirement of RM A(3/5) that language-defined (generic)
 packages be reentrant.
 
 !proposal
+
 For language-defined units declared Pure, we will have the implicit
 Global => null. For other nongeneric packages, we will insert an explicit:
 
@@ -123,6 +127,10 @@
 with "in [out] <unit_name>" when they refer to implicit state that is
 *not* synchronized, and "in [out] <param>.all" when they refer to the
 variable state associated with a dereference of an IN parameter.
+
+Note: We do not cover the containers packages here; their Global aspects
+are specified as part of AI12-0112-1, which overhauls the contracts of the
+containers generally.
 
 OVERRIDING PARAMETER MODES