CVS difference for ai12s/ai12-summary.txt

Differences between 1.87 and version 1.88
Log of other versions for file ai12s/ai12-summary.txt

--- ai12s/ai12-summary.txt	2018/04/14 05:01:06	1.87
+++ ai12s/ai12-summary.txt	2018/05/10 06:07:32	1.88
@@ -43,7 +43,7 @@
 
 AI12-0009-1/06   2016-06-07 --  Iterators for Directories and Environment_Variables
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: Work Item     11-11-08
+    Class: Amendment                   Status: Hold          by Letter Ballot (10-0-1) - 18-05-07
     RM References:  A.16 (3/2)   A.16 (36.1/3)   A.16 (98/2)   A.16 (112.1/3)   A.16 (125/3)   A.17 (3/2)   A.17 (8/3)   A.17 (23/3)   A.17 (25/2)   A.17 (28/2)  
 
 AI12-0010-1/02   2011-12-30 --  Stream_IO should be preelaborated
@@ -83,12 +83,12 @@
 
 AI12-0017-1/01   2012-01-25 --  Compile-time-checked exception specifications
     Priority: Medium               Difficulty: Hard
-    Class: Amendment                   Status: Work Item     12-01-25
+    Class: Amendment                   Status: Hold          by Letter Ballot (10-0-1) - 18-05-07
     RM References:  11.04.03 (0)  
 
 AI12-0018-1/02   2014-12-04 --  Entity versioning
     Priority: Very Low             Difficulty: Easy
-    Class: Amendment                   Status: Work Item     12-01-25
+    Class: Amendment                   Status: Hold          by Letter Ballot (10-0-1) - 18-05-07
     RM References:  A.16 (112/3)   A.17 (23/3)  
 
 AI12-0019-1/01   2012-01-26 --  Generic formal record types
@@ -113,7 +113,7 @@
 
 AI12-0023-1/02   2012-12-02 --  Make Root_Stream_Type an interface
     Priority: Medium               Difficulty: Hard
-    Class: Amendment                   Status: Work Item     12-04-20
+    Class: Amendment                   Status: Hold          by Letter Ballot (10-0-1) - 18-05-07
     RM References:  6.01.01 (0/3)  
 
 AI12-0024-1/01   2012-05-02 --  Compile-time detection of range and length errors
@@ -329,7 +329,7 @@
     RM References:  9.05.01 (11)   9.05.01 (18)  
     Alternatives:   AI12-0064-2
 
-AI12-0064-2/15   2017-12-14 --  Nonblocking subprograms
+AI12-0064-2/16   2018-05-07 --  Nonblocking subprograms
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
     RM References:  9.05 (17/3)   9.05.01 (8)   9.05.01 (9)   9.05.01 (10)   9.05.01 (11)   9.05.01 (12)   9.05.01 (13)   9.05.01 (14)   9.05.01 (15)   9.05.01 (16)   9.05.01 (18)   9.05.01 (22.1/2)   3.10.02 (32/3)   4.06 (24.21/4)   4.09 (8)   13.01.01 
(17/3)   13.13.02 (37/1)  
@@ -385,7 +385,7 @@
     Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  14-07-23
     RM References:  4.06 (56)   6.04.01 (6.25/3)   6.04.01 (13.1/3)  
 
-AI12-0075-1/09   2018-04-06 --  Static expression functions
+AI12-0075-1/11   2018-05-07 --  Static expression functions
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-04-06
     RM References:  4.09 (21)   6.08 (3/4)   6.08 (5/4)   6.08 (6/4)   7.03.02 (8.2/5)   7.03.02 (15/4)   7.03.02 (16/4)   7.03.02 (17/4)   7.03.02 (19/4)   7.03.02 (20/5)  
@@ -427,7 +427,7 @@
 
 AI12-0083-1/01   2013-10-24 --  Automatic creation of constructor functions
     Priority: Medium               Difficulty: Hard
-    Class: Amendment                   Status: Hold          13-11-17 (8-0-0)
+    Class: Amendment                   Status: Hold          by Letter Ballot (10-0-1) - 18-05-07
     RM References:  3.09.03 (6/2)  
 
 AI12-0084-1/01   2013-10-28 --  Box expressions in array aggregates
@@ -472,7 +472,7 @@
 
 AI12-0092-1/01   2014-10-13 --  Soft Legality Rules
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: Work Item     14-10-13
+    Class: Amendment                   Status: Hold          by Letter Ballot (10-0-1) - 18-05-07
     RM References:  1.01.05 (4)  
 
 AI12-0093-1/04   2014-05-08 --  Iterator with indefinite cursor
@@ -602,7 +602,7 @@
 
 AI12-0118-1/00   2014-06-20 --  Extended precision in static expressions
     Priority: Very Low             Difficulty: Medium
-    Class: Amendment                   Status: Work Item     14-06-20
+    Class: Amendment                   Status: Hold          by Letter Ballot (10-0-1) - 18-05-07
     RM References:  4.09 (38/2)  
 
 AI12-0119-1/08   2018-03-29 --  Parallel operations
@@ -658,10 +658,10 @@
     Class: Amendment                   Status: No Action     (5-0-3) 15-06-27
     RM References:  B.02 (9)  
 
-AI12-0127-1/14   2018-04-13 --  Partial aggregate notation
+AI12-0127-1/16   2018-05-07 --  Partial aggregate notation
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
-    RM References:  4.03 (2)   4.03 (3/2)   4.03 (4)   4.03.01 (9)   4.03.01 (15/3)   4.03.01 (16/4)   4.03.01 (17/5)   4.03.01 (17.1/2)   4.03.03 (4)   4.03.03 (14)   4.03.03 (17)   4.03.04 (0)   7.05 (2.6/2)  
+    RM References:  4.03 (2)   4.03 (3/2)   4.03 (4)   4.03.01 (9)   4.03.01 (15/3)   4.03.01 (16/4)   4.03.01 (17/5)   4.03.01 (17.1/2)   4.03.03 (4)   4.03.03 (14)   4.03.03 (17/5)   4.03.04 (0)   7.05 (2.6/2)  
 
 AI12-0128-1/09   2016-10-02 --  Exact size access to parts of composite atomic objects
     Priority: Medium               Difficulty: Hard
@@ -958,7 +958,7 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-10
     RM References:  13.14 (15)  
 
-AI12-0187-1/07   2017-12-07 --  Stable properties of abstract data types
+AI12-0187-1/08   2018-05-07 --  Stable properties of abstract data types
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Amendment 1 for Ada 2012  17-11-21
     RM References:  7.03.04 (0)   13.01.01 (4/3)  
@@ -1089,7 +1089,7 @@
 
 AI12-0209-1/00   2016-12-19 --  Refine definition of volatility
     Priority: Low                  Difficulty: Hard
-    Class: Amendment                   Status: Work Item     16-12-19
+    Class: Amendment                   Status: Hold          by Letter Ballot (9-0-2) - 18-05-07
     RM References:  C.06 (8/3)  
 
 AI12-0210-1/00   2016-12-19 --  Type Invariants and Generics
@@ -1112,14 +1112,14 @@
     Class: Amendment                   Status: Work Item     16-12-28
     RM References:  3.08 (3)   13.05.01 (2)  
 
-AI12-0214-1/01   2016-01-09 --  Case pattern matching
+AI12-0214-1/02   2018-05-08 --  Case statements and expressions for composite types
     Priority: Very Low             Difficulty: Hard
-    Class: Amendment                   Status: Work Item     17-01-09
+    Class: Amendment                   Status: Work Item     18-05-07
     RM References:  5.04 (4/3)  
 
 AI12-0215-1/01   2017-01-09 --  Implicit instantiations
     Priority: Low                  Difficulty: Hard
-    Class: Amendment                   Status: Work Item     17-01-09
+    Class: Amendment                   Status: Work Item     18-05-07
     RM References:  12.03.01 (0)  
 
 AI12-0216-1/03   2017-09-07 --  6.4.1(6.16-17/3) should never apply to composite objects
@@ -1134,7 +1134,7 @@
 
 AI12-0218-1/01   2017-01-10 --  Endianness-neutral record representation clauses
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: Work Item     17-01-10
+    Class: Amendment                   Status: Hold          by Letter Ballot (9-1-1) - 18-05-07
     RM References:  13.05.03 (6)  
 
 AI12-0219-1/02   2017-07-21 --  Clarify C interfacing advice
@@ -1142,7 +1142,7 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-07-21
     RM References:  B.01 (38.1/3)   B.03 (69/2)   B.03 (70)  
 
-AI12-0220-1/04   2018-04-05 --  Pre/Post for access-to-subprogram types
+AI12-0220-1/06   2018-05-07 --  Pre/Post for access-to-subprogram types
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-04-05
     RM References:  6.01.01 (1/4)   6.01.01 (2/3)   6.01.01 (4/3)   6.01.01 (19/3)   6.01.01 (28/3)   6.01.01 (29/3)   6.01.01 (39/3)   13.01.01 (12/5)  
@@ -1159,7 +1159,7 @@
 
 AI12-0223-1/00   2017-04-14 --  The co-derivation problem
     Priority: Low                  Difficulty: Hard
-    Class: Amendment                   Status: Work Item     17-04-14
+    Class: Amendment                   Status: Hold          by Letter Ballot (9-1-1) - 18-05-07
     RM References:  3.04 (2/2)  
 
 AI12-0224-1/03   2017-09-07 --  Use of Fortran C Interfacing features
@@ -1259,7 +1259,7 @@
 
 AI12-0243-1/01   2018-01-11 --  Subtypes as primitive arguments
     Priority: Very Low             Difficulty: Medium
-    Class: Amendment                   Status: Work Item     18-01-11
+    Class: Amendment                   Status: Work Item     18-05-07
     RM References:  3.09.02 (10/2)  
 
 AI12-0244-1/02   2018-01-29 --  Check name for Value attributes
@@ -1274,7 +1274,7 @@
 
 AI12-0246-1/01   2018-01-12 --  Fixed first indices for variable-length arrays
     Priority: Very Low             Difficulty: Medium
-    Class: Amendment                   Status: Work Item     18-01-12
+    Class: Amendment                   Status: Hold          by Letter Ballot (9-1-1) - 18-05-07
     RM References:  3.06.01 (3)  
 
 AI12-0247-1/01   2018-01-18 --  Potentially Blocking goes too far for Detect_Blocking
@@ -1316,7 +1316,7 @@
 
 AI12-0253-1/01   2018-01-26 --  Saturation arithmetic for scalar types
     Priority: Very Low             Difficulty: Medium
-    Class: Amendment                   Status: Work Item     18-01-26
+    Class: Amendment                   Status: Hold          by Letter Ballot (10-0-1) - 18-05-07
     RM References:  A.05.04 (0)  
 
 AI12-0254-1/03   2018-03-06 --  Bounded_Indefinite_Holders
@@ -1336,10 +1336,10 @@
 
 AI12-0257-1/01   2018-02-22 --  Generalize prefix views
     Priority: Very Low             Difficulty: Medium
-    Class: Amendment                   Status: Work Item     18-02-22
+    Class: Amendment                   Status: Hold          by Letter Ballot (8-0-3) - 18-05-07
     RM References:  4.01.03 (9.1/2)   4.01.03 (9.2/2)  
 
-AI12-0258-1/03   2018-04-13 --  Containers and controlled element types
+AI12-0258-1/04   2018-04-26 --  Containers and controlled element types
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  18-03-05
     RM References:  A.18 (10/4)  
@@ -1354,7 +1354,7 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-03-05
     RM References:  1.02 (8/3)   A.03.05 (8/3)   A.03.05 (20/3)   A.03.05 (21/3)   A.03.05 (33/3)   A.03.05 (61/3)  
 
-AI12-0261-1/03   2018-04-13 --  Conflict in "private with" rules
+AI12-0261-1/04   2018-05-07 --  Conflict in "private with" rules
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  18-03-05
     RM References:  10.01.02 (12/3)   10.01.02 (13/2)   10.01.02 (14/2)   10.01.02 (15/2)   10.01.02 (16/2)  
@@ -1369,12 +1369,12 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-03-08
     RM References:  1.01.04 (14.2/3)   2.01 (1/3)   2.01 (3.1/3)   2.01 (4/3)   2.01 (4.1/5)   2.01 (5/3)   2.01 (15/3)   2.01 (4.1/5)   2.01 (5/3)   2.03 (4.1/5)   2.03 (5/3)   3.05.02 (2/3)   3.05.02 (3/3)   3.05.02 (4/3)   A.01 (36.1/3)   A.01 (36.2/3)
   A.03.02 (32.6/5)   A.03.05 (51.2/5)   A.03.05 (55/3)   A.03.05 (59/3)   A.04.10 (3/3)   B.05 (21/5)  
 
-AI12-0264-1/02   2018-04-05 --  Overshifting and overrotating
+AI12-0264-1/03   2018-04-26 --  Overshifting and overrotating
     Priority: Low                  Difficulty: Easy
     Class: Ramification                Status: Amendment 1 for Ada 2012  18-04-05
     RM References:  B.02 (9)  
 
-AI12-0265-1/02   2018-04-04 --  Default_Initial_Condition for types
+AI12-0265-1/03   2018-04-26 --  Default_Initial_Condition for types
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-04-04
     RM References:  7.03.03 (0)   1.01.03 (17.1/5)   11.04.02 (23.2/5)   11.04.02 (23.3/5)  
@@ -1394,19 +1394,19 @@
     Class: Amendment                   Status: Work Item     18-03-29
     RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
 
-AI12-0269-1/03   2018-04-04 --  Aspect No_Return for functions reprise
+AI12-0269-1/04   2018-04-26 --  Aspect No_Return for functions reprise
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-04-04
     RM References:  6.05.01 (0)   6.05.01 (1/3)   6.05.01 (3.1/3)   6.05.01 (3.4/3)   6.05.01 (5/2)   6.05.01 (6/2)   6.05.01 (7/2)   J.15.02 (2/3)   J.15.02 (3/3)   J.15.02 (4/3)  
 
 AI12-0270-1/00   2018-04-09 --  Eliminate differences between use of values and objects
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: Work Item     18-04-09
+    Class: Amendment                   Status: Hold          by Letter Ballot (10-0-1) - 18-05-07
     RM References:  3.03 (11.1/3)   3.03 (12)  
 
 AI12-0271-1/00   2018-04-09 --  Specifying aspects of (anonymous) formal parameters
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: Work Item     18-04-09
+    Class: Amendment                   Status: Hold          by Letter Ballot (8-0-3) - 18-05-07
     RM References:  13.01.01 (3/3)  
 
 AI12-0272-1/01   2018-04-09 --  Contracts for generic formal parameters
@@ -1416,6 +1416,11 @@
 
 AI12-0273-1/00   2018-04-09 --  Contract matching for formal subprograms
     Priority: Very Low             Difficulty: Medium
-    Class: Amendment                   Status: Work Item     18-04-09
+    Class: Amendment                   Status: Hold          by Letter Ballot (10-0-1) - 18-05-07
     RM References:  12.06 (8.9/5)  
+
+AI12-0274-1/01   2018-05-08 --  Case pattern matching
+    Priority: Very Low             Difficulty: Hard
+    Class: Amendment                   Status: Work Item     18-05-07
+    RM References:  5.04 (4/3)  
 

Questions? Ask the ACAA Technical Agent