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

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

--- ai12s/ai12-0235-1.txt	2018/10/19 05:59:55	1.5
+++ ai12s/ai12-0235-1.txt	2018/12/05 01:52:15	1.6
@@ -1,5 +1,7 @@
-!standard 13.11(5)                                  18-10-18  AI12-0235-1/03
+!standard 13.11(5)                                  18-11-15  AI12-0235-1/04
 !class Amendment 17-06-09
+!status Amendment 1-2012 18-11-15
+!status ARG Approved 7-0-0  18-10-21
 !status work item 17-06-09
 !status received 17-06-09
 !priority Low
@@ -13,9 +15,9 @@
 
 It is not possible to define a storage pool in a Pure package as
 System.Storage_Pools is preelaborated rather than pure. This prevents
-defining a shared pool type for use in the distributed program. (Note
+defining a shared pool type for use in a distributed program. (Note
 that, due to the prohibition on variables in distributed packages, a
-pool cannot itself be shared across partitions).
+pool object cannot itself be shared across partitions.)
 
 !proposal
 
@@ -42,7 +44,7 @@
 there was less benefit there, and more likelihood of affecting existing
 implementations.
 
-Note that we do *not* remove the aspect "with
+Note that we do *not* remove the pragma "with
 Preelaborable_Initialization" in 13.11(6/2), as the default
 initialization might still call a pure, but non-static function, which
 is not permitted during initialization of a preelaborated package.
@@ -58,6 +60,20 @@
 
 Note that being declared pure seems to promise distribution that isn't
 actually possible, though we clarify that in the !problem of the AI.
+
+!corrigendum 13.11(5)
+
+@drepl
+@xcode<@b<with> Ada.Finalization;
+@b<with> System.Storage_Elements;
+@b<package> System.Storage_Pools @b<is>
+    @b<pragma> Preelaborate(System.Storage_Pools);>
+
+@dby
+@xcode<@b<with> Ada.Finalization;
+@b<with> System.Storage_Elements;
+@b<package> System.Storage_Pools
+    @b<with> Pure, Nonblocking =@> False @b<is>>
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent