CVS difference for ais/ai-50217.txt
--- ais/ai-50217.txt 2004/09/04 01:13:49 1.15
+++ ais/ai-50217.txt 2004/09/17 04:44:38 1.16
@@ -1,4 +1,4 @@
-!standard 10.01.01 (12) 04-08-26 AI95-00217-06/09
+!standard 10.01.01 (12) 04-09-16 AI95-00217-06/10
!standard 10.01.01 (26)
!standard 10.01.02 (04)
!standard 10.01.02 (06)
@@ -221,7 +221,7 @@
Add after 10.1.4(3):
-The mechanisms for adding a unit mentioned in a limited_with_clause within an
+The mechanisms for adding a unit mentioned in a limited_with_clause to an
environment are implementation defined.
@@ -645,8 +645,6 @@
A library @fa<package_declaration> is the completion of the declaration of
its limited view.
-The elaboration of the limited view of a package has no effect.
-
!corrigendum 10.1.1(26)
@drepl
@@ -672,6 +670,10 @@
then the given compilation unit depends semantically upon the other compilation
unit. The semantic dependence relationship is transitive.
+@i<@s8<Dynamic Semantics>>
+
+The elaboration of the limited view of a package has no effect.
+
!corrigendum 10.1.2(4)
@drepl
@@ -732,7 +734,7 @@
@dby
The mechanisms for creating an environment and for adding and replacing
compilation units within an environment are implementation defined. The
-mechanisms for adding a unit mentioned in a @fa<limited_with_clause> within an
+mechanisms for adding a unit mentioned in a @fa<limited_with_clause> to an
environment are implementation defined.
!corrigendum 10.1.4(6)
@@ -3899,7 +3901,7 @@
-----------------
Thoughts on the implementation of "limited with" in AdaMagic
- $Revision: 1.15 $ $Date: 2004/09/04 01:13:49 $
+ $Revision: 1.16 $ $Date: 2004/09/17 04:44:38 $
The "limited with" clause makes a "limited view"
of a package visible in the compilation unit
@@ -5708,7 +5710,7 @@
-----------------
Thoughts on the implementation of "limited with" in AdaMagic
- $Revision: 1.15 $ $Date: 2004/09/04 01:13:49 $
+ $Revision: 1.16 $ $Date: 2004/09/17 04:44:38 $
The "limited with" clause makes a "limited view"
of a package visible in the compilation unit
Questions? Ask the ACAA Technical Agent