CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2013/11/22 01:55:50	1.23
+++ ai12s/ai12-summary.txt	2014/01/05 04:25:25	1.24
@@ -151,9 +151,9 @@
     Class: Binding Interpretation      Status: Corrigendum 2014  13-07-16
     RM References:  12.05.01 (21/3)   13.13.02 (49/2)  
 
-AI12-0031-1/02   2012-11-17 --  All_Calls_Remote and indirect calls
+AI12-0031-1/04   2013-12-17 --  All_Calls_Remote and indirect calls
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-06-06
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-17
     RM References:  E.02.03 (19/3)  
 
 AI12-0032-1/07   2013-07-17 --  Questions on 'Old
@@ -176,9 +176,9 @@
     Class: Binding Interpretation      Status: Corrigendum 2014  13-07-08
     RM References:  A.18 (5/3)   A.18.11 (8/2)   A.18.12 (7/2)   A.18.13 (8/2)   A.18.14 (8/2)   A.18.15 (4/2)   A.18.16 (4/2)   A.18.17 (7/3)   A.18.18 (39/3)   A.18.18 (47/3)  
 
-AI12-0036-1/01   2012-11-29 --  The actual for an untagged formal derived type cannot be tagged
+AI12-0036-1/02   2013-12-06 --  The actual for an untagged formal derived type cannot be tagged
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-11-29
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-06
     RM References:  12.05.01 (5.1/3)  
 
 AI12-0037-1/03   2013-05-08 --  New types in Ada.Locales can't be converted to/from strings
@@ -203,13 +203,13 @@
 
 AI12-0041-1/01   2012-11-29 --  Type_Invariant'Class for interface types
     Priority: Medium               Difficulty: Easy
-    Class: Amendment                   Status: Work Item     12-11-29
+    Class: Amendment                   Status: Promising     11-0-0  13-11-16
     RM References:  7.03.02 (3/3)  
 
-AI12-0042-1/05   2013-11-04 --  Type invariants cannot be inherited by non-private extensions
+AI12-0042-1/08   2013-12-11 --  Type invariants inherited by nonprivate extensions
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-11-29
-    RM References:  7.03.02 (6/3)  
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-11
+    RM References:  7.03.02 (6/3)   7.03.02 (17/3)   7.03.02 (18/3)   7.03.02 (19/3)  
 
 AI12-0043-1/02   2013-01-02 --  Details of the storage pool used when Storage_Size is specified
     Priority: Medium               Difficulty: Medium
@@ -256,10 +256,10 @@
     Class: Binding Interpretation      Status: Corrigendum 2014  12-12-27
     RM References:  D.03 (10/3)  
 
-AI12-0052-1/02   2013-01-02 --  Implicit objects are considered overlapping
+AI12-0052-1/03   2013-12-18 --  Implicit objects are considered overlapping
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-12-04
-    RM References:  A (3/2)   A.10.03 (21)   A.16 (123/2)   A.16 (30/2)  
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-18
+    RM References:  A (3/2)   A.10.03 (21)  
 
 AI12-0053-1/02   2012-12-27 --  Predicate failure raises Constraint_Error
     Priority: High                 Difficulty: Medium
@@ -328,15 +328,15 @@
     Class: Amendment                   Status: Work Item     13-04-22
     RM References:  9.05.01 (18)  
 
-AI12-0065-1/00   2013-05-08 --  Descendants of incomplete views
+AI12-0065-1/02   2013-12-17 --  Descendants of incomplete views
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     13-05-08
+    Class: Ramification                Status: Corrigendum 2014  13-12-17
     RM References:  7.03.01 (5.2/3)  
 
-AI12-0066-1/00   2013-05-17 --  If it ain't broke...
+AI12-0066-1/01   2013-12-18 --  If it ain't broke...
     Priority: Low                  Difficulty: Easy
     Class: Confirmation                Status: Received      13-03-27
-    RM References:  4.04 (7/3)  
+    RM References:  4.04 (7/3)   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
@@ -358,10 +358,10 @@
     Class: Binding Interpretation      Status: Corrigendum 2014  13-07-15
     RM References:  3.10.02 (13.1/3)   9.03 (2)  
 
-AI12-0071-1/02   2013-06-15 --  Order of evaluation when multiple predicates apply
+AI12-0071-1/05   2013-12-13 --  Order of evaluation when multiple predicates apply
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     13-05-31
-    RM References:  3.02.04 (6/3)  
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-13
+    RM References:  3.02.04 (4/3)   3.02.04 (6/3)   3.02.04 (30/3)   3.02.04 (31/3)   3.02.04 (32/3)   3.02.04 (33/3)   3.02.04 (35/3)   3.05.05 (7.1/3)   3.05.05 (7.2/3)   3.05.05 (7.3/3)   3.08.01 (10.1/3)   3.08.01 (15/3)   4.05.02 (29/3)   4.05.02 (30
/3)   4.06 (51/3)   4.09.01 (10/3)   5.04 (7/3)   5.05 (9/3)   13.09.02 (3/3)   13.09.02 (12)  
 
 AI12-0072-1/05   2013-10-07 --  Missing rules for Discard_Names aspect
     Priority: Low                  Difficulty: Easy
@@ -403,34 +403,34 @@
     Class: Amendment                   Status: Work Item     13-06-28
     RM References:  7.03.02 (3/3)  
 
-AI12-0080-1/01   2013-10-24 --  More presentation errors in Ada 2012
+AI12-0080-1/02   2013-12-11 --  More presentation errors in Ada 2012
     Priority: Low                  Difficulty: Easy
-    Class: Presentation                Status: Work Item     13-10-21
-    RM References:  3.09.03 (6/2)  
+    Class: Presentation                Status: Corrigendum 2014  13-12-11
+    RM References:  3.09.03 (6/2)   B.01 (50)  
 
 AI12-0081-1/01   2013-10-21 --  Real-time aspects need to specify when they are evaluated
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     13-10-21
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-06
     RM References:  D.01 (17/3)   D.16 (9/3)  
 
-AI12-0082-1/01   2013-10-21 --  Definition of "dispatching domain"
+AI12-0082-1/02   2013-12-07 --  Definition of "dispatching domain"
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     13-10-21
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-07
     RM References:  D.16.01 (16/3)   D.16.01 (22/3)   D.16.01 (25/3)   D.16.01 (27/3)   D.16.01 (29/3)  
 
 AI12-0083-1/01   2013-10-24 --  Automatic creation of constructor functions
     Priority: Medium               Difficulty: Hard
-    Class: Amendment                   Status: Work Item     13-10-24
+    Class: Amendment                   Status: Hold          13-11-17 (8-0-0)
     RM References:  3.09.03 (6/2)  
 
 AI12-0084-1/01   2013-10-28 --  Box expressions in array aggregates
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     13-10-28
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-06
     RM References:  4.03.03 (23.1/2)  
 
-AI12-0085-1/01   2013-10-28 --  Missing aspect cases for Remote_Types
+AI12-0085-1/02   2013-12-11 --  Missing aspect cases for Remote_Types
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     13-10-28
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-11
     RM References:  E.02.02 (17/2)  
 
 AI12-0086-1/01   2013-10-30 --  Aggregates and variant parts
@@ -443,20 +443,20 @@
     Class: Amendment                   Status: Work Item     13-10-31
     RM References:  3.05 (27)  
 
-AI12-0088-1/02   2013-11-12 --  UTF_Encoding.Conversions and overlong characters on input
+AI12-0088-1/03   2013-12-06 --  UTF_Encoding.Conversions and overlong characters on input
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     13-10-31
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-06
     RM References:  A.04.11 (54/3)   A.04.11 (55/3)  
 
-AI12-0089-1/01   2013-10-31 --  A generic function is not a function
+AI12-0089-1/02   2013-12-18 --  A generic function is not a function
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     13-10-31
-    RM References:  3.10.02 (7/3)   3.10.02 (19.2/3)   3.10.02 (19.3/3)  
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-12-18
+    RM References:  3.10.02 (7/3)   3.10.02 (19.2/3)   3.10.02 (19.3/3)   6.05 (4/3)  
 
-AI12-0090-1/01   2013-10-31 --  Pre- and Postconditions and requeues
+AI12-0090-1/02   2013-11-16 --  Pre- and Postconditions and requeues
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Work Item     13-10-31
-    RM References:  9.05.04 (5/3)  
+    RM References:  9.05.04 (5/3)   9.05.04 (7/3)   9.05.04 (12/3)  
 
 AI12-0091-1/01   2013-10-31 --  Add procedure Sin_Cos to Ada.Numerics.Generic_Elementary_Functions
     Priority: Low                  Difficulty: Easy
@@ -468,10 +468,10 @@
     Class: Amendment                   Status: Received      13-08-29
     RM References:  1.01.05 (4)  
 
-AI12-0093-1/01   2013-11-12 --  Iterator with discriminated cursor
+AI12-0093-1/03   2013-12-11 --  Iterator with indefinite cursor
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     13-11-12
-    RM References:  5.05.02 (10/3)  
+    Class: Ramification                Status: Corrigendum 2014  13-12-11
+    RM References:  5.05.02 (8/3)   5.05.02 (10/3)  
 
 AI12-0094-1/00   2013-11-12 --  access_to_subprogram_definition should be a declarative region
     Priority: Medium               Difficulty: Easy

Questions? Ask the ACAA Technical Agent