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

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0136-1.txt

--- ai12s/ai12-0136-1.txt	2014/11/19 20:58:28	1.2
+++ ai12s/ai12-0136-1.txt	2015/01/20 23:11:38	1.3
@@ -1,4 +1,4 @@
-!standard 13.11.3(5/3)                                14-11-18  AI05-0136-1/02
+!standard 13.11.3(5/3)                                15-01-20  AI05-0136-1/03
 !class binding interpretation 14-10-10
 !status Corrigendum 2015 14-11-18
 !status ARG Approved 7-0-1  14-10-18
@@ -10,8 +10,8 @@
 !subject Language-defined packages and aspect Default_Storage_Pool
 !summary
 
-The effect of aspect Default_Storage_Pool on language-defined generic units
-is implementation-defined.
+The effect of the aspect Default_Storage_Pool on language-defined generic
+units is implementation-defined.
 
 !question
 
@@ -22,7 +22,7 @@
 units. For instance, it would be useful in some circumstances to use some
 user-defined pool to do allocations in one of the containers, such as
 Ada.Containers.Vectors. Is this expected to work? (Maybe.) What happens
-if the pool is does something that the instance isn't expecting, like
+if the pool does something that the instance isn't expecting, like
 deallocating memory early? (Whatever 13.11 says.)
 
 !recommendation
@@ -33,7 +33,7 @@
 
 Add after 13.11.3(5/3):
 
-The effect of specifying aspect Default_Storage_Pool on an instance of a
+The effect of specifying the aspect Default_Storage_Pool on an instance of a
 language-defined generic unit is implementation-defined.
 
 !discussion
@@ -84,7 +84,7 @@
 
 Implementation Requirements
 
-If the language-defined generic unit <wowzers> declares an access type
+If the language-defined generic unit <whatever> declares an access type
 which is used to allocate memory, it shall use the default pool.
 
 AARM Reason: This allows using aspect Default_Storage_Pool to force allocations
@@ -107,7 +107,7 @@
 Note that making it work only matters to generic packages; we don't have a
 mechanism to change the default pool for normal packages.
 
-We didn't do this as its unclear that the benefits outweight the costs (in
+We didn't do this as it's unclear that the benefits outweight the costs (in
 particular, in implementation constraints). The rule would eliminate one
 tool (custom pools) from the implementer's performance enhancement toolbox.
 
@@ -122,7 +122,7 @@
 pragma that might apply to the generic unit; if the aspect is not specified,
 the default pool of the instance is that defined for the generic unit.
 @dinst
-The effect of specifying aspect Default_Storage_Pool on an instance of a
+The effect of specifying the aspect Default_Storage_Pool on an instance of a
 language-defined generic unit is implementation-defined.
 
 !ASIS

Questions? Ask the ACAA Technical Agent