CVS difference for ai05s/ai05-0156-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai05s/ai05-0156-1.txt

--- ai05s/ai05-0156-1.txt	2009/06/02 05:35:31	1.1
+++ ai05s/ai05-0156-1.txt	2009/07/11 03:06:22	1.2
@@ -1,5 +1,6 @@
-!standard 8.6(17)                                    09-06-02    AI05-0156-1/01
+!standard 8.6(17)                                    09-06-25    AI05-0156-1/02
 !class ramification 09-06-02
+!status ARG Approved  7-0-0  09-06-13
 !status work item 09-06-02
 !status received 09-02-13
 !priority Low
@@ -14,7 +15,7 @@
 !question
 
 Does pragma Elaborate_All apply to bodies of compilation units imported via
-'limited with'?  For example, is this program legal? (No.)
+'limited with'? (Yes.)  For example, is this program legal? (No.)
 
    limited with P2;
    package P1 is
@@ -39,7 +40,7 @@
       null;
    end Main;
 
-A string reading of the Standard shows it to be illegal:
+A strict reading of the Standard shows it to be illegal:
 
   By 10.2.1, every library item that is needed by P1 must be
   elaborated before P2'Spec.
@@ -52,7 +53,7 @@
   P1'Spec therefore needs the nonlimited view of P2'Spec (10.2(6.1/2)).
 
   Therefore P2'Spec must be elaborated before P2'Spec,
-  which is tough constraint to satisfy.
+  which is a tough constraint to satisfy.
 
 !recommendation
 
@@ -60,7 +61,7 @@
 
 !wording
 
-None needed. [Should there be an AARM note? If so, what should it say? - RLB]
+None needed.
 
 !discussion
 
@@ -85,7 +86,7 @@
 before the unit test). Since fixing this problem would require
 introducing a new term similar to but subtly different than "needs"
 (by excluding the 10.2(6.1/2) bullet), we don't make a fix since
-it would be much larger than the likelyhood of encountering the problem.
+it would be much larger than the likelihood of encountering the problem.
 
 !ACATS Test
 

Questions? Ask the ACAA Technical Agent