CVS difference for ais/ai-00041.txt

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

--- ais/ai-00041.txt	2000/03/07 21:40:39	1.6
+++ ais/ai-00041.txt	2000/03/09 03:09:40	1.7
@@ -61,13 +61,6 @@
 
 A respective note to the user should be added to 10.1.5.
 
-ARM 12.3(14) should read ({...} indicates added text): "...except in the case
-of a name that denotes the generic_declaration or some declaration within
-the generic unit; {in the first case, the corresponding name in the instance
-then also denotes the current instance (see 8.6), in the second case} the
-corresponding name in the instance then denotes the corresponding copy of
-the denoted declaration. ..."
-
 The anomaly of pragma INLINE applying to all instances is based on an
 explicit semantic rule of the pragma. (It may be regarded by implementers as
 an example of how implementation-defined pragmas for generic units may well
@@ -380,28 +373,6 @@
 (Irrespective of such literal reading of the standard, we note that surely
  the semantics of a pragma without argument should not differ from the
  semantics of the pragma naming the unit explicitly.)
-
-We note in passing that the wording of 12.3(14) refers, for our case, to "a
-copy of the generic_declaration". This concept is not used anywhere else.
-This copy cannot be the "instance", which is a package, not a generic
-package, and hence could not be declared by that copy. What semantics are
-associated with this copy ? Is it an implicit declaration ? Does it
-introduce a name ?  One can surmise that an unfortunate abbreviation has
-taken place here that clouds the issue at hand by stating that the usage
-name not only denotes the generic_declaration and also the current instance
-(ARM 8.3(16,18)), but also this (rather undefined) copy of the
-generic_declaration.
-
-12.3(14) should be expanded to read "...except in the case of a name that
-denotes the generic_declaration or some declaration within the generic
-unit; {in the first case, the corresponding name in the instance then also
-denotes the current instance (see 8.6), in the second case} the
-corresponding name in the instance then denotes the corresponding copy of
-the denoted declaration. ..."
-
-The insertion merely reiterates 8.3(18), separating this case from the
-(correct) semantics of other usage names denoting nested declarations
-within the generic unit and instance, respectively.
 
 Program unit pragmas applied to generic subprograms are not affected by the
 current instance rule, since perforce they occur outside the generic unit;

Questions? Ask the ACAA Technical Agent