CVS difference for ai12s/ai12-0344-1.txt

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