CVS difference for ai22s/ai22-0032-1.txt
--- ai22s/ai22-0032-1.txt 2022/01/27 02:42:23 1.1
+++ ai22s/ai22-0032-1.txt 2022/01/28 07:06:50 1.2
@@ -1,4 +1,4 @@
-!standard 4.3(4/5) 22-01-26 AI22-0032-1/01
+!standard 4.3(4/5) 22-01-27 AI22-0032-1/02
!standard 4.3.5(11/5)
!class binding interpretation 22-01-26
!status work item 22-01-26
@@ -52,7 +52,7 @@
(1) 4.3(4) originally disallowed all aggregates from being class-wide. It was
modified for Ada 2022 to allow delta_aggregates to be of a class-wide type (as
-the specific type can be retrieved from the base_expressions). The rule
+the specific type can be retrieved from the base_expression). The rule
didn't need to mention array_aggregates as those cannot be class-wide anyway.
But the change was made before container_aggregates were defined, and it was
forgotten to disallow those.
@@ -88,7 +88,7 @@
illegal calls.
For all of these reasons, we need an explicit rule to ban abstract subprograms
-from being using in an Aggregate aspect for a nonabstract type. Note that we
+from being used in an Aggregate aspect for a nonabstract type. Note that we
do not need an additional rule to ban this for any derived type that inherits
the Aggregate aspect, as this aspect is nonoverridable, and the Legality Rules
associated with a nonoveriddable aspect are rechecked for each derived type
Questions? Ask the ACAA Technical Agent