CVS difference for ais/ai-00041.txt
--- ais/ai-00041.txt 1999/10/08 23:41:05 1.5
+++ ais/ai-00041.txt 2000/03/07 21:40:39 1.6
@@ -1,4 +1,4 @@
-!standard 08.03 (16) 99-10-07 AI95-00041/11
+!standard 08.03 (16) 00-03-07 AI95-00041/12
!standard 08.03 (18)
!standard 10.01.05 (07)
!standard 12.03 (13)
@@ -50,7 +50,7 @@
-Program unit pragmas within a generic unit and applying to the generic unit
+Library unit pragmas within a generic unit and applying to the generic unit
itself do not apply to instances of the generic unit, unless a specific
semantic rule of the pragma specifies the contrary.
@@ -279,7 +279,12 @@
Pragmas Convention, Export, Import:
-These pragmas are irrelevant, since they cannot be applied to generic units.
+The applicability of these program unit pragmas to generic units is left
+implementation-defined by the ARM. Thus, implementations can choose
+whichever semantics seem most appropriate. Since these pragmas are not
+library unit pragmas, inheritance of the pragma by instances of the generic
+unit does not have the detrimental effects shown earlier in this analysis.
+AI-00199 elaborates further on this issue.
@@ -488,8 +493,9 @@
In the final analysis, alternative 2 appears to have the fewest
disadvantages and presents a uniform general rule, while still allowing
-"overriding" special rules for individual pragmas, as in the case of pragma
+"overriding" special rules for program unit pragmas that are not library
+unit pragmas, as in the case of pragma Inline.
Questions? Ask the ACAA Technical Agent