CVS difference for ai12s/ai12-0432-1.txt
--- ai12s/ai12-0432-1.txt 2021/05/30 00:30:22 1.2
+++ ai12s/ai12-0432-1.txt 2021/06/03 02:16:53 1.3
@@ -1,4 +1,4 @@
-!standard 3.2.4(31/5) 21-05-28 AI12-0432-1/01
+!standard 3.2.4(31/5) 21-06-02 AI12-0432-1/02
!standard 4.6(51.1/5)
!class Amendment 21-05-28
!status work item 21-05-28
@@ -26,7 +26,8 @@
predicate, but there seems no reason the prior value of the LHS should satisfy
the predicate. For example:
- subtype Is_Boiling is Some_Tagged_Type with Is_Boiling.Temp_In_Celsius >= 100;
+ subtype Is_Boiling is Some_Tagged_Type with
+ with Dynamic_Predicate => Is_Boiling.Temp_In_Celsius >= 100;
Is_Boiling(X) := (Temp_In_Celsius => 101, ...);
-- should be OK even if X.Temp_In_Celsius < 100 before the assignment.
Questions? Ask the ACAA Technical Agent