CVS difference for ais/ai-00041.txt

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

--- ais/ai-00041.txt	1999/09/16 20:40:28	1.4
+++ ais/ai-00041.txt	1999/10/08 23:41:05	1.5
@@ -1,8 +1,6 @@
-!standard 08.03    (16)                               99-09-15  AI95-00041/10
+!standard 08.03    (16)                               99-10-07  AI95-00041/11
 !standard 08.03    (18)
-!standard 10.01.05 (02)
 !standard 10.01.05 (07)
-!standard 10.01.05 (09)
 !standard 12.03    (13)
 !standard 12.03    (14)
 !class binding interpretation 95-06-25
@@ -493,63 +491,17 @@
 "overriding" special rules for individual pragmas, as in the case of pragma
 Inline.
 
-!corrigendum 10.01.05(2)
+!corrigendum 10.01.05(7)
 
-@drepl
-Certain @fa<pragma>s are defined to be @i<program unit pragmas>. A @fa<name>
-given as the argument of a program unit pragma shall resolve to denote the
-declarations or renamings of one or more program units that occur immediately
-within the declarative region or @fa<compilation> in which the @fa<pragma> immediately
-occurs, or it shall resolve to denote the declaration of the immediately
-enclosing program unit (if any); the @fa<pragma> applies to the denoted program
-unit(s).  If there are no @fa<name>s given as arguments, the @fa<pragma>
-applies to the immediately enclosing program unit.
-@dby
-Certain @fa<pragma>s are defined to be @i<program unit pragmas>. A @fa<name>
-given as the argument of a program unit pragma shall resolve to denote the
-declarations or renamings of one or more program units that occur immediately
-within the declarative region or @fa<compilation> in which the @fa<pragma> immediately
-occurs, or it shall resolve to denote the declaration of the immediately
-enclosing program unit (if any); the @fa<pragma> applies to the denoted program
-unit(s).  If there are no @fa<name>s given as arguments, the @fa<pragma>
-applies to the immediately enclosing program unit. Program unit pragmas given
-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
-@fa<pragma> specifies the contrary.
-
-!corrigendum 10.01.05(9)
-
 @dinsa
-An implementation may place restrictions on configuration pragmas, so
-long as it allows them when the environment contains no @fa<library_item>s
-other than those of the predefined environment.
+Certain program unit pragmas are defined to be @i<library unit pragmas>. The
+name, if any, in a library unit pragma shall denote the declaration of a
+library unit.
 @dinst
-NOTE@hr
-To apply a program unit pragma to an instance, it must be specified
-for the instance. A program unit pragma in the generic unit usually
-does not apply to any instances.
-
-!corrigendum 12.03(14)
-
-@drepl
-The interpretation of each construct within a generic declaration or
-body is determined using the overloading rules when that generic declaration
-or body is compiled. In an instance, the interpretation of each (copied)
-construct is the same, except in the case of a name that denotes the
-@fa<generic_declaration> or some declaration within the generic unit;
-the corresponding name in the instance then denotes the corresponding copy
-of the denoted declaration. The overloading rules do not apply in the instance.
-@dby
-The interpretation of each construct within a generic declaration or
-body is determined using the overloading rules when that generic declaration
-or body is compiled. In an instance, the interpretation of each (copied)
-construct is the same, except in the case of a name that denotes the
-@fa<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 overloading rules do not apply
-in the instance.
+@i<@s8<Static Semantics>>
+
+A program unit pragma that applies to a generic unit applies
+to an instance of the generic unless the instance has an overriding pragma.
 
 !ACATS test
 
@@ -901,5 +853,12 @@
 
 - Bob
 
+****************************************************************
+
+!from Randy Brukardt  99-10-07
+
+At the recent ARG meeting, it was pointed out that the proposed change
+to 12.3(14) is in fact covered by 8.6(18). Erhard will update the AI to
+reflect this and other changes.
 
 ****************************************************************

Questions? Ask the ACAA Technical Agent