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

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

--- ai12s/ai12-0096-1.txt	2014/02/13 04:50:10	1.1
+++ ai12s/ai12-0096-1.txt	2014/07/15 01:42:34	1.2
@@ -1,5 +1,7 @@
 !standard 4.6(57/3)                                  14-02-12  AI05-0096-1/01
 !class binding interpretation 14-02-12
+!status Corrigendum 2015 14-07-14
+!status ARG Approved 8-0-0  13-06-28
 !status work item 14-02-12
 !status received 13-12-16
 !priority Low
@@ -45,6 +47,17 @@
 We don't want to repeat the relatively complex rules for the evaluation of the
 Predicate_Failure aspect anywhere, so we simply refer to them here. (At least
 that will eliminate one potential problem in the future.)
+
+!corrigendum 4.6(57/3)
+
+@drepl
+If an Accessibility_Check fails, Program_Error is raised. If a predicate check
+fails, Assertions.Assertion_Error is raised. Any other check associated with a
+conversion raises Constraint_Error if it fails.
+@dby
+If an Accessibility_Check fails, Program_Error is raised. If a predicate check
+fails, the effect is as defined in subclause 3.2.4, "Subtype Predicates". Any
+other check associated with a conversion raises Constraint_Error if it fails.
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent