CVS difference for ais/ai-00212.txt

--- ais/ai-00212.txt	2000/12/07 04:35:34	1.4
+++ ais/ai-00212.txt	2002/10/29 20:24:57	1.5
@@ -1,5 +1,7 @@
-!standard 10.01.05  (09)                               00-11-13  AI95-00212/01
+!standard 10.01.05  (09)                               02-10-23  AI95-00212/02
 !class binding interpretation 99-03-26
+!status Amendment 200Y 02-10-23
+!status ARG approved 10-0-0  02-10-12
 !status work item 00-11-13
 !status received 98-11-21
 !priority Low
@@ -16,7 +18,7 @@
 in individual compilations for the same partition or system.
 
 For other configuration pragmas, a restriction that requires the pragmas
-to be given as stand-alone pragmas, is not permitted.
+to be given as stand-alone pragmas is not permitted.
 
 !question
 
@@ -31,15 +33,8 @@
 
 !recommendation
 
-For configuration pragmas that select partition-wide or system-wide
-options, an implementation may impose the restriction that the pragma
-be given as a stand-alone pragma as per the Implementation Permission
-10.1.5(9). The implementation shall then also support confirming pragmas
-in individual compilations for the same partition or system.
+(See Summary.)
 
-For other configuration pragmas, a restriction that requires the pragmas
-to be given as stand-alone pragmas, is not permitted.
-
 !wording
 
 The Implementation Permission 10.1.5(9) should be replaced by the
@@ -75,6 +70,24 @@
 It also eliminates a portability problem with code that adheres to the
 documentation convention of including configuration pragmas with each
 unit that requires them.
+
+!corrigendum 10.1.5(9)
+
+@drepl
+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.
+@dby
+An implementation may require that configuration pragmas that select
+partition-wide or system-wide options be compiled when the environment
+contains no @fa<library_item>s other than those of the predefined environment.
+In this case, the implementation must still accept configuration pragmas
+in individual compilations that confirm the initially selected
+partition-wide or system-wide options.
+
+!ACATS test
+
+Existing ACATS tests take advantage of this capability.
 
 !appendix