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

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

--- ai12s/ai12-0086-1.txt	2015/01/27 00:20:56	1.2
+++ ai12s/ai12-0086-1.txt	2015/01/30 05:23:09	1.3
@@ -1,6 +1,7 @@
-!standard 4.3.1(17/3)                              15-01-26    AI12-0086-1/02
+!standard 4.3.1(17/3)                              15-01-28    AI12-0086-1/03
 !standard 4.3.1(19/3)
 !class Amendment 13-10-30
+!status Promising (9-0-1) 15-01-28
 !status work item 13-10-30
 !status received 13-08-22
 !priority Medium
@@ -21,12 +22,12 @@
     type Enum is (Aa, Bb, Cc, ..., Zz);
     subtype S is Enum range Dd .. Hh;
 
-    type Rec (D : Enum) is
+    type Rec (D : Enum) is record
       case D is
         when S => Foo, Bar : Integer;
         when others => null;
       end case;
-    end
+    end record;
 
 The following is illegal because the discriminant is not static, even though
 it can only select a single variant:
@@ -78,7 +79,7 @@
 
 Append to the end of 4.3.1(19):
 
-   If the value of a discriminant that governs a (selected) variant_part
+   If the value of a discriminant that governs a selected variant_part
    P is given by a nonstatic expression, and the evaluation of that
    expression yields a value that does not belong to the nominal subtype
    of the expression, then Constraint_Error is raised.
@@ -233,7 +234,8 @@
    After conversion of the value to the target type, if the target
    subtype is constrained, a check is performed that the value satisfies
    this constraint.
-The proposed wording is also consistent with 5.4(7/3)'s "having a static and constrained nominal subtype".]
+The proposed wording is also consistent with 5.4(7/3)'s "having a static and
+constrained nominal subtype".]
 
 ****************************************************************
 

Questions? Ask the ACAA Technical Agent