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

--- ai05s/ai05-0040-1.txt	2007/03/27 22:52:35	1.1
+++ ai05s/ai05-0040-1.txt	2007/07/26 02:58:06	1.2
@@ -1,5 +1,6 @@
-!standard 10.1.2(20/2)                                          07-03-27    AI05-0040-1/01
+!standard 10.1.2(20/2)                                          07-06-18    AI05-0040-1/02
 !class binding interpretation 07-03-27
+!status ARG Approved  10-0-0  07-06-03
 !status work item 07-03-27
 !status received 07-03-27
 !priority Medium
@@ -8,7 +9,7 @@
 !subject Limited with clauses on descendants
 !summary
 
-A limited with clause of a unit is illegal on a descendant of that unit.
+A limited with clause may not name an ancestor.
 
 !question
 
@@ -20,10 +21,10 @@
 end BA12010.Pak1;
 
 It seems that this should be illegal, as it is useless at best, and similar cases are
-illegal. But none of the existing rules seem to ocver it.
+illegal. But none of the existing rules seem to cover it.
 
 10.1.2(20/2) says that the limited_with_clause cannot be on the "explicit declaration of the
-named package"; BA12010.Pak1 is not the named package, so we're OK, this rules doesn't apply.
+named package"; BA12010.Pak1 is not the named package, so we're OK, this rule doesn't apply.
 
 10.1.2(21/2) says that we can't be in the scope of a nonlimited_with_clause that mentions the
 same unit. There is no nonlimited_with_clause here (and surely the parent can't with itself).
@@ -43,7 +44,7 @@
 Change the last sentence of 10.1.2(20/2) as follows:
 
 in the context_clause for the explicit declaration of
-the named library package {or one of its descendants};
+the named library package {or any of its descendants};
 
 !discussion
 
@@ -57,7 +58,7 @@
 the named library package;
 @dby
 in the @nt<context_clause> for the explicit declaration of
-the named library package or one of its descendants;
+the named library package or any of its descendants;
 
 
 !ACATS test