CVS difference for ai12s/ai12-0084-1.txt

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0084-1.txt

--- ai12s/ai12-0084-1.txt	2013/10/29 04:32:49	1.2
+++ ai12s/ai12-0084-1.txt	2014/01/05 04:25:25	1.3
@@ -1,5 +1,7 @@
 !standard 4.3.3(23.1/2)                                   13-10-28  AI05-0084-1/01
 !class binding interpretation 13-10-28
+!status Corrigendum 2014 13-12-06
+!status ARG Approved 9-0-1  13-11-15
 !status work item 13-10-28
 !status received 13-06-12
 !priority Low
@@ -56,6 +58,23 @@
 for record aggregates (where default expressions are used, of course), and
 it also matches the behavior of all known Ada 2012 implementations. (It still
 will be documented as an inconsistency, of course.)
+
+!corrigendum 4.3.3(23.1/2)
+
+@drepl
+Each @fa<expression> in an
+@fa<array_component_association> defines the value for the associated
+component(s). For an @fa<array_component_association> with <@>, the associated
+component(s) are initialized by default as for a stand-alone object of the
+component subtype (see 3.3.1).
+@dby
+Each @fa<expression> in an
+@fa<array_component_association> defines the value for the associated
+component(s). For an @fa<array_component_association> with <@>, the associated
+component(s) are initialized to the Default_Component_Value
+of the array type if this aspect has been specified for the array type;
+otherwise, they are initialized by default as for a stand-alone object of the
+component subtype (see 3.3.1).
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent