CVS difference for ais/ai-50217.txt

--- ais/ai-50217.txt	2004/09/17 04:44:38	1.16
+++ ais/ai-50217.txt	2004/10/05 22:49:29	1.17
@@ -1,4 +1,4 @@
-!standard 10.01.01   (12)                           04-09-16  AI95-00217-06/10
+!standard 10.01.01   (12)                           04-10-05  AI95-00217-06/12
 !standard 10.01.01   (26)
 !standard 10.01.02   (04)
 !standard 10.01.02   (06)
@@ -97,8 +97,8 @@
 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 the scope of a
-nonlimited_with_clause that mentions it.
+limited_with_clause that mentions it but not within its declarative region
+nor the scope of a nonlimited_with_clause that mentions it.
 
 Replace 8.4(5) by:
 
@@ -158,8 +158,6 @@
 A library package_declaration is the completion of the declaration of its
 limited view.
 
-The elaboration of the limited view of a package has no effect.
-
 Insert in 10.1.1(26):
 
 The implicit declaration of the limited view of a library package depends
@@ -167,6 +165,10 @@
 The declaration of a library package depends semantically upon the implicit
 declaration of its limited view.
 
+Dynamic Semantics
+
+The elaboration of the limited view of a package has no effect.
+
 
 Replace 10.1.2(4) by:
 
@@ -553,13 +555,13 @@
 places that are within its declarative region or 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 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 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> that mentions the
-child.>
+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
+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>
+that mentions the child.>
 
 !corrigendum 8.4(5)
 
@@ -639,7 +641,7 @@
 
 There is no syntax for declaring limited views of packages, because they are
 always implicit. The implicit declaration of a limited view of a package is
-@i<not> the declaration of a library unit (the library package_declaration is);
+not the declaration of a library unit (the library package_declaration is);
 nonetheless, it is a @fa<library_item>.
 
 A library @fa<package_declaration> is the completion of the declaration of
@@ -3901,7 +3903,7 @@
 -----------------
 Thoughts on the implementation of "limited with" in AdaMagic
 
-          $Revision: 1.16 $ $Date: 2004/09/17 04:44:38 $
+          $Revision: 1.17 $ $Date: 2004/10/05 22:49:29 $
 
 The "limited with" clause makes a "limited view"
 of a package visible in the compilation unit
@@ -5710,7 +5712,7 @@
 -----------------
 Thoughts on the implementation of "limited with" in AdaMagic
 
-          $Revision: 1.16 $ $Date: 2004/09/17 04:44:38 $
+          $Revision: 1.17 $ $Date: 2004/10/05 22:49:29 $
 
 The "limited with" clause makes a "limited view"
 of a package visible in the compilation unit