CVS difference for 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