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

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0247-1.txt

--- ai12s/ai12-0247-1.txt	2018/01/27 04:54:51	1.2
+++ ai12s/ai12-0247-1.txt	2018/01/30 05:07:24	1.3
@@ -3,6 +3,8 @@
 !standard 9.5.1(18/5)
 !standard H.5(5/2)
 !class binding interpretation 18-01-18
+!status Amendment 1-2012 18-01-29
+!status ARG Approved 11-0-0  18-01-29
 !status work item 15-06-04
 !status received 15-04-28
 !priority Low
@@ -106,13 +108,38 @@
 "during a protected action", which is proper dynamic wording. We've corrected
 this as well.
 
+!corrigendum 9.5(17/3)
+
+@drepl
+Force a conflict with AI12-0064-2.
+@dby
+Change in conflict file.
+
+!corrigendum 9.5.1(18)
+
+@drepl
+Force a conflict with AI12-0064-2.
+@dby
+Change in conflict file.
+
+!corrigendum H.5(5/2)
+
+@drepl
+An implementation is required to detect a potentially blocking operation within
+a protected operation, and to raise Program_Error (see 9.5.1). 
+@dby
+An implementation is required to detect a potentially blocking operation during
+a protected operation, and to raise Program_Error (see 9.5.1). 
+
 !ASIS
 
 No ASIS effect.
 
 !ACATS test
 
-Bounded errors are not usefully testable.
+Bounded errors are not usefully testable. We must check existing
+Detect_Blocking tests that they do not require this case to raise
+Program_Error.
 
 !appendix
 

Questions? Ask the ACAA Technical Agent