CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2015/11/18 01:23:01	1.52
+++ ai12s/ai12-summary.txt	2015/12/18 02:07:01	1.53
@@ -118,12 +118,12 @@
 
 AI12-0024-1/01   2012-05-02 --  Compile-time detection of range and length errors
     Priority: Medium               Difficulty: Medium
-    Class: Amendment                   Status: Hold          12-06-15
+    Class: Amendment                   Status: No Action     (7-0-1) 15-10-16
     RM References:  4.06 (30)  
 
 AI12-0025-1/01   2012-05-16 --  Allow 'Unchecked_Access on subprograms
     Priority: Medium               Difficulty: Medium
-    Class: Amendment                   Status: Hold          12-06-15
+    Class: Amendment                   Status: No Action     (4-0-4) 15-10-17
     RM References:  13.10 (3)  
 
 AI12-0026-1/02   2012-11-30 --  Task_Safe aspect
@@ -298,10 +298,10 @@
     Class: Binding Interpretation      Status: Work Item     13-01-22
     RM References:  B.05   
 
-AI12-0059-1/05   2015-10-05 --  Object_Size attribute
+AI12-0059-1/07   2015-11-19 --  Object_Size attribute
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     13-01-30
-    RM References:  13.03 (58)  
+    RM References:  4.09.01 (2/3)   13.01 (14)   13.01 (23)   13.03 (9/1)   13.03 (50)   13.03 (51)   13.03 (52)   13.03 (58)  
 
 AI12-0060-1/00   2013-01-31 --  Overriding indicators on protected subprogram bodies
     Priority: Low                  Difficulty: Medium
@@ -310,7 +310,7 @@
 
 AI12-0061-1/05   2015-08-07 --  Index parameters in array aggregates
     Priority: Medium               Difficulty: Easy
-    Class: Amendment                   Status: ARG Approved  10-0-0  15-06-27
+    Class: Amendment                   Status: WG9 Approved  15-10-16
     RM References:  4.03.03 (5/2)   4.03.03 (6)   4.03.03 (17/3)   4.03.03 (20)   4.03.03 (23.1/4)   4.03.03 (32/3)   4.03.03 (43)   3.01 (6/3)   3.03 (6)   3.03 (18.1/3)   3.03.01 (23/3)   5.05 (6)   8.06 (4.1/3)  
 
 AI12-0062-1/02   2013-07-03 --  Raise exception with failing string function
@@ -320,7 +320,7 @@
 
 AI12-0063-1/01   2013-01-31 --  No_Return functions
     Priority: Medium               Difficulty: Easy
-    Class: Amendment                   Status: Hold          (8-0-0) 14-10-19
+    Class: Amendment                   Status: No Action     (7-0-1) 15-10-17
     RM References:  6.05.01   
 
 AI12-0064-1/05   2015-10-07 --  Nonblocking subprograms
@@ -378,7 +378,7 @@
     Class: Binding Interpretation      Status: Corrigendum 2015  14-07-23
     RM References:  4.06 (56)   6.04.01 (6.25/3)   6.04.01 (13.1/3)  
 
-AI12-0075-1/03   2015-08-25 --  Static expression functions
+AI12-0075-1/04   2015-10-17 --  Static expression functions
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     13-06-09
     RM References:  4.09 (6)   4.09 (18)  
@@ -435,12 +435,12 @@
 
 AI12-0086-1/04   2015-07-13 --  Aggregates and variant parts
     Priority: Medium               Difficulty: Easy
-    Class: Amendment                   Status: ARG Approved  7-1-1  15-06-28
+    Class: Amendment                   Status: WG9 Approved  15-10-16
     RM References:  4.03.01 (17/3)   4.03.01 (19/3)  
 
 AI12-0087-1/02   2015-10-08 --  Reading the default value of a subtype
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     13-10-31
+    Class: Amendment                   Status: No Action     (7-0-1) 15-10-17
     RM References:  3.05 (15)   3.05 (55.4/4)   3.06.02 (10)  
 
 AI12-0088-1/03   2013-12-06 --  UTF_Encoding.Conversions and overlong characters on input
@@ -460,7 +460,7 @@
 
 AI12-0091-1/04   2014-02-03 --  Add procedure Sin_Cos to Ada.Numerics.Generic_Elementary_Functions
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Hold          (8-0-0) 14-10-19
+    Class: Amendment                   Status: No Action     (5-0-2) 15-10-18
     RM References:  A.05.01 (5)  
 
 AI12-0092-1/01   2014-10-13 --  Soft Legality Rules
@@ -620,7 +620,7 @@
 
 AI12-0123-1/01   2014-08-11 --  Add 'Subtype attribute
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Hold          (8-0-0) 14-10-19
+    Class: Amendment                   Status: No Action     (6-0-1) 15-10-18
     RM References:  3.02.02 (12)  
 
 AI12-0124-1/04   2015-01-19 --  Add Object'Image
@@ -640,7 +640,7 @@
     RM References:  5.02.01 (0)  
     Alternatives:   AI12-0125-1  AI12-0125-3
 
-AI12-0125-3/03   2015-10-13 --  Add <<>> as a shorthand for the LHS of an assignment
+AI12-0125-3/01   2015-10-13 --  Add <<>> as a shorthand for the LHS of an assignment
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     15-10-13
     RM References:  5.02.01 (0)  
@@ -656,10 +656,10 @@
     Class: Amendment                   Status: Work Item     14-08-21
     RM References:  A.03.04   
 
-AI12-0128-1/03   2015-10-09 --  Exact size access to parts of composite atomic objects
+AI12-0128-1/07   2015-12-11 --  Exact size access to parts of composite atomic objects
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     14-10-03
-    RM References:  C.06 (15)   C.06 (20)   C.06 (22/2)  
+    RM References:  C.06 (13.2/3)   C.06 (19)   C.06 (20)   C.06 (22/2)   C.06 (25/4)  
 
 AI12-0129-1/08   2015-05-05 --  Make protected objects more protecting
     Priority: Medium               Difficulty: Easy
@@ -711,7 +711,7 @@
     Class: Binding Interpretation      Status: Corrigendum 2015  15-03-26
     RM References:  13.01.01 (18/4)   13.01.01 (34/3)   4.01.05 (6/3)   4.01.06 (5/3)   4.01.06 (6/3)   4.01.06 (7/3)   4.01.06 (8/3)   4.01.06 (9/3)   5.05.01 (11/3)  
 
-AI12-0139-1/01   2015-10-12 --  Thread-safe Ada libraries
+AI12-0139-1/02   2015-10-14 --  Thread-safe Ada libraries
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Work Item     14-10-13
     RM References:  A (3/4)   A.18 (5)  
@@ -731,15 +731,15 @@
     Class: Binding Interpretation      Status: Corrigendum 2015  15-01-28
     RM References:  13.11 (21)   13.11.04 (21/3)   13.11.04 (31/3)  
 
-AI12-0143-1/02   2015-01-28 --  Using an entry index of a family in a precondition
+AI12-0143-1/03   2015-11-19 --  Using an entry index of a family in a precondition
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Promising     (9-0-0) 15-01-28
+    Class: Amendment                   Status: ARG Approved  5-0-2  15-10-18
     RM References:  6.01.01 (30/3)   9.05.04 (5/3)  
 
-AI12-0144-1/02   2015-02-26 --  Make Discrete_Random more flexible
+AI12-0144-1/03   2015-11-19 --  Make Discrete_Random more flexible
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Promising     (10-0-0) 15-02-26
-    RM References:  A.05.02 (20)   A.05.02 (32)  
+    Class: Amendment                   Status: ARG Approved  7-0-0  15-10-18
+    RM References:  A.05.02 (20)   A.05.02 (32)   A.05.02 (41)  
 
 AI12-0145-1/02   2015-01-28 --  Pool_of_Subpool returns null when called too early
     Priority: Low                  Difficulty: Easy
@@ -793,12 +793,12 @@
 
 AI12-0155-1/08   2015-07-30 --  Freezing of an incomplete view has no effect
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: ARG Approved  6-0-3  15-06-26
+    Class: Binding Interpretation      Status: WG9 Approved  15-10-16
     RM References:  3.10.01 (10/3)   13.14 (3/4)   13.14 (15.1/3)  
 
-AI12-0156-1/02   2015-10-09 --  Use subtype_indication in generalized iterators
+AI12-0156-1/03   2015-11-18 --  Use subtype_indication in generalized iterators
     Priority: Medium               Difficulty: Easy
-    Class: Amendment                   Status: Work Item     15-02-26
+    Class: Amendment                   Status: ARG Approved  6-1-1  15-10-17
     RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)   3.10.02 (11.1/2)  
 
 AI12-0157-1/03   2015-05-05 --  Missing rules for expression functions
@@ -818,7 +818,7 @@
 
 AI12-0160-1/02   2015-08-07 --  Adding an indexing aspect to an indexable container type
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: ARG Approved  8-0-1  15-06-26
+    Class: Binding Interpretation      Status: WG9 Approved  15-10-16
     RM References:  4.01.06 (6/4)   4.01.06 (9/4)   3.06 (22.2/3)  
 
 AI12-0161-1/01   2015-06-03 --  Unicode equivalents for Ada operator symbols
@@ -828,46 +828,46 @@
 
 AI12-0162-1/03   2015-07-30 --  Memberships and Unchecked_Unions
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: ARG Approved  8-0-2  15-06-26
+    Class: Binding Interpretation      Status: WG9 Approved  15-10-16
     RM References:  B.03.03 (25/2)  
 
-AI12-0163-1/02   2015-10-10 --  Deterministic queue servicing for FIFO_Queueing
+AI12-0163-1/03   2015-11-20 --  Deterministic queue servicing for FIFO_Queueing
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     15-06-04
+    Class: Amendment                   Status: ARG Approved  5-0-3  15-10-17
     RM References:  D.04 (7/2)   D.04 (12)   D.04 (13)   D.04 (14)  
 
-AI12-0164-1/02   2015-10-13 --  Max_Entry_Queue_Length aspect for entries
+AI12-0164-1/03   2015-10-17 --  Max_Entry_Queue_Length aspect for entries
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Work Item     15-06-04
     RM References:  D.04 (16)  
 
 AI12-0165-1/05   2015-10-13 --  Operations of class-wide types and formal abstract subprograms
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: ARG Approved  9-0-4  (By Letter Ballot) 15-10-13
+    Class: Binding Interpretation      Status: WG9 Approved  15-10-16
     RM References:  12.06 (8.5/2)  
 
 AI12-0166-1/03   2015-08-07 --  External calls to protected functions that appear to be internal calls
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: ARG Approved  8-0-1  15-06-26
+    Class: Binding Interpretation      Status: WG9 Approved  15-10-16
     RM References:  6.01.01 (34/3)   9.05 (3/3)   9.05 (7.1/3)  
 
 AI12-0167-1/03   2015-08-07 --  Type_Invariants and tagged-type View Conversions
     Priority: Low                  Difficulty: Medium
-    Class: Ramification                Status: ARG Approved  11-0-1  15-06-27
+    Class: Ramification                Status: WG9 Approved  15-10-16
     RM References:  7.03.02 (9/4)  
 
 AI12-0168-1/02   2015-07-07 --  Freezing of generic instantiations of generics with bodies
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: ARG Approved  9-0-0  15-06-26
+    Class: Binding Interpretation      Status: WG9 Approved  15-10-16
     RM References:  13.14 (3/4)  
 
 AI12-0169-1/02   2015-07-08 --  Aspect specifications for entry bodies
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: ARG Approved  7-0-2  15-06-26
+    Class: Binding Interpretation      Status: WG9 Approved  15-10-16
     RM References:  9.05.02 (5)  
 
 AI12-0170-1/02   2015-10-13 --  Abstract subprogram calls in class-wide precondition expressions
-    Priority: Low                  Difficulty: Medium
+    Priority: Low                  Difficulty: Hard
     Class: Binding Interpretation      Status: Work Item     15-06-17
     RM References:  3.09.03 (7)   6.01.01 (7/4)   6.01.01 (18.2/4)   7.03.02 (5/4)  
 
@@ -878,36 +878,36 @@
 
 AI12-0172-1/01   2015-10-06 --  Raise expressions in limited contexts
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     15-10-05
+    Class: Binding Interpretation      Status: ARG Approved  8-0-0  15-10-16
     RM References:  7.05 (2.1/3)  
 
-AI12-0173-1/01   2015-10-05 --  Expression of an extended return statement
+AI12-0173-1/02   2015-11-17 --  Expression of an extended return statement
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     15-10-05
+    Class: Binding Interpretation      Status: ARG Approved  8-0-0  15-10-16
     RM References:  6.05 (3/2)   6.05 (5/3)  
 
-AI12-0174-1/01   2015-10-08 --  Aggregates of Unchecked_Unions using named notation
+AI12-0174-1/02   2015-11-17 --  Aggregates of Unchecked_Unions using named notation
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     15-10-08
+    Class: Binding Interpretation      Status: ARG Approved  8-0-0  15-10-16
     RM References:  B.03.03 (9/3)  
 
-AI12-0175-1/01   2015-10-08 --  Preelaborable packages with address clauses
-    Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: Work Item     15-10-08
-    RM References:  4.09 (1)   13.07.01 (10/3)  
+AI12-0175-1/03   2015-11-18 --  Preelaborable packages with address clauses
+    Priority: Medium               Difficulty: Medium
+    Class: Amendment                   Status: ARG Approved  8-0-0  15-10-17
+    RM References:  10.02.01 (7)  
 
 AI12-0176-1/01   2015-10-08 --  6.1.1(26.4/4) only applies to tagged types
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     15-10-08
+    Class: Binding Interpretation      Status: ARG Approved  7-0-1  15-10-16
     RM References:  6.01.01 (26.4/4)  
 
 AI12-0177-1/00   2015-10-08 --  A name resolution oddity
     Priority: Low                  Difficulty: Hard
-    Class: Binding Interpretation      Status: Work Item     15-10-08
+    Class: Binding Interpretation      Status: No Action     (6-0-2) 15-10-16
     RM References:  13.01.01 (11/3)  
 
-AI12-0178-1/01   2015-10-09 --  Glitches in examples
+AI12-0178-1/02   2015-11-18 --  Glitches in examples
     Priority: Low                  Difficulty: Easy
-    Class: Presentation                Status: Work Item     15-10-09
-    RM References:  4.01.03 (17/2)   4.03.03 (45/2)   4.05.02 (37)   9.11 (8/2)   12.03 (24)   12.07 (19/2)   12.07 (21/2)   13.05.01 (27)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  
+    Class: Presentation                Status: ARG Approved  7-0-1  15-10-16
+    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   9.11 (8/2)   10.01.02 (29/2)   11.02 (12)   11.04.03 (5/2)   11.04.03 (6/2)   12.01 (22)   12.03 (24)   12.07 (19/2)   12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.3
2 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  
 

Questions? Ask the ACAA Technical Agent