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

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

--- ai12s/ai12-0235-1.txt	2018/12/05 01:52:15	1.6
+++ ai12s/ai12-0235-1.txt	2019/01/25 22:56:38	1.7
@@ -1,4 +1,4 @@
-!standard 13.11(5)                                  18-11-15  AI12-0235-1/04
+!standard 13.11(5)                                  19-01-25  AI12-0235-1/05
 !class Amendment 17-06-09
 !status Amendment 1-2012 18-11-15
 !status ARG Approved 7-0-0  18-10-21
@@ -21,7 +21,8 @@
 
 !proposal
 
-(See Summary.)
+The package System.Storage_Pools should be declared to be Pure using an 
+aspect clause thereby replacing the pragma Preelaborate.
 
 !wording
 
@@ -34,7 +35,7 @@
 
 !discussion
 
-When Ada 95 was designed, neither Ada.Finalization nor System was
+When Ada 95 was designed, neither Ada.Finalization nor System were
 declared Pure, so it would have been impossible to declare this package
 Pure then. Nor were access types allowed.
 
@@ -44,8 +45,8 @@
 there was less benefit there, and more likelihood of affecting existing
 implementations.
 
-Note that we do *not* remove the pragma "with
-Preelaborable_Initialization" in 13.11(6/2), as the default
+Note that we do *not* remove the pragma 
+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,8 +59,8 @@
 package, as that is the default, but we do have to say it for a Pure package,
 which defaults to nonblocking.
 
-Note that being declared pure seems to promise distribution that isn't
-actually possible, though we clarify that in the !problem of the AI.
+Note that being declared pure seems to promise distribution. However, that 
+isn't actually possible as clarified that in the !problem of the AI.
 
 !corrigendum 13.11(5)
 

Questions? Ask the ACAA Technical Agent