CVS difference for ais/ai-50217.txt

--- ais/ai-50217.txt	2004/11/02 01:50:39	1.18
+++ ais/ai-50217.txt	2004/11/25 03:13:33	1.19
@@ -1,4 +1,4 @@
-!standard 10.01.01   (12)                           04-10-05  AI95-00217-06/12
+!standard 10.01.01   (12)                           04-11-24  AI95-00217-06/13
 !standard 10.01.01   (26)
 !standard 10.01.02   (04)
 !standard 10.01.02   (06)
@@ -93,12 +93,13 @@
 Change the beginning of 8.3(20):
 
 The declaration of a library unit (including a
-library_unit_renaming_declaration) is hidden from all visibility except at
-places that are within its declarative region or within the scope of a
-nonlimited_with_clause that mentions it. The limited view of a library package
-is hidden from all visibility except at places that are within the scope of a
-limited_with_clause that mentions it but not within its declarative region
-nor the scope of a nonlimited_with_clause that mentions it.
+library_unit_renaming_declaration) is hidden from all visibility at places
+outside its declarative region that are not within the scope of a
+nonlimited_with_clause that mentions it.  The limited view of a library package
+is hidden from all visibility at places that are not within the scope of a
+limited_with_clause that mentions it; in addition, the limited view is hidden
+from all visibility within the declarative region of the package, as well as
+within the scope of any nonlimited_with_clause that mentions it.
 
 Replace 8.4(5) by:
 
@@ -551,13 +552,14 @@
 within the scope of a @fa<with_clause> that mentions the child.>
 @dby
 @xbullet<The declaration of a library unit (including a
-@fa<library_unit_renaming_declaration>) is hidden from all visibility except at
-places that are within its declarative region or within the scope of a
+@fa<library_unit_renaming_declaration>) is hidden from all visibility at
+places outside its declarative region that are not within the scope of a
 @fa<nonlimited_with_clause> that mentions it. The limited view of a library
-package is hidden from all visibility except at places that are within the
-scope of a @fa<limited_with_clause> that mentions it but not within its
-declarative region nor the scope of a @fa<nonlimited_with_clause> that mentions
-it. For each declaration or renaming of a generic unit as a child of some
+package is hidden from all visibility at places that are not within the scope
+of a @fa<limited_with_clause> that mentions it; in addition, the limited view
+is hidden from all visibility within the declarative region of the package, as
+well as within the scope of any @fa<nonlimited_with_clause> that mentions it.
+For each declaration or renaming of a generic unit as a child of some
 parent generic package, there is a corresponding declaration nested immediately
 within each instance of the parent. Such a nested declaration is hidden from
 all visibility except at places that are within the scope of a @fa<with_clause>
@@ -3903,7 +3905,7 @@
 -----------------
 Thoughts on the implementation of "limited with" in AdaMagic
 
-          $Revision: 1.18 $ $Date: 2004/11/02 01:50:39 $
+          $Revision: 1.19 $ $Date: 2004/11/25 03:13:33 $
 
 The "limited with" clause makes a "limited view"
 of a package visible in the compilation unit
@@ -5712,7 +5714,7 @@
 -----------------
 Thoughts on the implementation of "limited with" in AdaMagic
 
-          $Revision: 1.18 $ $Date: 2004/11/02 01:50:39 $
+          $Revision: 1.19 $ $Date: 2004/11/25 03:13:33 $
 
 The "limited with" clause makes a "limited view"
 of a package visible in the compilation unit