CVS difference for 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