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

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

--- ai12s/ai12-0038-1.txt	2015/01/27 00:56:54	1.12
+++ ai12s/ai12-0038-1.txt	2015/01/27 05:03:20	1.13
@@ -1,4 +1,4 @@
-!standard E.2.1(7/1)                           15-01-26    AI12-0038-1/06
+!standard E.2.1(7/1)                           15-01-27    AI12-0038-1/07
 !class binding interpretation 12-11-28
 !status Corrigendum 2015 12-12-31
 !status work item 13-01-04
@@ -43,7 +43,15 @@
 
    * it shall not contain a library-level declaration that contains a name
      that denotes a type declared within a declared-pure package, if that
-     type has a part that is of an access type}.
+     type has a part that is of an access type; for the purposes of this
+     rule, the parts considered include those of the full views of any
+     private types or private extensions}.
+
+     AARM Reason: This rule breaks privacy by looking into the full views of
+     private types. Avoiding privacy breakage here would have required
+     disallowing the use in a shared passive package of any private type
+     declared in a declared-pure package, which would have been severely
+     incompatible.
 
 !discussion
 

Questions? Ask the ACAA Technical Agent