CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2016/06/08 02:16:07	1.61
+++ ai12s/ai12-summary.txt	2016/08/05 07:02:15	1.62
@@ -6,10 +6,10 @@
     Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-08
     RM References:  13.02 (6.1/2)   13.02 (7)   13.02 (8)   13.02 (9/3)   C.06 (8.1/3)   C.06 (10)   C.06 (11)   C.06 (21)   C.06 (24)  
 
-AI12-0002-1/02   2012-06-06 --  RCI units should not allow types with user-defined stream attributes
+AI12-0002-1/03   2016-07-22 --  RCI units do not allow specification of user-defined stream-oriented attributes
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     11-06-16
-    RM References:  E.02.03 (11/1)   E.02.03 (17)  
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-22
+    RM References:  E.02.03 (11/1)   E.02.03 (15)   E.02.03 (17)  
 
 AI12-0003-1/13   2015-03-25 --  Specifying the standard storage pool
     Priority: Low                  Difficulty: Medium
@@ -353,7 +353,7 @@
 AI12-0068-1/02   2014-07-22 --  Predicates and the current instance of a subtype
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-22
-    RM References:  3.10.02 (7/3)  
+    RM References:  8.06 (17/3)  
 
 AI12-0069-1/02   2013-10-07 --  Inconsistency in Tree container definition
     Priority: Low                  Difficulty: Easy
@@ -637,20 +637,20 @@
 
 AI12-0125-1/05   2015-10-03 --  Add Object'Inc and 'Dec
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     14-08-11
+    Class: Amendment                   Status: No Action     (12-0-0) 16-06-13
     RM References:  3.05 (31/2)  
     Alternatives:   AI12-0125-2  AI12-0125-3
 
 AI12-0125-2/02   2015-10-09 --  Add :+, :-, :*, :/, ...
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: Work Item     15-10-08
+    Class: Amendment                   Status: No Action     (10-0-2) 16-06-13
     RM References:  5.02.01 (0)  
     Alternatives:   AI12-0125-1  AI12-0125-3
 
-AI12-0125-3/03   2016-04-11 --  Add @ as a shorthand for the LHS of an assignment
+AI12-0125-3/04   2016-08-04 --  Add @ as a abbreviation for the LHS of an assignment
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: Work Item     15-10-13
-    RM References:  5.02.01 (0)   4.01 (2/3)   8.06 (9/4)  
+    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-08-04
+    RM References:  5.02.01 (0)   2.02 (9)   3.03 (21.1/3)   4.01 (2/3)   8.06 (9/4)  
     Alternatives:   AI12-0125-1  AI12-0125-2
 
 AI12-0126-1/02   2015-07-13 --  Add Interfaces.Shifting
@@ -663,9 +663,9 @@
     Class: Amendment                   Status: Work Item     14-08-21
     RM References:  A.03.04   
 
-AI12-0128-1/07   2015-12-11 --  Exact size access to parts of composite atomic objects
+AI12-0128-1/08   2016-08-04 --  Exact size access to parts of composite atomic objects
     Priority: Medium               Difficulty: Hard
-    Class: Amendment                   Status: Work Item     14-10-03
+    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-08-04
     RM References:  C.06 (13.2/3)   C.06 (19)   C.06 (20)   C.06 (22/2)   C.06 (25/4)  
 
 AI12-0129-1/08   2015-05-05 --  Make protected objects more protecting
@@ -718,14 +718,14 @@
     Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-03-26
     RM References:  13.01.01 (18/4)   13.01.01 (34/3)   4.01.05 (6/3)   4.01.06 (5/3)   4.01.06 (6/3)   4.01.06 (7/3)   4.01.06 (8/3)   4.01.06 (9/3)   5.05.01 (11/3)  
 
-AI12-0139-1/02   2015-10-14 --  Thread-safe Ada libraries
+AI12-0139-1/03   2016-06-09 --  Thread-safe Ada libraries
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Work Item     14-10-13
     RM References:  A (3/4)   A.18 (5)  
 
-AI12-0140-1/03   2016-06-04 --  Access to unconstrained partial view when full view is constrained
+AI12-0140-1/04   2016-08-01 --  Access to unconstrained partial view when full view is constrained
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     14-10-13
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-08-01
     RM References:  3.04 (7/3)   7.03.01 (5/1)  
 
 AI12-0141-1/02   2015-01-28 --  Add Raise Expression to Introduction
@@ -740,7 +740,7 @@
 
 AI12-0143-1/03   2015-11-19 --  Using an entry index of a family in a precondition
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-02-29
+    Class: Amendment                   Status: WG9 Approved  16-06-13
     RM References:  6.01.01 (30/3)   9.05.04 (5/3)  
 
 AI12-0144-1/07   2016-01-28 --  Make Discrete_Random more flexible
@@ -873,10 +873,10 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
     RM References:  9.05.02 (5)  
 
-AI12-0170-1/03   2016-06-04 --  Abstract subprogram calls in class-wide precondition expressions
+AI12-0170-1/04   2016-07-21 --  Abstract subprogram calls in class-wide precondition expressions
     Priority: Low                  Difficulty: Hard
-    Class: Binding Interpretation      Status: Work Item     15-06-17
-    RM References:  3.09.03 (7)   6.01.01 (7/4)   6.01.01 (18.2/4)   7.03.02 (5/4)  
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
+    RM References:  3.09.03 (7)   6.01.01 (7/4)   6.01.01 (18.2/4)  
 
 AI12-0171-1/00   2015-10-05 --  Ambiguity in Synchronous_Task_Control semantics
     Priority: Low                  Difficulty: Medium
@@ -905,7 +905,7 @@
 
 AI12-0176-1/02   2016-01-28 --  6.1.1(26.4/4) only applies to tagged types
     Priority: Low                  Difficulty: Easy
-    Class: Confirmation                Status: ARG Approved  10-0-0  (By Letter Ballot) 16-02-26
+    Class: Confirmation                Status: WG9 Approved  16-06-13
     RM References:  6.01.01 (26.4/4)  
 
 AI12-0177-1/00   2015-10-08 --  A name resolution oddity
@@ -923,19 +923,19 @@
     Class: Binding Interpretation      Status: Work Item     16-01-04
     RM References:  1.01.03 (17/3)  
 
-AI12-0180-1/01   2016-01-05 --  Using protected subprograms and entries within an invariant
+AI12-0180-1/02   2016-07-11 --  Using protected subprograms and entries within an invariant
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     16-01-05
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-11
     RM References:  13.01.01 (12/3)  
 
-AI12-0181-1/02   2016-01-08 --  Self-referencing representation aspects
+AI12-0181-1/03   2016-07-11 --  Self-referencing representation aspects
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     16-01-07
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-11
     RM References:  13.01 (9/4)   13.01 (9.1/4)   13.14 (19)  
 
 AI12-0182-1/02   2016-04-21 --  Pre'Class and protected operations
     Priority: Low                  Difficulty: Easy
-    Class: Ramification                Status: Work Item     16-02-24
+    Class: Ramification                Status: Amendment 1 for Ada 2012 12 16-07-21
     RM References:  13.01.01 (16/3)  
 
 AI12-0183-1/01   2016-03-23 --  Presentation errors in Ada 2012 post Corrigendum 1
@@ -943,14 +943,14 @@
     Class: Presentation                Status: Amendment 1 for Ada 2012 12 16-03-23
     RM References:  D.04 (4)   D.04 (7/5)  
 
-AI12-0184-1/01   2016-03-23 --  Long Long C Data Types
+AI12-0184-1/02   2016-08-01 --  Long Long C Data Types
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     16-03-23
-    RM References:  D.04 (16)  
+    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-08-01
+    RM References:  B.03 (71.3/3)  
 
-AI12-0185-1/01   2016-04-20 --  Resolution of postcondition-specific attributes
+AI12-0185-1/02   2016-07-21 --  Resolution of postcondition-specific attributes
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     16-04-20
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 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/01   2016-04-21 --  Profile freezing for the Access attribute
@@ -973,7 +973,7 @@
     Class: Amendment                   Status: Work Item     16-06-02
     RM References:  5.05.02 (2/3)  
 
-AI12-0190-1/01   2015-06-02 --  Lambda functions
+AI12-0190-1/01   2016-06-02 --  Lambda functions
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     16-06-02
     RM References:  5.05.02 (2/3)  
@@ -983,9 +983,9 @@
     Class: Binding Interpretation      Status: Work Item     16-06-06
     RM References:  7.03.02 (19.1/4)   7.03.02 (19.2/4)   7.03.02 (19.3/4)   7.03.02 (19.4/4)  
 
-AI12-0192-1/01   2016-06-06 --  "requires late initialization" and protected types
+AI12-0192-1/02   2016-07-21 --  "requires late initialization" and protected types
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     16-06-06
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
     RM References:  3.03.01 (8.1/2)  
 
 AI12-0193-1/01   2016-06-06 --  Postcondition failure for a task entry
@@ -995,12 +995,12 @@
 
 AI12-0194-1/01   2016-06-06 --  Language-defined aspects and entry bodies
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     16-06-06
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
     RM References:  13.01.01 (17/3)  
 
-AI12-0195-1/01   2016-06-07 --  Inheriting body but overriding precondition or postcondition
+AI12-0195-1/02   2016-07-21 --  Inheriting body but overriding precondition or postcondition
     Priority: Medium               Difficulty: Hard
-    Class: Binding Interpretation      Status: Work Item     16-06-07
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
     RM References:  6.01.01 (38/4)  
 
 AI12-0196-1/01   2016-06-07 --  Concurrent access to Ada container libraries
@@ -1008,13 +1008,25 @@
     Class: Amendment                   Status: Work Item     16-06-07
     RM References:  A (3/4)   A.18 (5)  
 
-AI12-0197-1/01   2015-06-03 --  Generator Functions
+AI12-0197-1/01   2016-06-07 --  Generator Functions
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Work Item     16-06-07
     RM References:  6.09 (0)  
+    Alternatives:   AI12-0197-2
 
-AI12-0198-1/01   2016-06-07 --  Potentially unevaluated components of array aggregates
+AI12-0197-2/02   2016-06-13 --  Passive tasks
+    Priority: Medium               Difficulty: Hard
+    Class: Amendment                   Status: Work Item     16-06-12
+    RM References:  9.01 (21)  
+    Alternatives:   AI12-0197-1
+
+AI12-0198-1/02   2016-07-21 --  Potentially unevaluated components of array aggregates
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     16-06-07
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
     RM References:  6.01.01 (22.1/4)  
+
+AI12-0199-1/01   2016-07-21 --  Abstract subprogram calls in class-wide invariant expressions
+    Priority: Low                  Difficulty: Hard
+    Class: Binding Interpretation      Status: Work Item     16-07-21
+    RM References:  7.03.02 (5/4)  
 

Questions? Ask the ACAA Technical Agent