CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2014/01/05 04:25:25	1.24
+++ ai12s/ai12-summary.txt	2014/05/09 21:54:42	1.25
@@ -151,7 +151,7 @@
     Class: Binding Interpretation      Status: Corrigendum 2014  13-07-16
     RM References:  12.05.01 (21/3)   13.13.02 (49/2)  
 
-AI12-0031-1/04   2013-12-17 --  All_Calls_Remote and indirect calls
+AI12-0031-1/05   2014-05-08 --  All_Calls_Remote and indirect calls
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2014  13-12-17
     RM References:  E.02.03 (19/3)  
@@ -176,7 +176,7 @@
     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/02   2013-12-06 --  The actual for an untagged formal derived type cannot be tagged
+AI12-0036-1/03   2014-05-08 --  The actual for an untagged formal derived type cannot be tagged
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2014  13-12-06
     RM References:  12.05.01 (5.1/3)  
@@ -256,7 +256,7 @@
     Class: Binding Interpretation      Status: Corrigendum 2014  12-12-27
     RM References:  D.03 (10/3)  
 
-AI12-0052-1/03   2013-12-18 --  Implicit objects are considered overlapping
+AI12-0052-1/04   2014-05-08 --  Implicit objects are considered overlapping
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2014  13-12-18
     RM References:  A (3/2)   A.10.03 (21)  
@@ -343,7 +343,7 @@
     Class: Binding Interpretation      Status: Corrigendum 2014  13-07-15
     RM References:  3.10.02 (7/3)  
 
-AI12-0068-1/00   2013-05-30 --  Predicates and the current instance of a subtype
+AI12-0068-1/00   2014-02-09 --  Predicates and the current instance of a subtype
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     13-05-30
     RM References:  3.10.02 (7/3)  
@@ -403,17 +403,17 @@
     Class: Amendment                   Status: Work Item     13-06-28
     RM References:  7.03.02 (3/3)  
 
-AI12-0080-1/02   2013-12-11 --  More presentation errors in Ada 2012
+AI12-0080-1/04   2014-03-31 --  More presentation errors in Ada 2012
     Priority: Low                  Difficulty: Easy
     Class: Presentation                Status: Corrigendum 2014  13-12-11
-    RM References:  3.09.03 (6/2)   B.01 (50)  
+    RM References:  3.09.03 (6/2)   A.18.26 (29/3)   A.18.26 (31/3)   B.01 (50)   N (21.2/3)  
 
 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: Corrigendum 2014  13-12-06
     RM References:  D.01 (17/3)   D.16 (9/3)  
 
-AI12-0082-1/02   2013-12-07 --  Definition of "dispatching domain"
+AI12-0082-1/03   2014-05-08 --  Definition of "dispatching domain"
     Priority: Low                  Difficulty: Easy
     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)  
@@ -428,7 +428,7 @@
     Class: Binding Interpretation      Status: Corrigendum 2014  13-12-06
     RM References:  4.03.03 (23.1/2)  
 
-AI12-0085-1/02   2013-12-11 --  Missing aspect cases for Remote_Types
+AI12-0085-1/03   2014-05-08 --  Missing aspect cases for Remote_Types
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2014  13-12-11
     RM References:  E.02.02 (17/2)  
@@ -448,7 +448,7 @@
     Class: Binding Interpretation      Status: Corrigendum 2014  13-12-06
     RM References:  A.04.11 (54/3)   A.04.11 (55/3)  
 
-AI12-0089-1/02   2013-12-18 --  A generic function is not a function
+AI12-0089-1/03   2014-05-08 --  Accessibility rules need to take into account that a generic function is not a
     Priority: Low                  Difficulty: Easy
     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)  
@@ -458,7 +458,7 @@
     Class: Binding Interpretation      Status: Work Item     13-10-31
     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
+AI12-0091-1/04   2014-02-03 --  Add procedure Sin_Cos to Ada.Numerics.Generic_Elementary_Functions
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Work Item     13-10-31
     RM References:  A.05.01 (5)  
@@ -468,7 +468,7 @@
     Class: Amendment                   Status: Received      13-08-29
     RM References:  1.01.05 (4)  
 
-AI12-0093-1/03   2013-12-11 --  Iterator with indefinite cursor
+AI12-0093-1/04   2014-05-08 --  Iterator with indefinite cursor
     Priority: Low                  Difficulty: Medium
     Class: Ramification                Status: Corrigendum 2014  13-12-11
     RM References:  5.05.02 (8/3)   5.05.02 (10/3)  
@@ -477,4 +477,19 @@
     Priority: Medium               Difficulty: Easy
     Class: Binding Interpretation      Status: Work Item     13-11-12
     RM References:  8.03 (26/3)  
+
+AI12-0095-1/01   2014-02-12 --  Generic bodies assume-the-worst whether formal type have constrained partial vi
+    Priority: Medium               Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     14-02-12
+    RM References:  3.10.02 .(27.2/3)   4.06 (24.16/2)   6.04.01 (6.2/3)   12.05.01 (15)  
+
+AI12-0096-1/01   2014-02-12 --  The exception raised by a subtype conversion with a failed predicate check
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     14-02-12
+    RM References:  4.06 (57/3)  
+
+AI12-0097-1/01   2014-02-12 --  Tag of the return object of a simple return expression
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     14-02-12
+    RM References:  6.05 (8/3)  
 

Questions? Ask the ACAA Technical Agent