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

Differences between 1.1 and version 1.2
Log of other versions for file ai05s/ai05-0122-1.txt

--- ai05s/ai05-0122-1.txt	2008/10/18 05:38:50	1.1
+++ ai05s/ai05-0122-1.txt	2010/06/13 01:26:09	1.2
@@ -1,15 +1,16 @@
-!standard 10.1.2(12-16/2)                                            08-10-17  AI05-0122-1/00
+!standard 10.1.2(12/2)                               10-06-06  AI05-0122-1/01
 !class binding interpretation 08-10-17
 !status work item 08-10-17
 !status received 08-08-22
 !priority Low
 !difficulty Medium
 !qualifier Omission
-!subject Private with and generic children
+!subject Private with and children of generics
-** TBD **
+Add a rule about children of generics as part of the rule on
+what can be done with library items mentioned only in a private with.
@@ -56,13 +57,20 @@
-** TBD **
+Revise 10.1.2(12/3) (as modified by AI05-0077-1):
+    A name denoting a library_item {(or the corresponding declaration for
+    a child of a generic within an instance -- see 10.1.1), if it} [that]
+    is visible only due to being mentioned in one or more with_clauses that
+    include the reserved word private{,} shall appear only within:
-The answer is obvious, but how to get there is not at all obvious.
-Likely we need some horrible glop of wording to handle just this
-one silly case.
+We include the wording from 10.1.1 associated with the visibility of
+children of generic within instances, into the paragraph that talks about
+a private with clause. An alternative was to add a rule about private
+with clauses where children of generics are discussed in 10.1.1. The
+approach we adopted seemed to require less additional wording.
 --!corrigendum 10.1.2(xx/2)

Questions? Ask the ACAA Technical Agent