CVS difference for ais/ai-00199.txt

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

--- ais/ai-00199.txt	1999/08/31 22:53:56	1.6
+++ ais/ai-00199.txt	1999/10/08 23:41:06	1.7
@@ -1,4 +1,4 @@
-!standard 10.01.05 (09)                               99-08-31  AI95-00199/04
+!standard 10.01.05 (07)                               99-10-07  AI95-00199/05
 !class binding interpretation 98-03-27
 !status Corrigendum 2000 99-07-27
 !status WG9 approved 99-06-12
@@ -100,18 +100,19 @@
 Hence, even if a convention is specified on a generic,
 a pragma on a particular instance may override that convention.
 
-!corrigendum 10.01.05(9)
+!corrigendum 10.01.05(7)
 
 @dinsa
-An implementation may place restrictions on configuration pragmas, so
-long as it allows them when the environment contains no library_items other
-than those of the predefined environment.
-@dinss
-@i<@s8<Implementation Advice>>@hr
-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.
+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
+@i<@s8<Static Semantics>>
+
+A library unit pragma that applies to a generic unit does not apply to its
+instances. Any other 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
 

Questions? Ask the ACAA Technical Agent