CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2017/01/14 02:55:52	1.70
+++ ai12s/ai12-summary.txt	2017/04/21 05:43:53	1.71
@@ -16,7 +16,7 @@
     Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  15-01-28
     RM References:  8.02 (11)   13.11.03 (1/3)   13.11.03 (3.1/3)   13.11.03 (4/3)   13.11.03 (4.1/3)   13.11.03 (5/3)   13.11.03 (6.2/3)   13.11.03 (6.3/3)  
 
-AI12-0004-1/04   2016-11-11 --  Normalization and allowed characters for identifiers
+AI12-0004-1/05   2017-04-20 --  Normalization and allowed characters for identifiers
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-11
     RM References:  2.01 (4.1/2)   2.03 (4/3)   A.03.02 (4/3)   A.03.02 (32.5/3)   A.03.05 (18/3)   A.03.05 (51/3)  
@@ -293,7 +293,7 @@
     Class: Amendment                   Status: No Action     (5-0-4) 15-06-28
     RM References:  13.10 (3)  
 
-AI12-0058-1/05   2016-10-08 --  The Fortran Annex needs updating to support Fortran 2008
+AI12-0058-1/06   2017-04-20 --  The Fortran Annex needs updating to support Fortran 2008
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-10-27
     RM References:  B.05 (10)   B.05 (18)   B.05 (21)   B.05 (31)   B.05 (33)   1.02 (3/2)  
@@ -324,15 +324,15 @@
     RM References:  6.05.01   
 
 AI12-0064-1/05   2015-10-07 --  Nonblocking subprograms
-    Priority: Medium               Difficulty: Medium
+    Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     13-04-22
     RM References:  9.05.01 (11)   9.05.01 (18)  
     Alternatives:   AI12-0064-2
 
-AI12-0064-2/05   2016-11-14 --  Nonblocking subprograms
+AI12-0064-2/10   2017-02-15 --  Nonblocking subprograms
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     15-12-18
-    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)   3.10.02 (33/3)   4.05 (9)   4.06 (24.21/4)   4.09 (8)   13.01.01 (17/4)  
 13.13.02 (37/1)  
+    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 (33/3)   4.06 (24.21/4)   4.09 (8)   13.01.01 
(17/4)   13.13.02 (37/1)  
     Alternatives:   AI12-0064-1
 
 AI12-0065-1/02   2013-12-17 --  Descendants of incomplete views
@@ -340,10 +340,10 @@
     Class: Ramification                Status: Corrigendum 1 for Ada 2012  13-12-17
     RM References:  7.03.01 (5.2/3)  
 
-AI12-0066-1/01   2013-12-18 --  If it ain't broke...
+AI12-0066-1/02   2017-04-13 --  If it ain't broke...
     Priority: Low                  Difficulty: Easy
     Class: Confirmation                Status: Received      13-03-27
-    RM References:  4.04 (7/3)   8.05.01 (6)   A.10.08 (8)   A.10.09 (13)  
+    RM References:  3.02.04 (21/3)   4.04 (7/3)   8.05.01 (6)   A.10.08 (8)   A.10.09 (13)  
 
 AI12-0067-1/02   2013-10-07 --  Accessibility level of explicitly aliased parameters of procedures and entries
     Priority: Low                  Difficulty: Easy
@@ -918,7 +918,7 @@
     Class: Presentation                Status: Amendment 1 for Ada 2012  16-02-29
     RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)   11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.
07 (19/2)   12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  
 
-AI12-0179-1/04   2016-11-11 --  Failure of postconditions of language-defined units
+AI12-0179-1/05   2017-04-20 --  Failure of postconditions of language-defined units
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-10
     RM References:  1.01.03 (17/3)   11.04.02 (23.1/3)  
@@ -938,10 +938,10 @@
     Class: Ramification                Status: Amendment 1 for Ada 2012  16-07-21
     RM References:  13.01.01 (16/3)  
 
-AI12-0183-1/02   2016-12-15 --  Presentation errors in Ada 2012 post Corrigendum 1
+AI12-0183-1/03   2017-04-06 --  Presentation errors in Ada 2012 post Corrigendum 1
     Priority: Low                  Difficulty: Easy
     Class: Presentation                Status: Amendment 1 for Ada 2012  16-03-23
-    RM References:  D.04 (4)   D.04 (4)   D.04 (7/5)  
+    RM References:  3.07.02 (3/3)   4.09 (2)   D.04 (4)   D.04 (7/5)  
 
 AI12-0184-1/03   2016-10-02 --  Long Long C Data Types
     Priority: Low                  Difficulty: Easy
@@ -953,12 +953,12 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
     RM References:  6.01.01 (7/4)   6.01.01 (8/3)   6.01.01 (26.10/4)   6.01.01 (29/3)  
 
-AI12-0186-1/04   2016-11-10 --  Profile freezing for the Access attribute
+AI12-0186-1/05   2017-04-20 --  Profile freezing for the Access attribute
     Priority: Low                  Difficulty: Hard
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-10
     RM References:  13.14 (15)  
 
-AI12-0187-1/03   2016-12-28 --  Stable properties of abstract data types
+AI12-0187-1/04   2017-04-05 --  Stable properties of abstract data types
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     16-06-02
     RM References:  7.03.03 (0)   13.01.01 (4/3)  
@@ -1015,7 +1015,7 @@
     Alternatives:   AI12-0197-2  AI12-0197-3  AI12-0197-4
 
 AI12-0197-2/02   2016-06-13 --  Passive tasks
-    Priority: Medium               Difficulty: Hard
+    Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Work Item     16-06-12
     RM References:  9.01 (21)  
     Alternatives:   AI12-0197-1  AI12-0197-3  AI12-0197-4
@@ -1037,7 +1037,7 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-07-21
     RM References:  6.01.01 (22.1/4)  
 
-AI12-0199-1/03   2016-11-14 --  Abstract subprogram calls in class-wide invariant expressions
+AI12-0199-1/04   2017-04-20 --  Abstract subprogram calls in class-wide invariant expressions
     Priority: Low                  Difficulty: Hard
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  16-11-14
     RM References:  7.03.02 (5/4)   7.03.02 (8/3)  
@@ -1111,4 +1111,84 @@
     Priority: Very Low             Difficulty: Easy
     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
+    Priority: Very Low             Difficulty: Hard
+    Class: Amendment                   Status: Work Item     17-01-09
+    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
+    RM References:  12.03.01 (0)  
+
+AI12-0216-1/01   2017-01-09 --  6.4.1(6.16-17/3) goes too far
+    Priority: Very Low             Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     17-01-09
+    RM References:  6.04.01 (6.17/3)  
+
+AI12-0217-1/01   2017-01-09 --  6.1.1(27/3) should be less restrictive
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     17-01-09
+    RM References:  6.01.01 (24/3)   6.01.01 (27/3)  
+
+AI12-0218-1/01   2017-01-10 --  Endianness-neutral record representation clauses
+    Priority: Low                  Difficulty: Medium
+    Class: Amendment                   Status: Work Item     17-01-10
+    RM References:  13.05.03 (6)  
+
+AI12-0219-1/01   2017-04-07 --  Clarify C interfacing advice
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     17-04-07
+    RM References:  B.01 (38.1/3)   B.03 (69/2)   B.03 (70)  
+
+AI12-0220-1/01   2017-04-07 --  Pre/Post for access-to-subprogram types
+    Priority: Low                  Difficulty: Hard
+    Class: Amendment                   Status: Work Item     17-04-07
+    RM References:  6.01.01 (1/4)   6.01.01 (39/3)  
+
+AI12-0221-1/01   2017-04-10 --  Defaults for in out parameters
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     17-04-10
+    RM References:  6.01 (19)  
+
+AI12-0222-1/01   2017-04-10 --  Representation aspects and private types
+    Priority: Medium               Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     17-04-10
+    RM References:  13.01 (9/5)   13.01 (9.1/4)   13.01 (9.2/5)  
+
+AI12-0223-1/00   2017-04-14 --  The co-dervation problem
+    Priority: Low                  Difficulty: Hard
+    Class: Amendment                   Status: Work Item     17-04-14
+    RM References:  3.04 (2/2)  
+
+AI12-0224-1/01   2017-04-14 --  Use of Fortran C Interfacing features
+    Priority: Low                  Difficulty: Easy
+    Class: Presentation                Status: Work Item     17-02-22
+    RM References:  B.05 (27)  
+
+AI12-0225-1/02   2017-04-19 --  Prefix of Obj'Image
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     17-04-18
+    RM References:  3.05 (55.1/4)  
+
+AI12-0226-1/01   2017-04-18 --  Generalize expressions that are objects
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     17-04-18
+    RM References:  3.03 (11.1/3)   3.03 (12)   3.03 (21/3)   3.03 (22)   3.03 (23.7/3)   3.10 (9/3)   4.06 (58.1/4)   4.06 (58.4/4)  
+
+AI12-0227-1/01   2017-04-19 --  Evaluation of nonstatic universal expressions when no operators are involved
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     17-04-19
+    RM References:  4.04 (10)   8.06 (29)  
+
+AI12-0228-1/01   2017-04-19 --  Properties of qualified expressions used as names
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     17-04-19
+    RM References:  3.03 (23.7/3)   3.10 (9/3)  
+
+AI12-0229-1/01   2017-04-19 --  Type renaming
+    Priority: Low                  Difficulty: Medium
+    Class: Amendment                   Status: Work Item     17-04-19
+    RM References:  8.05.06 (0)  
 

Questions? Ask the ACAA Technical Agent