CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2013/06/29 02:19:58	1.17
+++ ai12s/ai12-summary.txt	2013/07/18 05:05:31	1.18
@@ -1,10 +1,10 @@
 This is a summary of all Ada 2012 Issues.
 Priority is Low, Medium, or High; Difficulty is Easy, Medium, or Hard.
 
-AI12-0001-1/04   2013-06-10 --  Independence and Representation clauses for atomic objects
+AI12-0001-1/05   2013-07-08 --  Independence and Representation clauses for atomic objects
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     06-03-31
-    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 (13.2/3)   C.06 (21)  
+    Class: Binding Interpretation      Status: Amendment 202x  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
     Priority: Low                  Difficulty: Medium
@@ -146,35 +146,35 @@
     Class: Amendment                   Status: No Action     (8-0-0) 12-06-16
     RM References:  6.05 (5/3)  
 
-AI12-0030-1/03   2012-07-15 --  Formal derived types and stream attribute availability
+AI12-0030-1/05   2013-07-16 --  Formal derived types and stream attribute availability
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-06-06
-    RM References:  12.05.01 (20/3)   13.13.02 (49/2)  
+    Class: Binding Interpretation      Status: Amendment 202x  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
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     12-06-06
     RM References:  E.02.03 (19/3)  
 
-AI12-0032-1/06   2013-05-10 --  Questions on 'Old
+AI12-0032-1/07   2013-07-17 --  Questions on 'Old
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-06-06
-    RM References:  4.01.03 (9/3)   6.01.01 (26/3)   6.01.01 (35/3)  
+    Class: Binding Interpretation      Status: Amendment 202x  13-07-17
+    RM References:  4.01.03 (9/3)   6.01.01 (22/3)   6.01.01 (26/3)   6.01.01 (35/3)  
 
-AI12-0033-1/04   2013-06-08 --  Sets of CPUs when defining dispatching domains
+AI12-0033-1/07   2013-07-15 --  Sets of CPUs when defining dispatching domains
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-06-06
-    RM References:  D.16.01 (9/3)   D.16.01 (23/3)   D.16.01 (24/3)  
+    Class: Binding Interpretation      Status: Amendment 202x  13-07-15
+    RM References:  D.16.01 (7/3)   D.16.01 (9/3)   D.16.01 (20/3)   D.16.01 (23/3)   D.16.01 (24/3)   D.16.01 (26/3)  
 
-AI12-0034-1/02   2012-06-28 --  Remote stream attribute calls
+AI12-0034-1/04   2013-07-17 --  Remote stream attribute calls
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-06-06
+    Class: Binding Interpretation      Status: Amendment 202x  13-07-17
     RM References:  E.04 (8)  
 
-AI12-0035-1/03   2013-06-10 --  Accessibility checks for indefinite elements of containers
+AI12-0035-1/04   2013-07-08 --  Accessibility checks for indefinite elements of containers
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-06-08
-    RM References:  A.18 (5/3)  
+    Class: Binding Interpretation      Status: Amendment 202x  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
     Priority: Low                  Difficulty: Medium
@@ -206,7 +206,7 @@
     Class: Amendment                   Status: Work Item     12-11-29
     RM References:  7.03.02 (3/3)  
 
-AI12-0042-1/02   2013-06-09 --  Type invariants cannot be inherited by non-private extensions
+AI12-0042-1/04   2013-06-16 --  Type invariants cannot be inherited by non-private extensions
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     12-11-29
     RM References:  7.03.02 (6/3)  
@@ -216,9 +216,9 @@
     Class: Binding Interpretation      Status: Amendment 202x  13-01-02
     RM References:  13.11 (18)  
 
-AI12-0044-1/02   2013-06-09 --  Calling visible functions from type invariant expressions
+AI12-0044-1/04   2013-06-14 --  Calling visible functions from type invariant expressions
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-12-01
+    Class: Binding Interpretation      Status: Amendment 202x  13-06-28
     RM References:  7.03.02 (19/3)  
 
 AI12-0045-1/03   2013-05-08 --  Pre- and Postconditions are allowed on generic subprograms
@@ -246,10 +246,10 @@
     Class: Binding Interpretation      Status: Amendment 202x  12-12-27
     RM References:  7.03.02 (10/3)  
 
-AI12-0050-1/02   2013-05-08 --  Conformance of quantified expressions
+AI12-0050-1/04   2013-07-17 --  Conformance of quantified expressions
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     12-12-04
-    RM References:  6.03.01 (21)  
+    Class: Binding Interpretation      Status: Amendment 202x  13-07-17
+    RM References:  6.03.01 (20)   6.03.01 (21)  
 
 AI12-0051-1/03   2013-05-08 --  The Priority aspect can be specified when Attach_Handler is specified
     Priority: Low                  Difficulty: Easy
@@ -268,14 +268,14 @@
 
 AI12-0054-1/04   2013-01-30 --  A raise_expression does not cause membership failure
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Amendment 202x  13-01-30
+    Class: Binding Interpretation      Status: No Action     13-06-15 (8-0-0)
     RM References:  11.03 (4/2)   13.09.02 (2)   13.09.02 (3/3)  
     Alternatives:   AI12-0054-2
 
-AI12-0054-2/01   2013-05-31 --  Aspect Predicate_Failure
+AI12-0054-2/04   2013-07-05 --  Aspect Predicate_Failure
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     13-05-31
-    RM References:  3.02.04 (14/3)   3.02.04 (30/3)  
+    Class: Binding Interpretation      Status: Amendment 202x  13-07-05
+    RM References:  3.02.04 (14/3)   3.02.04 (31/3)   3.02.04 (35/3)  
     Alternatives:   AI12-0054-1
 
 AI12-0055-1/02   2013-06-08 --  All properties of a profile are defined by pragmas
@@ -283,7 +283,7 @@
     Class: Binding Interpretation      Status: Work Item     12-12-08
     RM References:  D.13 (8/3)   D.13 (9/3)  
 
-AI12-0056-1/04   2013-06-07 --  Presentation errors in Ada 2012
+AI12-0056-1/05   2013-07-03 --  Presentation errors in Ada 2012
     Priority: Low                  Difficulty: Easy
     Class: Presentation                Status: Amendment 202x  13-01-14
     RM References:  1.01 (3/3)   1.01.02 (24/3)   3.09 (12.4/3)   3.10 (22/2)   5.02 (20)   6.01 (39)   6.02 (13)   A.18.25 (10/3)   A.18.26 (9.2/3)  
@@ -313,10 +313,10 @@
     Class: Amendment                   Status: Work Item     13-01-31
     RM References:  4.03.03 (5/2)   4.03.03 (23)   3.01 (6/3)   3.03.01 (23/3)   8.06 (4.1/3)  
 
-AI12-0062-1/01   2013-01-31 --  Raise exception with failing string function
+AI12-0062-1/02   2013-07-03 --  Raise exception with failing string function
     Priority: Low                  Difficulty: Easy
-    Class: Ramification                Status: Work Item     13-01-31
-    RM References:  11.03 (4/3)  
+    Class: Ramification                Status: Amendment 202x  13-01-14
+    RM References:  11.03 (4/2)  
 
 AI12-0063-1/01   2013-01-31 --  No_Return functions
     Priority: Medium               Difficulty: Easy
@@ -340,7 +340,7 @@
 
 AI12-0067-1/01   2013-05-30 --  Accessibility level of explicitly aliased parameters of non-functions
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     13-05-30
+    Class: Binding Interpretation      Status: Amendment 202x  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
@@ -348,34 +348,34 @@
     Class: Binding Interpretation      Status: Work Item     13-05-30
     RM References:  3.10.02 (7/3)  
 
-AI12-0069-1/01   2013-05-30 --  Inconsistency in Tree container definition
+AI12-0069-1/01   2013-07-11 --  Inconsistency in Tree container definition
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     13-05-30
-    RM References:  A.18.10 (157/3)  
+    Class: Binding Interpretation      Status: Amendment 202x  13-07-11
+    RM References:  A.18.10 (153/3)   A.18.10 (155/3)   A.18.10 (157/3)   A.18.10 (159/3)  
 
-AI12-0070-1/01   2013-05-31 --  9.3(2) does not work for anonymous access types
+AI12-0070-1/02   2013-07-15 --  9.3(2) does not work for anonymous access types
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     13-05-30
-    RM References:  9.03 (2)  
+    Class: Binding Interpretation      Status: Amendment 202x  13-07-15
+    RM References:  3.10.02 (13.1/3)   9.03 (2)  
 
 AI12-0071-1/01   2013-05-31 --  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)  
 
-AI12-0072-1/01   2013-06-07 --  Missing rules for Discard_Names aspect
+AI12-0072-1/04   2013-07-11 --  Missing rules for Discard_Names aspect
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     13-06-07
+    Class: Binding Interpretation      Status: Amendment 202x  13-07-11
     RM References:  C.05 (1)   C.05 (5)   C.05 (7/2)   C.05 (8)  
 
-AI12-0073-1/01   2013-06-08 --  Synchronous Barriers are not allowed with Ravenscar
+AI12-0073-1/02   2013-07-05 --  Synchronous Barriers are not allowed with Ravenscar
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     13-06-08
+    Class: Binding Interpretation      Status: Amendment 202x  13-07-05
     RM References:  A.18.10 (157/3)  
 
-AI12-0074-1/01   2013-06-09 --  View conversions and scalar out parameters passed by copy
+AI12-0074-1/03   2013-07-08 --  View conversions and scalar out parameters passed by copy
     Priority: Medium               Difficulty: Hard
-    Class: Binding Interpretation      Status: Work Item     13-06-09
+    Class: Binding Interpretation      Status: Work Item     13-07-08
     RM References:  4.06 (56)   6.04.01 (12)   6.04.01 (13.1/3)  
 
 AI12-0075-1/01   2013-06-09 --  Static expression functions
@@ -383,13 +383,23 @@
     Class: Amendment                   Status: Work Item     13-06-09
     RM References:  4.09 (6)   4.09 (18)  
 
-AI12-0076-1/01   2013-06-10 --  Variable state in pure packages
+AI12-0076-1/03   2013-07-11 --  Variable state in pure packages
     Priority: Medium               Difficulty: Hard
-    Class: Binding Interpretation      Status: Work Item     13-06-10
+    Class: Binding Interpretation      Status: Amendment 202x  13-07-11
     RM References:  10.02.01 (17/3)   E.02.02 (17/2)  
 
-AI12-0077-1/01   2013-06-10 --  Has_Same_Storage on objects of size zero
+AI12-0077-1/02   2013-07-15 --  Has_Same_Storage on objects of size zero
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     13-06-10
+    Class: Binding Interpretation      Status: Amendment 202x  13-07-15
     RM References:  13.03 (73.4/3)  
+
+AI12-0078-1/01   2013-06-14 --  Definition of node for tree container is confusing
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Amendment 202x  13-06-28
+    RM References:  A.18.10 (2/3)   A.18.10 (3/3)  
+
+AI12-0079-1/00   2013-06-28 --  Global-in and global-out annotations
+    Priority: High                 Difficulty: Hard
+    Class: Amendment                   Status: Work Item     13-06-28
+    RM References:  7.03.02 (3/3)  
 

Questions? Ask the ACAA Technical Agent