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

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