CVS difference for ai12s/ai12-0344-1.txt
--- ai12s/ai12-0344-1.txt 2020/06/17 00:20:22 1.7
+++ ai12s/ai12-0344-1.txt 2020/06/21 01:51:43 1.8
@@ -1,4 +1,4 @@
-!standard 5.5.3(16/5) 20-06-15 AI12-0344-1/04
+!standard 5.5.3(16/5) 20-06-19 AI12-0344-1/05
!standard 5.5.3(20/5)
!standard 5.5.3(22/5)
!standard 9.10.1(22/5)
@@ -68,6 +68,8 @@
Add after 9.10.1(22/5):
+ Static Semantics
+
The following aspect can be specified for a subprogram P:
Parallel_Calls
@@ -122,9 +124,33 @@
iterators, as it is likely that such early exits will depend on some
sort of mechanism resembling exception handling.
+!corrigendum 5.5.3(0)
+
+@dinsc
+See the conflict file for the changes.
+
+!corrigendum 9.10.1(0)
+
+@dinsc
+See the conflict file for the changes.
+
+!corrigendum H.4(12)
+
+@drepl
+@xhang<@xterm<No_Exceptions>@fa<Raise_statement>s and @fa<exception_handler>s
+are not allowed. No language-defined runtime checks are generated; however, a
+runtime check performed automatically by the hardware is permitted.>
+@dby
+@xhang<@xterm<No_Exceptions>@fa<Raise_statement>s and @fa<exception_handler>s
+are not allowed. No language-defined runtime checks are generated; however, a
+runtime check performed automatically by the hardware is permitted. The
+callable entity associated with a @fa<procedural_iterator> (see 5.5.3) is
+considered to not allow exit, independent of the value of its Allows_Exit
+aspect.>
+
!ASIS
-None.
+No ASIS effect.
!ACATS test
Questions? Ask the ACAA Technical Agent