CVS difference for ais/ai-00256.txt

Differences between 1.11 and version 1.12
Log of other versions for file ais/ai-00256.txt

--- ais/ai-00256.txt	2003/06/28 00:33:30	1.11
+++ ais/ai-00256.txt	2004/11/14 06:37:01	1.12
@@ -1,6 +1,7 @@
-!standard 13.11.01 (01)                                03-05-02  AI95-00256/08
+!standard 13.11.01 (01)                                04-11-07  AI95-00256/09
 !standard  A.12.01 (30)
 !standard  G.02.02 (03)
+!standard  7.06.01 (14)
 !standard  7.06.01 (16)
 !standard  7.04 (09)
 !standard 10.02 (09)
@@ -162,6 +163,16 @@
 The completion of a deferred constant declaration shall
 occur before the constant is frozen (see 13.14).
 
+!corrigendum 7.06.01(12)
+
+@drepl
+The target of an assignment statement is finalized before copying in the
+new value, as explained in 7.6.
+@dby
+The target of an @fa<assignment_statement> is finalized before copying in the
+new value, as explained in 7.6.
+
+
 !corrigendum 7.06.01(16)
 
 @drepl
@@ -172,13 +183,13 @@
 as part of an assignment statement, any other adjustments due to be performed
 are performed, and then Program_Error is raised.>
 @dby
-@xbullet<For an Adjust invoked as part of assignment operations other than those
-invoked as part of an assignment statement, other adjustments due to be
-performed might or might not be performed, and then Program_Error is raised.
+@xbullet<For an Adjust invoked as part of assignment operations other than
+those invoked as part of an @fa{assignment_statement}, other adjustments due to
+be performed might or might not be performed, and then Program_Error is raised.
 During its propagation, finalization might or might not be applied to objects
-whose Adjust failed. For an Adjust invoked as part of an assignment statement,
-any other adjustments due to be performed are performed, and then Program_Error
-is raised.>
+whose Adjust failed. For an Adjust invoked as part of an
+@fa<assignment_statement>, any other adjustments due to be performed are
+performed, and then Program_Error is raised.>
 
 !corrigendum 10.02(09)
 

Questions? Ask the ACAA Technical Agent