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

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

--- ai12s/ai12-0100-1.txt	2014/05/13 00:28:52	1.1
+++ ai12s/ai12-0100-1.txt	2014/07/15 01:29:59	1.2
@@ -1,5 +1,7 @@
-!standard 4.7(4)                                    14-05-12  AI05-0100-1/01
+!standard 4.7(4)                                    14-05-12  AI05-0100-1/02
 !class binding interpretation 14-05-12
+!status Corrigendum 2015 14-07-14
+!status ARG Approved 9-0-0  13-06-28
 !status work item 14-05-12
 !status received 14-03-11
 !priority Medium
@@ -22,7 +24,7 @@
 the predicate check associated with a subtype conversion doesn't happen here.
 
 3.2(8) defines "belongs" for this context: "The set of values of a subtype 
-onsists of the values of its type that satisfy its constraint and any exclusion
+consists of the values of its type that satisfy its constraint and any exclusion
 of the null value. Such values belong to the subtype."
 
 As we know, a predicate doesn't change the set of values. So it doesn't appear
@@ -45,18 +47,18 @@
 a universal type, converts it to the type determined by the subtype_mark)
 and checks that its value belongs to the subtype denoted by the
 subtype_mark. The exception Constraint_Error is raised if this check
-fails. {A further check that the value satisifies the predicate of the
-subtype_mark is made, and if the check fails, the effect is as defined in
-subclause 3.2.4, "Subtype Predicates".}
+fails. {Furthermore, if predicate checks are enabled for the subtype
+denoted by the subtype_mark, a check is performed as defined in
+subclause 3.2.4, "Subtype Predicates" that the value satifies the predicates
+of the subtype.}
 
-
 !discussion
 
-We certainly want the checks made by a qualified expression to be stricter than
-those associated with an explicit type conversion (the type conversion will
-allow additional things where a conversion happens).
+We certainly want the checks made by a qualified expression to be at least as
+strict as those associated with an explicit type conversion (the type
+conversion will allow additional things where a conversion happens).
 
-For example, we certainly
+For example:
 
    subtype Even is Natural with Dynamic_Predicate => Even mod 2 = 0;
 
@@ -89,10 +91,10 @@
 a universal type, converts it to the type determined by the @fa<subtype_mark>)
 and checks that its value belongs to the subtype denoted by the
 @fa<subtype_mark>. The exception Constraint_Error is raised if this check
-fails. A further check that the value satisifies the predicate of the
-@fa<subtype_mark> is made, and if the check fails, the effect is as defined in
-subclause 3.2.4, "Subtype Predicates".
-
+fails. Furthermore, if predicate checks are enabled for the subtype
+denoted by the @fa<subtype_mark>, a check is performed as defined in
+subclause 3.2.4, "Subtype Predicates" that the value satifies the predicates
+of the subtype.
 !ASIS
 
 No ASIS effect.

Questions? Ask the ACAA Technical Agent