CVS difference for ais/ai-00312.txt

Differences between 1.2 and version 1.3
Log of other versions for file ais/ai-00312.txt

--- ais/ai-00312.txt	2004/03/02 04:45:00	1.2
+++ ais/ai-00312.txt	2004/12/09 19:55:29	1.3
@@ -1,6 +1,9 @@
-!standard 10.1.6 (05)                                  04-02-25  AI95-00312/01
+!standard 10.1.6 (05)                                  04-11-30  AI95-00312/02
+!standard 10.1.6 (02)
 !standard  4.1.3 (04)
 !class binding interpretation 02-09-26
+!status Amendment 200Y 04-11-30
+!status ARG Approved 6-0-1  04-11-21
 !status work item 02-09-26
 !status received 02-09-11
 !qualifier Omission
@@ -62,6 +65,39 @@
 compilation unit. No exception is needed for the case of use clauses within
 a context clause because the name given in a use clause must denote a package,
 and so a generic child unit name is not allowed there.
+
+!corrigendum 10.1.6(2)
+
+@drepl
+Within the @fa<parent_unit_name> at the beginning of a
+@fa<library_item>, and within a @fa<with_clause>, the only declarations that
+are visible are those that are @fa<library_item>s of the environment, and the
+only declarations that are directly visible are those that are root
+@fa<library_item>s of the environment. {notwithstanding} Notwithstanding the
+rules of 4.1.3, an expanded name in a @fa<with_clause> may consist of a
+@fa<prefix> that denotes a generic package and a @fa<selector_name> that
+denotes a child of that generic package. [(The child is necessarily a generic
+unit; see 10.1.1.)]
+@dby
+Within the @fa<parent_unit_name> at the beginning of a
+@fa<library_item>, and within a @fa<with_clause>, the only declarations that
+are visible are those that are @fa<library_item>s of the environment, and the
+only declarations that are directly visible are those that are root
+@fa<library_item>s of the environment.
+
+!corrigendum 10.1.6(5)
+
+@dinsa
+Within a @fa<pragma> that appears at the place of a compilation unit, the
+immediately preceding @fa<library_item> and each of its ancestors is visible.
+The ancestor root @fa<library_item> is directly visible.
+@dinst
+Notwithstanding the rules of 4.1.3, an expanded name in a @fa<with_clause>, a
+@fa<pragma> in a @fa<context_clause>, or a @fa<pragma> that appears at the
+place of a compilation unit} may consist of a @fa<prefix> that denotes a
+generic package and a @fa<selector_name> that denotes a child of that generic
+package. (The child is necessarily a generic unit; see 10.1.1.)
+
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent