CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2019/06/11 04:13:55	1.121
+++ ai12s/ai12-summary.txt	2019/07/19 04:34:42	1.122
@@ -978,10 +978,10 @@
     Class: Amendment                   Status: No Action     (10-0-2) 19-01-14
     RM References:  4.04 (7/3)   4.05.09 (0)  
 
-AI12-0191-1/11   2019-06-05 --  Clarify "part" for type invariants
+AI12-0191-1/12   2019-07-02 --  Clarify "part" for type invariants
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  19-05-09
-    RM References:  3.09.01 (4.1/2)   7.03.02 (10.1/4)   7.03.02 (15/5)  
+    RM References:  3.03 (23/5)   3.09.01 (4.1/2)   6.08 (5.8/5)   7.03.02 (8.3/5)   7.03.02 (8.4/5)   7.03.02 (8.5/5)   7.03.02 (8.6/5)   7.03.02 (8.7/5)   7.03.02 (8.8/5)   7.03.02 (8.9/5)   7.03.02 (8.10/5)   7.03.02 (8.11/5)   7.03.02 (8.12/5)   7.03.
02 (10.1/4)   7.03.02 (15/5)   7.03.02 (17/4)   7.03.02 (18/4)   7.03.02 (19/4)   13.13.02 (9/3)  
 
 AI12-0192-1/03   2016-10-02 --  "requires late initialization" and protected types
     Priority: Low                  Difficulty: Easy
@@ -1092,9 +1092,9 @@
     Class: Amendment                   Status: Hold          by Letter Ballot (9-0-2) - 18-05-07
     RM References:  C.06 (8/3)  
 
-AI12-0210-1/04   2019-06-03 --  Type Invariants and Generics
+AI12-0210-1/05   2019-07-02 --  Type Invariants and Generics
     Priority: Very Low             Difficulty: Medium
-    Class: Ramification                Status: Work Item     16-12-19
+    Class: Ramification                Status: Amendment 1 for Ada 2012  19-07-02
     RM References:  7.03.02 (23/3)  
 
 AI12-0211-1/04   2017-11-17 --  Interface types and inherited nonoverridable aspects
@@ -1118,10 +1118,10 @@
     RM References:  5.04 (4/3)  
     Alternatives:   AI12-0214-2
 
-AI12-0214-2/01   2018-05-16 --  Boolean conditional case expressions and statements
+AI12-0214-2/03   2019-07-05 --  Boolean conditional case expressions and statements
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     18-05-16
-    RM References:  4.05.07 (5/3)   5.04 (2/3)  
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  19-07-05
+    RM References:  4.05.07 (5/3)   4.05.07 (6/3)   4.05.07 (14/3)   4.05.07 (21/3)   4.09 (12.1/3)   4.09 (32.5/3)   5.04 (2/3)   5.04 (3)   5.04 (11/3)   5.04 (14/3)  
     Alternatives:   AI12-0214-1
 
 AI12-0215-1/01   2017-01-09 --  Implicit instantiations
@@ -1244,7 +1244,7 @@
     Class: Amendment                   Status: No Action     (8-0-0) 17-10-14
     RM References:  7.08 (0)  
 
-AI12-0239-1/01   2017-10-05 --  Ghost Code
+AI12-0239-1/02   2019-06-15 --  Ghost Code
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     17-10-05
     RM References:  11.04.01 (27/3)  
@@ -1279,10 +1279,10 @@
     RM References:  6.01.03 (0)  
     Alternatives:   AI12-0240-1  AI12-0240-2  AI12-0240-3  AI12-0240-4  AI12-0240-6
 
-AI12-0240-6/03   2019-06-09 --  Global aspect and access types used to implement Abstract Data Types
+AI12-0240-6/05   2019-07-16 --  Global aspect and access types used to implement Abstract Data Types
     Priority: High                 Difficulty: Hard
-    Class: Amendment                   Status: Work Item     19-04-08
-    RM References:  6.01.03 (0)  
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  19-07-16
+    RM References:  6.01.02 (0)   6.01.03 (0)  
     Alternatives:   AI12-0240-1  AI12-0240-2  AI12-0240-3  AI12-0240-4  AI12-0240-5
 
 AI12-0241-1/02   2018-01-18 --  Specifying Nonblocking for Language-Defined Units
@@ -1489,11 +1489,11 @@
 
 AI12-0280-1/01   2018-05-14 --  Contract_Cases aspect
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     18-05-14
+    Class: Amendment                   Status: No Action     (10-0-0) 19-06-15
     RM References:  6.01.02 (0)  
     Alternatives:   AI12-0280-2
 
-AI12-0280-2/02   2018-05-16 --  Making 'Old more sensible
+AI12-0280-2/03   2019-06-15 --  Making 'Old more sensible
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     18-05-15
     RM References:  6.01.01 (24/3)   6.01.01 (26.4/4)   6.01.01 (39/5)  
@@ -1726,13 +1726,13 @@
 
 AI12-0326-1/02   2019-04-15 --  Consequence for incorrect Allows_Exit
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     19-04-05
+    Class: Amendment                   Status: No Action     (10-0-0) 19-06-14
     RM References:  5.05.03 (17/5)   5.05.03 (21/5)  
     Alternatives:   AI12-0326-2
 
-AI12-0326-2/02   2019-05-17 --  Bounded errors associated with procedural iterators
+AI12-0326-2/04   2019-07-15 --  Bounded errors associated with procedural iterators
     Priority: Low                  Difficulty: Medium
-    Class: Amendment                   Status: Work Item     19-04-05
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  19-07-15
     RM References:  5.05 (3/5)   5.05.03 (15/5)   5.05.03 (17/5)   5.05.03 (18/5)   5.05.03 (19/5)   5.05.03 (20/5)   5.05.03 (21/5)  
     Alternatives:   AI12-0326-1
 
@@ -1766,10 +1766,10 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-05-09
     RM References:  7.03.03 (9/5)  
 
-AI12-0333-1/03   2019-05-31 --  Predicate checks on out parameters
+AI12-0333-1/04   2019-07-03 --  Predicate checks on out parameters
     Priority: Low                  Difficulty: Easy
-    Class: Amendment                   Status: Work Item     19-05-07
-    RM References:  3.02.04 (31/5)  
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  19-07-03
+    RM References:  3.02.04 (31/5)   4.06 (51/4)   6.04.01 (14)  
 
 AI12-0334-1/04   2019-06-10 --  Predicates and Global/Nonblocking
     Priority: Low                  Difficulty: Medium
@@ -1777,24 +1777,34 @@
     RM References:  6.01.02 (1/5)   6.01.02 (12/5)   6.01.02 (17/5)   9.05 (65/5)  
     Alternatives:   AI12-0334-2
 
-AI12-0334-2/01   2019-06-10 --  Predicates and Global/Nonblocking
+AI12-0334-2/02   2019-06-15 --  Predicates and Global/Nonblocking
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     19-06-03
     RM References:  6.01.02 (1/5)   6.01.02 (12/5)   6.01.02 (17/5)   9.05 (65/5)  
     Alternatives:   AI12-0334-1
 
-AI12-0335-1/01   2019-06-04 --  Dynamic accessibility check needed for some requeue targets
+AI12-0335-1/03   2019-07-02 --  Dynamic accessibility check needed for some requeue targets
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     19-06-04
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  19-07-02
     RM References:  9.05.04 (7/4)  
+
+AI12-0336-1/03   2019-07-03 --  Meaning of Time_Offset
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  19-07-03
+    RM References:  9.06.01 (6/2)   9.06.01 (35/2)   9.06.01 (40/2)   9.06.01 (41/2)   9.06.01 (42/3)   9.06.01 (90/2)   9.06.01 (91/2)  
+
+AI12-0337-1/02   2019-07-03 --  Simple_Name("/") in Ada.Directories
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  19-07-03
+    RM References:  A.16 (47/2)   A.16 (74/2)   A.16 (82/3)  
 
-AI12-0336-1/02   2019-06-06 --  Meaning of Time_Offset
+AI12-0338-1/03   2019-07-02 --  type invariant checking and incomplete types
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     19-06-04
-    RM References:  9.06.01 (6/2)   9.06.01 (35/2)   9.06.01 (40/2)   9.06.01 (42/3)   9.06.01 (90/2)   9.06.01 (91/2)  
+    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  19-07-02
+    RM References:  7.03.02 (20/5)  
 
-AI12-0337-1/01   2019-06-06 --  Simple_Name("/") in Ada.Directories
+AI12-0339-1/02   2019-07-16 --  Empty function for Container aggregates
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Work Item     19-06-06
-    RM References:  A.16 (74/2)  
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  19-07-16
+    RM References:  A.18.02 (8/5)   A.18.02 (13/5)   A.18.02 (78.2/5)   A.18.02 (99/5)   A.18.03 (6/5)   A.18.03 (9.1/5)   A.18.03 (50.2/5)   A.18.05 (3/5)   A.18.05 (6.1/5)   A.18.05 (37.3/5)   A.18.05 (47/5)   A.18.06 (4/5)   A.18.06 (7.1/5)   A.18.06 (
51.4/5)   A.18.08 (3/5)   A.18.08 (6.1/5)   A.18.08 (59.2/5)   A.18.08 (69/5)   A.18.09 (4/5)   A.18.09 (7.1/5)   A.18.09 (74.2/5)   A.18.10 (11.1/5)   A.18.18 (7.1/5)   A.18.20 (7/5)   A.18.22 (7/5)   A.18.24 (7/5)   A.18.25 (8/3)  
 

Questions? Ask the ACAA Technical Agent