CVS difference for ai22s/ai22-0032-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file 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