CVS difference for ais/ai-00199.txt

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

--- ais/ai-00199.txt	1999/03/30 00:33:14	1.2
+++ ais/ai-00199.txt	1999/04/15 16:54:19	1.3
@@ -1,5 +1,6 @@
-!standard 13.09    (03)                               99-03-23  AI95-00199/02
+!standard 13.09    (03)                               99-04-15  AI95-00199/03
 !class binding interpretation 98-03-27
+!status ARG approved (with editorial changes) 8-0-2 99-03-25
 !status work item 98-04-02
 !status received 98-03-27
 !reference AI95-00041
@@ -9,13 +10,19 @@
 
 !summary
 
-Program unit pragmas that are not library-unit pragmas, when
-applied to a generic unit, apply to its instances.  This represents
-a partial reversal of AI-00041.
+The following Implementation Advice is added:
 
+    Program unit pragmas that are not library-unit pragmas, when
+    supported for a generic unit, should apply to all instances of the
+    generic for which there is not an overriding pragma applied directly
+    to the instance.
+
+This represents a partial reversal of AI-00041.
+
 !question
 
-Does pragma convention for a generic unit apply to instances? (Yes.)
+Does pragma convention for a generic unit apply to
+instances? (Yes, if supported.)
 
 !recommendation
 
@@ -52,9 +59,9 @@
 pragmas (subject to the usual recommendations about "good taste"
 in pragmas).
 
-Although a program unit pragma on a generic is "inherited"
-by its instances, it may be overridden by a pragma applied
-directly to the generic.  This is analogous to the rule
+Although a program unit pragma on a generic should generally be
+"inherited" by its instances, it might be overridden by a pragma applied
+directly to the instance.  This is analogous to the rule
 for inheriting representation items by a derived type from
 its parent type.  The inherited specification may be overridden
 by a direct specification on the derived type itself.
@@ -80,7 +87,7 @@
 on generics, it seems that the natural interpretation is for
 the pragmas to be inherited by all instances.
 
-Even though we propose that non-library unit program unit pragmas be
+Even though we propose that non-library unit program unit pragmas should be
 inherited by instances, we still want to allow overriding of
 such a pragma with one applied directly to the instance.
 Hence, even if a convention is specified on a generic,

Questions? Ask the ACAA Technical Agent