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
 !standard 10.2.1(17/2)
 !class binding interpretation 07-01-12
 !status work item 07-01-12
@@ -37,18 +37,26 @@
 
 !recommendation
 
-(See Summary.)
+(See summary.)
 
 !wording
 
-TBD.
+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.]
+
 !discussion
 
-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