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

--- ai05s/ai05-0150-1.txt	2010/02/23 07:31:06	1.5
+++ ai05s/ai05-0150-1.txt	2010/04/08 02:00:07	1.6
@@ -1,6 +1,8 @@
 !standard  8.4(4)                                 10-02-04    AI05-0150-1/03
 !standard  8.4(8/2)
 !class Amendment 09-04-22
+!status Amendment 2012 10-04-02
+!status ARG Approved  6-1-3  10-02-26
 !status work item 09-04-22
 !status received 09-04-22
 !priority Medium
@@ -29,15 +31,15 @@
 
 !wording
 
-Modify 8.4(4) to add optional "all" reserved word syntax:
+Replace 8.4(4) with the following to add optional "all" reserved word syntax:
 
     use_type_clause ::= use {all} type subtype_mark {, subtype_mark};
 
 Add to the end of 8.4(8/2):
 
     If a use_type_clause whose scope encloses a place includes the reserved
-    word "all", then the following are also potentially use-visible at this
-    place if its declaration is visible at this place:
+    word "all", then the following entities are also potentially use-visible
+    at this place if the declaration of the entity is visible at this place:
       - Each primitive subprogram of T Redundant[including each enumeration
         literal (if any)];
       - Each subprogram that is declared immediately within the declarative
@@ -53,7 +55,7 @@
 
 I started wondering exactly what "in the same way" meant, and realized that
 writing it out was not significantly longer. So I erred on the side of
-clarity (vs. redundancy, the previous sentence of the paragraph is very
+clarity (vs. redundancy, the previous sentence of the paragraph is
 similar to the new one). - RLB]
 
 !discussion
@@ -100,8 +102,38 @@
       Proc (X => Z, Y => Bb);
    end R;
 
---!corrigendum 8.4(4)
---!corrigendum 8.4(8/2)
+!corrigendum 8.4(4)
+
+@drepl
+@xcode<@fa<use_type_clause ::= >@ft<@b<use type>>@fa< subtype_mark {, subtype_mark};>>
+@dby
+@xcode<@fa<use_type_clause ::= >@ft<@b<use>>@fa< {>@ft<@b<all>>@fa<} >@ft<@b<type>>@fa< subtype_mark {, subtype_mark};>>
+
+!corrigendum 8.4(8/2)
+
+@drepl
+For each package named in of a @fa<use_package_clause> whose scope encloses a place,
+each declaration that occurs immediately within the declarative region of the package
+is @i<potentially use-visible> at this place if the declaration is visible at this place.
+For each type @i<T> or @i<T>'Class named in a @fa<use_type_clause> whose scope encloses
+a place, the declaration of each primitive operator of type @i<T> is potentially
+use-visible at this place if its declaration is visible at this place. 
+@dby
+For each package named in of a @fa<use_package_clause> whose scope encloses a place,
+each declaration that occurs immediately within the declarative region of the package
+is @i<potentially use-visible> at this place if the declaration is visible at this place.
+For each type @i<T> or @i<T>'Class named in a @fa<use_type_clause> whose scope encloses
+a place, the declaration of each primitive operator of type @i<T> is potentially
+use-visible at this place if its declaration is visible at this place. 
+If a @fa<use_type_clause> whose scope encloses a place includes the reserved
+word @b<all>, then the following entities are also potentially use-visible at this
+place if the declaration of the entity is visible at this place:
+
+@xbullet<Each primitive subprogram of @i<T> including each enumeration
+literal (if any);>
+@xbullet<Each subprogram that is declared immediately within the declarative
+region in which an ancestor type of @i<T> is declared and that operates
+on a class-wide type that covers @i<T>.>
 
 
 !ACATS test