CVS difference for ai12s/ai12-0436-1.txt
--- ai12s/ai12-0436-1.txt 2021/05/29 23:22:01 1.1
+++ ai12s/ai12-0436-1.txt 2021/06/08 05:46:03 1.2
@@ -1,5 +1,6 @@
!standard 5.6.1(2/5) 21-05-29 AI12-0436-1/01
!class Amendment 21-05-29
+!status Amendment 1-2012 21-06-04
!status work item 21-05-29
!status received 21-05-29
!priority Low
@@ -67,7 +68,7 @@
!wording
Replace "handled_sequence_of_statements" with "sequence_of_statements" in
-5.6.1(2/5).
+5.6.1(2/5) (as well as 5.6.1(1/5) and 5.6.1(3/5)).
!discussion
@@ -77,7 +78,7 @@
as both practice and RM examples show the handler aligned with the "end" for
blocks and accept_statements.
-Note that "handled_sequence_of_statements" is at best a convinience, as one
+Note that "handled_sequence_of_statements" is at best a convenience, as one
can always include a block to include a handler. Indeed, that is such common
practice in Ada that many users will do so even when they don't have to
(blocks with handlers are commonly seen in accept_statements, for instance).
@@ -115,16 +116,18 @@
bare handlers are common in this situation, and someone comes up with
readable way to write these things).
+!corrigendum 5.6.1(0)
+
+@dinsc
+See the conflict file for the changes.
+
!ASIS
-[Not sure. It seems like some new capabilities might be needed,
-but I didn't check - Editor.]
+No ASIS effect.
!ACATS test
-
-ACATS B- and C-Tests are needed to check that the new capabilities are
-supported.
+No ACATS tests needed.
!appendix
Questions? Ask the ACAA Technical Agent