CVS difference for 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