CVS difference for ai22s/ai22-0007-1.txt
--- ai22s/ai22-0007-1.txt 2021/11/12 06:51:18 1.1
+++ ai22s/ai22-0007-1.txt 2021/11/19 07:42:35 1.2
@@ -1,5 +1,6 @@
-!standard 4.3(6) 21-11-11 AI22-0007-1/01
+!standard 4.3(6) 21-11-18 AI22-0007-1/02
!class binding interpretation 21-11-11
+!status ARG Approved 11-0-0 21-11-18
!status work item 21-11-11
!status received 21-11-10
!priority Low
@@ -26,10 +27,8 @@
Modify 4.3(6):
If an aggregate is of a tagged type, a check is made that its value belongs
to the first subtype of the type. Constraint_Error is raised if this check
- fails. {If the first subtype is subject to a discriminant constraint, then
- the discriminant-checking portion of this check shall be performed
- before the initialization of any non-discriminant components of the
- aggregate object.}
+ fails. {Any discriminant check is check is performed before the
+ initialization of any nondiscriminant component of the aggregate object.}
!discussion
Questions? Ask the ACAA Technical Agent