CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2013/11/22 01:46:59	1.22
+++ ai12s/ai12-summary.txt	2013/11/22 01:55:50	1.23
@@ -108,7 +108,7 @@
 
 AI12-0022-1/05   2013-05-08 --  Raise expressions
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Amendment 202x  12-12-17
+    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-17
     RM References:  4.04 (3/3)   11.02 (6)   11.03 (2/2)   11.03 (3)   11.03 (3.1/2)   11.03 (4/2)   11.04.01 (10.1/3)  
 
 AI12-0023-1/02   2012-12-02 --  Make Root_Stream_Type an interface
@@ -133,12 +133,12 @@
 
 AI12-0027-1/06   2013-05-08 --  Access values should never designate unaliased components
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Amendment 202x  12-12-31
+    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-31
     RM References:  4.06 (24.17/3)   4.06 (24.21/2)   4.06 (58)   6.02 (10/3)   3.10.02 (10/3)  
 
 AI12-0028-1/03   2013-01-02 --  Import of variadic C functions
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Amendment 202x  13-01-02
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-01-02
     RM References:  B.03 (1/3)   B.03 (60.15/3)   B.03 (75)  
 
 AI12-0029-1/02   2012-06-28 --  Relax requirement for functions to have return statements
@@ -148,7 +148,7 @@
 
 AI12-0030-1/06   2013-07-19 --  Formal derived types and stream attribute availability
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Amendment 202x  13-07-16
+    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
@@ -158,22 +158,22 @@
 
 AI12-0032-1/07   2013-07-17 --  Questions on 'Old
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Amendment 202x  13-07-17
+    Class: Binding Interpretation      Status: Corrigendum 2014  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/08   2013-10-07 --  Sets of CPUs when defining dispatching domains
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Amendment 202x  13-07-15
+    Class: Binding Interpretation      Status: Corrigendum 2014  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/05   2013-10-07 --  Remote stream attribute calls
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Amendment 202x  13-07-17
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-17
     RM References:  E.04 (8)  
 
 AI12-0035-1/05   2013-10-07 --  Accessibility checks for indefinite elements of containers
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Amendment 202x  13-07-08
+    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
@@ -183,22 +183,22 @@
 
 AI12-0037-1/03   2013-05-08 --  New types in Ada.Locales can't be converted to/from strings
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Amendment 202x  12-12-28
+    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-28
     RM References:  A.19 (4/3)  
 
 AI12-0038-1/03   2013-06-09 --  Shared_Passive package restrictions
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Amendment 202x  12-12-31
+    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-31
     RM References:  E.02.01 (7/1)   E.02.01 (8/1)  
 
 AI12-0039-1/03   2013-05-08 --  Ambiguity in syntax for membership expression removed
     Priority: High                 Difficulty: Easy
-    Class: Binding Interpretation      Status: Amendment 202x  12-12-17
+    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-17
     RM References:  4.04 (3/3)   4.04 (3.2/3)   4.05.02 (3.1/3)   4.05.02 (4)   4.05.02 (4.1/3)   4.05.02 (27/3)   4.05.02 (27.1/3)   4.05.02 (28.1/3)   4.05.02 (28.2/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.05.02 (30.1/3)   4.05.02 (30.2/3)   4.05.02 (30
.3/3)   4.09 (11/3)   4.09 (32.6/3)   8.06 (27.1/3)   3.02.04 (17/3)  
 
 AI12-0040-1/03   2013-05-08 --  Resolving the selecting_expression of a case_expression
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Amendment 202x  13-01-02
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-01-02
     RM References:  8.06 (9)  
 
 AI12-0041-1/01   2012-11-29 --  Type_Invariant'Class for interface types
@@ -213,47 +213,47 @@
 
 AI12-0043-1/02   2013-01-02 --  Details of the storage pool used when Storage_Size is specified
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Amendment 202x  13-01-02
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-01-02
     RM References:  13.11 (18)  
 
 AI12-0044-1/05   2013-10-07 --  Calling visible functions from type invariant expressions
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Amendment 202x  13-06-28
+    Class: Binding Interpretation      Status: Corrigendum 2014  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
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Amendment 202x  12-12-27
+    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-27
     RM References:  6.01.01 (1/3)  
 
 AI12-0046-1/02   2012-12-27 --  Enforcing legality for anonymous access components in record aggregates
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Amendment 202x  12-12-27
+    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-27
     RM References:  4.03.01 (16/3)  
 
 AI12-0047-1/06   2013-05-08 --  Generalized iterators and discriminant-dependent components
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Amendment 202x  12-12-31
+    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-31
     RM References:  5.05.02 (6/3)  
 
 AI12-0048-1/03   2013-05-08 --  Default behavior of tasks on a multiprocessor with a specified dispatching poli
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Amendment 202x  13-01-03
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-01-03
     RM References:  D.16.01 (30/3)  
 
 AI12-0049-1/03   2013-05-08 --  Invariants need to be checked on the initialization of deferred constants
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Amendment 202x  12-12-27
+    Class: Binding Interpretation      Status: Corrigendum 2014  12-12-27
     RM References:  7.03.02 (10/3)  
 
 AI12-0050-1/04   2013-07-17 --  Conformance of quantified expressions
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Amendment 202x  13-07-17
+    Class: Binding Interpretation      Status: Corrigendum 2014  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
-    Class: Binding Interpretation      Status: Amendment 202x  12-12-27
+    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
@@ -274,7 +274,7 @@
 
 AI12-0054-2/05   2013-10-07 --  Aspect Predicate_Failure
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Amendment 202x  13-07-05
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-05
     RM References:  3.02.04 (14/3)   3.02.04 (31/3)   3.02.04 (35/3)  
     Alternatives:   AI12-0054-1
 
@@ -285,7 +285,7 @@
 
 AI12-0056-1/05   2013-07-03 --  Presentation errors in Ada 2012
     Priority: Low                  Difficulty: Easy
-    Class: Presentation                Status: Amendment 202x  13-01-14
+    Class: Presentation                Status: Corrigendum 2014  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)  
 
 AI12-0057-1/01   2013-01-22 --  Unchecked_Access for discriminant-dependent subcomponents
@@ -315,7 +315,7 @@
 
 AI12-0062-1/02   2013-07-03 --  Raise exception with failing string function
     Priority: Low                  Difficulty: Easy
-    Class: Ramification                Status: Amendment 202x  13-01-14
+    Class: Ramification                Status: Corrigendum 2014  13-01-14
     RM References:  11.03 (4/2)  
 
 AI12-0063-1/01   2013-01-31 --  No_Return functions
@@ -340,7 +340,7 @@
 
 AI12-0067-1/02   2013-10-07 --  Accessibility level of explicitly aliased parameters of procedures and entries
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Amendment 202x  13-07-15
+    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
@@ -350,12 +350,12 @@
 
 AI12-0069-1/02   2013-10-07 --  Inconsistency in Tree container definition
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Amendment 202x  13-07-11
+    Class: Binding Interpretation      Status: Corrigendum 2014  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/03   2013-10-07 --  9.3(2) does not work for anonymous access types
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Amendment 202x  13-07-15
+    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
@@ -365,12 +365,12 @@
 
 AI12-0072-1/05   2013-10-07 --  Missing rules for Discard_Names aspect
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Amendment 202x  13-07-11
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-11
     RM References:  C.05 (1)   C.05 (5)   C.05 (7/2)   C.05 (8)  
 
 AI12-0073-1/02   2013-07-05 --  Synchronous Barriers are not allowed with Ravenscar
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Amendment 202x  13-07-05
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-05
     RM References:  D.13 (6/3)  
 
 AI12-0074-1/03   2013-07-08 --  View conversions and scalar out parameters passed by copy
@@ -385,17 +385,17 @@
 
 AI12-0076-1/04   2013-10-07 --  Variable state in pure packages
     Priority: Medium               Difficulty: Hard
-    Class: Binding Interpretation      Status: Amendment 202x  13-07-11
+    Class: Binding Interpretation      Status: Corrigendum 2014  13-07-11
     RM References:  10.02.01 (17/3)   E.02.02 (17/2)  
 
 AI12-0077-1/02   2013-10-07 --  Has_Same_Storage on objects of size zero
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Amendment 202x  13-07-15
+    Class: Binding Interpretation      Status: Corrigendum 2014  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
+    Class: Binding Interpretation      Status: Corrigendum 2014  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

Questions? Ask the ACAA Technical Agent