CVS difference for ai12s/ai12-0112-1.txt
--- ai12s/ai12-0112-1.txt 2020/12/09 06:26:42 1.30
+++ ai12s/ai12-0112-1.txt 2021/02/13 04:55:41 1.31
@@ -2577,6 +2577,18 @@
The iterator object needs finalization.>
+!corrigendum A.18.18(6/3)
+
+@drepl
+@xcode< @b<type> Holder @b<is tagged private>;
+ @b<pragma> Preelaborable_Initialization (Holder);>
+@dby
+@xcode< @b<type> Holder @b<is tagged private>
+ @b<with> Stable_Properties =@> (Is_Empty,
+ Tampering_With_The_Element_Prohibited),
+ Default_Initial_Condition =@> Is_Empty (Holder);
+ @b<pragma> Preelaborable_Initialization (Holder);>
+
!corrigendum A.18.18(8/3)
@dinsa
@@ -2598,7 +2610,6 @@
@b<or else raise> Program_Error),
Post =@> (@b<if> Target /= Source @b<then>
Is_Empty (Source) @b<and then> (@b<not> Is_Empty (Target)));>
-
!corrigendum A.18.18(66/3)
Questions? Ask the ACAA Technical Agent