CVS difference for ai05s/ai05-0034-1.txt
--- ai05s/ai05-0034-1.txt 2007/01/13 05:25:56 1.1
+++ ai05s/ai05-0034-1.txt 2007/07/26 00:37:26 1.2
@@ -1,4 +1,4 @@
-!standard 10.2.1(11/1) 07-01-12 AI05-0034-1/01
+!standard 10.2.1(11/1) 07-06-17 AI05-0034-1/02
!class binding interpretation 07-01-12
!status work item 07-01-12
@@ -37,18 +37,26 @@
+Add after the first sentence of 10.2.1(11/1):
+In addition, the limited view of a library package is preelaborated.
+Add after the first sentence of 10.2.1(17/2):
+In addition, the limited view of a library package is declared pure.
+[Editor's note: This has a bad interaction with the wording changes of AI05-0035-1.]
-Arguably, the limited view is one of the compilation units of the library unit
-that does contain the pragma. Then, the dependence is legal by the wording
-of 10.2.1(11/1). "...shall depend semantically only on compilation units of other
-preelaborated library units."
+One possible interpretation would be to consider the limited view to be one of the
+compilation units of the library unit that does contain the pragma. Then, the
+dependence would be legal by the wording of 10.2.1(11/1). "...shall depend
+semantically only on compilation units of other preelaborated library units."
But limited views have no impact on elaboration: the elaboration of a
limited view of a package has no effect. So it's bizarre to worry about the
Questions? Ask the ACAA Technical Agent