CVS difference for ais/ai-00041.txt
--- ais/ai-00041.txt 1999/08/31 22:53:53 1.3
+++ ais/ai-00041.txt 1999/09/16 20:40:28 1.4
@@ -1,4 +1,4 @@
-!standard 08.03 (16) 99-08-31 AI95-00041/09
+!standard 08.03 (16) 99-09-15 AI95-00041/10
!standard 08.03 (18)
!standard 10.01.05 (02)
!standard 10.01.05 (07)
@@ -496,24 +496,24 @@
!corrigendum 10.01.05(2)
@drepl
-Certain pragmas are defined to be @i<program unit pragmas>. A name given as
-the argument of a program unit pragma shall resolve to denote the
+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 names given as arguments, the @fa<pragma> applies to the
-immediately enclosing program unit.
+unit(s). If there are no @fa<name>s given as arguments, the @fa<pragma>
+applies to the immediately enclosing program unit.
@dby
-Certain pragmas are defined to be @i<program unit pragmas>. A name given as
-the argument of a program unit pragma shall resolve to denote the
+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 names 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
+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.
@@ -521,7 +521,7 @@
@dinsa
An implementation may place restrictions on configuration pragmas, so
-long as it allows them when the environment contains no @fa<library_items>
+long as it allows them when the environment contains no @fa<library_item>s
other than those of the predefined environment.
@dinst
NOTE@hr
Questions? Ask the ACAA Technical Agent