CVS difference for ai12s/ai12-0038-1.txt

Differences between 1.5 and version 1.6
Log of other versions for file ai12s/ai12-0038-1.txt

--- ai12s/ai12-0038-1.txt	2013/06/10 22:37:30	1.5
+++ ai12s/ai12-0038-1.txt	2013/07/18 05:05:30	1.6
@@ -43,8 +43,8 @@
    that includes a name that denotes a subtype with a part having an access type
    that is declared within a declared-pure package}.
 
-Modify E.2.1(8/1):
-   * Notwithstanding the definition of accessibility given in 3.10.2, the
+Modify E.2.1(8):
+   Notwithstanding the definition of accessibility given in 3.10.2, the
    declaration of a library unit P1 is not accessible from within the
    declarative region of a shared passive library unit P2, unless the
    shared passive library unit P2 depends semantically on P1.  {Furthermore,
@@ -82,7 +82,21 @@
 that includes a @fa<name> that denotes a subtype with a part having an access type
 that is declared within a declared-pure package.>
 
-[more needed here]
+!corrigendum E.2.1(8)
+
+@drepl
+Notwithstanding the definition of accessibility given in 3.10.2, the declaration
+of a library unit P1 is not accessible from within the declarative region of a
+shared passive library unit P2, unless the shared passive library unit P2
+depends semantically on P1.
+@dby
+Notwithstanding the definition of accessibility given in 3.10.2, the declaration
+of a library unit P1 is not accessible from within the declarative region of a
+shared passive library unit P2, unless the shared passive library unit P2
+depends semantically on P1. Furthermore, for the purposes of accessibility
+checking, when an access type that is declared within a declared-pure package
+is used as part of a library-level declaration in a shared-passive package, it
+is as though the access type were declared in the shared-passive package.
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent