CVS difference for ai05s/ai05-0034-1.txt

--- ai05s/ai05-0034-1.txt	2007/07/26 00:37:26	1.2
+++ ai05s/ai05-0034-1.txt	2007/07/26 02:58:05	1.3
@@ -1,4 +1,4 @@
-!standard 10.2.1(11/1)                                       07-06-17    AI05-0034-1/02
+!standard 10.2.1(11/1)                                       07-07-25    AI05-0034-1/03
 !standard 10.2.1(17/2)
 !class binding interpretation 07-01-12
 !status work item 07-01-12
@@ -41,15 +41,23 @@
 
 !wording
 
-Add after the first sentence of 10.2.1(11/1):
+Replace 10.2.1(11/1) by:
 
-In addition, the limited view of a library package is preelaborated.
+If a pragma Preelaborate (or pragma Pure - see below) applies to a
+library unit, then it is *preelaborated*.  The declaration and body of a
+preelaborated library unit, and all subunits that are elaborated as part
+of elaborating the library unit, shall be preelaborable.  In addition, the
+limited view of a library package is preelaborated.  If a library unit is
+preelaborated, then its declaration, if any, and body, if any, are
+elaborated prior to all non-preelaborated library_items of the partition.
+
+[This is just a reordering of the rules, except that the "limited view" rule
+is new. This puts static semantics first, then legality rules, then dynamic
+semantics.]
 
-Add after the first sentence of 10.2.1(17/2):
+Add to the third sentence of 10.2.1(17/2) as changed by AI05-0035-1:
 
-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.]
+In addition, {the limited view of a library package is declared pure. All}[all]...
 
 !discussion