CVS difference for ais/ai-00257.txt

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

--- ais/ai-00257.txt	2001/06/05 00:03:27	1.3
+++ ais/ai-00257.txt	2001/10/19 01:36:44	1.4
@@ -1,5 +1,6 @@
-!standard 13.12   (07)                                01-06-04  AI95-00257/02
+!standard 13.12   (07)                                01-10-18  AI95-00257/03
 !class amendment 01-02-12
+!status ARG approved 9-0-0  01-10-07
 !status work item 01-02-12
 !status received 01-02-12
 !priority Low
@@ -56,17 +57,37 @@
 No_Implementation_Attributes
 
 There are no implementation-defined attributes. This restriction does not apply
-to partitions; a partition may include some compilations to which this
-restrictions apply and some to which this restriction does not apply.
+to partitions; the partition need not obey the restriction even if this
+restriction applies to some compilation unit included in the partition
+(see 13.12).
 
 No_Implementation_Pragmas
 
 There are no implementation-defined pragmas or pragma arguments. This
-restriction does not apply to partitions; a partition may include some
-compilations to which this restrictions apply and some to which this
-restriction does not apply.
+restriction does not apply to partitions; the partition need not obey the
+restriction even if this restriction applies to some compilation unit included
+in the partition (see 13.12).
 
 !example
+
+!corrigendum 13.12(07)
+
+@dinsa
+The set of @fa<restrictions> is implementation defined.
+@dinss
+The following @i<restriction>_@fa<identifier>s are language-defined (additional
+restrictions are defined in the Specialized Needs Annexes):
+
+@xhang<@xterm<No_Implementation_Attributes>
+There are no implementation-defined attributes. This restriction does not apply
+to partitions; the partition need not obey the restriction even if this
+restriction applies to some compilation unit included in the partition.>
+
+@xhang<@xterm<No_Implementation_Pragmas>
+There are no implementation-defined pragmas or pragma arguments. This
+restriction does not apply to partitions; the partition need not obey the
+restriction even if this restriction applies to some compilation unit included
+in the partition.>
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent