CVS difference for ais/ai-00229.txt

Differences between 1.5 and version 1.6
Log of other versions for file ais/ai-00229.txt

--- ais/ai-00229.txt	2001/06/02 04:13:15	1.5
+++ ais/ai-00229.txt	2001/06/03 04:21:30	1.6
@@ -625,3 +625,43 @@
 have an objection to this rule??
 
 *************************************************************
+
+From: Tucker Taft
+Sent: Saturday, June 2, 2001 8:59 AM
+
+
+
+The wording needs some work.  First of all, program units don't have
+"descendants." Only library units have descendants.  Also, we should probably
+always say "generic unit" rather than simply "generic."  Finally, I don't think
+we need to even talk about descendants at all, since where else would P be
+visible? Here is an attempt at an alternative:
+
+   If the subprogram denoted by P is declared within a generic unit and
+   the expression P'Access occurs within a body that does not itself enclose
+   the generic unit, then the ultimate ancestor of S shall be declared
+   with the generic unit.
+
+*************************************************************
+
+From: Randy Brukardt
+Sent: Saturday, June 2, 2001 9:36 PM
+
+This seems to imply that using a 'Access of something declared in an instance
+cannot occur in a body. I suppose the usual hair splitting (about the difference
+between a generic and an instance) protects us, but I think it would be better
+if we were clearer. The "does not itself enclose the generic unit" is tricky,
+too, as it includes the body of the unit itself, but that certainly isn't
+obvious to a casual reading.
+
+So, I guess I'd prefer correcting my attempt to repair the problem with
+descendants than to make the wording tricky and confusing.
+
+How about the following:
+
+"If the subprogram denoted by P is declared within a generic unit, and the
+expression P'Access occurs within the body of that generic unit or in the body
+of a descendant of that generic unit, then the ultimate ancestor of S shall be
+declared within the generic unit."
+
+*************************************************************

Questions? Ask the ACAA Technical Agent