CVS difference for ai12s/ai12-summary.txt

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

--- ai12s/ai12-summary.txt	2019/01/18 06:26:49	1.104
+++ ai12s/ai12-summary.txt	2019/02/07 06:31:31	1.105
@@ -308,10 +308,10 @@
     Class: Amendment                   Status: No Action     (5-0-2) 18-10-21
     RM References:  8.03.01 (3/2)  
 
-AI12-0061-1/06   2016-04-22 --  Index parameters in array aggregates
+AI12-0061-1/07   2019-02-05 --  Index parameters in array aggregates
     Priority: Medium               Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  16-02-29
-    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.01 (4)  
+    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.01 (2.1/4)  
 
 AI12-0062-1/02   2013-07-03 --  Raise exception with failing string function
     Priority: Low                  Difficulty: Easy
@@ -405,7 +405,7 @@
     Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012  13-06-28
     RM References:  A.18.10 (2/3)   A.18.10 (3/3)  
 
-AI12-0079-1/11   2019-01-04 --  Global-in and global-out annotations
+AI12-0079-1/12   2019-01-31 --  Global-in and global-out annotations
     Priority: High                 Difficulty: Hard
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-12-10
     RM References:  6.01.02 (0)   13.01.01 (4/3)   13.01.01 (11/3)   13.14 (3/5)  
@@ -570,10 +570,10 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-12-11
     RM References:  A.18.02 (97.1/3)  
 
-AI12-0112-1/06   2018-01-03 --  Contracts for container operations
+AI12-0112-1/07   2019-01-21 --  Contracts for container operations
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-12-10
-    RM References:  A.18.02 (99/3)   11.05 (23)   11.05 (26)   A (4)  
+    RM References:  A.18.02 (99/3)   11.04.02 (23.1/3)   11.05 (23)   11.05 (26)   A (4)  
 
 AI12-0113-1/03   2014-11-19 --  Class-wide preconditions and statically bound calls
     Priority: Medium               Difficulty: Hard
@@ -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/01   2016-06-06 --  Clarify "part" for type invariants
+AI12-0191-1/02   2019-02-06 --  Clarify "part" for type invariants
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     16-06-06
-    RM References:  7.03.02 (19.1/4)   7.03.02 (19.2/4)   7.03.02 (19.3/4)   7.03.02 (19.4/4)  
+    RM References:  3.09.01 (4.1/2)   7.03.02 (10.1/4)   7.03.02 (15/5)  
 
 AI12-0192-1/03   2016-10-02 --  "requires late initialization" and protected types
     Priority: Low                  Difficulty: Easy
@@ -1082,7 +1082,7 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-08-03
     RM References:  6.03.01 (13.1/3)   B.01 (19)   B.01 (21/3)  
 
-AI12-0208-1/07   2019-01-07 --  Predefined Big numbers support
+AI12-0208-1/08   2019-02-01 --  Predefined Big numbers support
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     16-12-19
     RM References:  A.05.05 (0)   A.05.06 (0)   A.05.07 (0)   A.05.08 (0)  
@@ -1092,20 +1092,20 @@
     Class: Amendment                   Status: Hold          by Letter Ballot (9-0-2) - 18-05-07
     RM References:  C.06 (8/3)  
 
-AI12-0210-1/01   2018-10-16 --  Type Invariants and Generics
+AI12-0210-1/02   2019-02-06 --  Type Invariants and Generics
     Priority: Very Low             Difficulty: Medium
-    Class: Binding Interpretation      Status: Work Item     16-12-19
-    RM References:  7.03.02 (8.3/5)   7.03.02 (8.4/5)   7.03.02 (12/3)   7.03.02 (20.1/4)  
+    Class: Ramification                Status: Work Item     16-12-19
+    RM References:  7.03.02 (23/3)  
 
 AI12-0211-1/04   2017-11-17 --  Interface types and inherited nonoverridable aspects
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  17-11-17
     RM References:  13.01.01 (18.3/5)   13.01.01 (18.4/4)  
 
-AI12-0212-1/09   2019-01-11 --  Container aggregates; generalized array aggregates
+AI12-0212-1/10   2019-01-27 --  Container aggregates; generalized array aggregates
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-11-19
-    RM References:  4.03.05 (0)   1.01.04 (12)   1.01.04 (13)   2.02 (9/5)   3.08.01 (4)   4.03.03 (3/2)   4.03.03 (4)  
+    RM References:  4.03.05 (0)   1.01.04 (12)   1.01.04 (13)   2.01 (15)   2.02 (9/5)   3.07.01 (3)   3.08.01 (4)   4.03 (2/5)   4.03 (3/5)   4.03.01 (5)   4.03.03 (3/2)   4.03.03 (4/5)   4.03.03 (5.1/5)   4.03.03 (9)   4.03.03 (17/5)   4.03.03 (21)   4.
03.03 (23.2/5)   4.03.03 (26)   4.03.03 (27)   4.03.03 (31)   4.03.04 (4/5)   4.04 (3.1/3)   11.02 (3)   13.01.01 (5/3)   13.01.01 (7/3)  
 
 AI12-0213-1/04   2019-01-14 --  Unify record syntax
     Priority: Very Low             Difficulty: Easy
@@ -1224,15 +1224,15 @@
     Class: Amendment                   Status: Work Item     17-06-09
     RM References:  A.19 (0)  
 
-AI12-0235-1/04   2018-11-15 --  System.Storage_Pools should be pure
+AI12-0235-1/05   2019-01-25 --  System.Storage_Pools should be pure
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-11-15
     RM References:  13.11 (5)  
 
-AI12-0236-1/07   2019-01-17 --  declare expressions
+AI12-0236-1/08   2019-01-21 --  declare expressions
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-01-15
-    RM References:  2.08 (6)   3.09.02 (3)   3.10.02 (9.1/3)   3.10.02 (32.2/3)   4.03.02 (5.4/3)   4.03.03 (15.1/3)   4.04 (7/3)   4.05.09 (0)   6.02 (10/4)   7.05 (2.1/5)   8.01 (3)  
+    RM References:  2.08 (6)   3.09.02 (3)   3.10.02 (9.1/3)   3.10.02 (16.1/3)   3.10.02 (32.2/3)   4.03.02 (5.4/3)   4.03.03 (15.1/3)   4.04 (7/3)   4.05.09 (0)   6.02 (10/4)   7.05 (2.1/5)   8.01 (2.1/4)  
 
 AI12-0237-1/04   2018-09-05 --  Getting the representation of an enumeration value
     Priority: Very Low             Difficulty: Easy
@@ -1284,10 +1284,10 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  17-12-18
     RM References:  3.09 (6/2)   3.09 (18.2/3)   5.05.01 (2/3)   7.06 (4/3)   9.06 (10)   9.06.01 (2/2)   9.06.01 (8/2)   9.06.01 (15/2)   11.04.01 (2/2)   13.07.02 (2)   13.09 (3/3)   13.11.02 (3/3)   13.13.01 (2)   A.04.03 (5)   A.04.04 (3)   A.04.05 (3
)   A.04.07 (3)   A.04.09 (7/3)   A.04.09 (10/3)   A.04.09 (11.7/3)   A.04.09 (11.10/3)   A.04.10 (7/3)   A.04.10 (10/3)   A.04.10 (18/3)   A.04.10 (21/3)   A.05.01 (3)   A.10.01 (55)   A.10.01 (60)   A.10.01 (67)   A.10.01 (72)   A.10.01 (77)   A.10.01 (8
3)   A.15 (3)   A.16 (15/2)   A.16 (16/2)   A.16 (17/2)   A.16 (18/2)   A.16 (19/2)   A.16 (20/2)   A.16.01 (3/3)   A.17 (3/2)   B.03.01 (3)   B.03.02 (4)   B.04 (7)   C.03.02 (2/3)   C.07.01 (2/2)   C.07.01 (3/3)   C.07.01 (16)   C.07.02 (2)   C.07.03 (2/
2)   D.02.01 (1.2/3)   D.02.01 (1.3/3)   D.02.01 (7/3)   D.02.04 (2.2/3)   D.02.05 (4/2)   D.02.06 (9/2)   D.05.01 (3/2)   D.08 (3)   D.10 (3/2)   D.10 (4)   D.10 (5.2/3)   D.10 (10)   D.10 (10.1/3)   D.10.01 (3/3)   D.10.01 (6/3)   D.10.01 (14/3)   D.11 (
3/2)   D.14 (3/2)   D.14.01 (3/2)   D.14.01 (5/2)   D.14.02 (3/2)   D.14.02 (5/2)   D.14.03 (3/3)   D.15 (3/2)   D.15 (4/2)   D.16 (3/3)   D.16.01 (3/3)   E.05 (3)   E.05 (23)   F.03.03 (3)   F.03.03 (14)   F.03.03 (15)   G.01.01 (2/1)   G.01.02 (2/2)   G.
01.03 (8)   G.03.01 (2/2)   G.03.02 (2/2)  
 
-AI12-0242-1/10   2019-01-16 --  Shorthand Reduction Expressions for Objects
+AI12-0242-1/11   2019-01-17 --  Shorthand Reduction Expressions for Objects
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-01-15
-    RM References:  4.05.10 (0)  
+    RM References:  4.05.10 (0)   4.01.04 (6)  
 
 AI12-0243-1/02   2018-10-14 --  Subtypes as primitive arguments
     Priority: Very Low             Difficulty: Medium
@@ -1319,7 +1319,7 @@
     Class: Amendment                   Status: No Action     (7-0-0) 18-10-21
     RM References:  4.03.03 (2)   4.03.05 (0)  
 
-AI12-0249-1/04   2018-12-10 --  User-defined numeric literals
+AI12-0249-1/05   2019-01-25 --  User-defined numeric literals
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-11-29
     RM References:  4.02 (9)   4.02.01 (0)   4.09 (3)  
@@ -1329,7 +1329,7 @@
     Class: Amendment                   Status: Work Item     18-01-25
     RM References:  5.05 (4)  
 
-AI12-0251-1/03   2018-11-16 --  Explicit chunk definition for parallel loops
+AI12-0251-1/04   2019-01-25 --  Explicit chunk definition for parallel loops
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-11-16
     RM References:  5.05 (3/3)   5.05 (5)   5.05 (6/5)   5.05 (9/4)  
@@ -1391,7 +1391,7 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  18-03-05
     RM References:  10.01.02 (12/3)   10.01.02 (13/2)   10.01.02 (14/2)   10.01.02 (15/2)   10.01.02 (16/2)  
 
-AI12-0262-1/08   2019-01-17 --  Map-Reduce attribute
+AI12-0262-1/09   2019-02-01 --  Map-Reduce attribute
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Amendment 1 for Ada 2012  19-01-15
     RM References:  4.01.04 (1)   4.01.04 (6)   4.01.04 (11)   4.05.10 (0)  
@@ -1411,12 +1411,12 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-04-04
     RM References:  7.03.03 (0)   1.01.03 (17.1/5)   11.04.02 (23.2/5)   11.04.02 (23.3/5)  
 
-AI12-0266-1/09   2019-01-12 --  Parallel Container Iterators
+AI12-0266-1/11   2019-01-29 --  Parallel Container Iterators
     Priority: Medium               Difficulty: Medium
-    Class: Amendment                   Status: Work Item     18-03-28
-    RM References:  5.05.01 (4/3)   5.05.01 (6/4)   5.05.01 (11/3)   5.05.02 (4/3)  
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  19-01-29
+    RM References:  5.05 (3/5)   5.05 (8.1/5)   5.05 (9.3/5)   5.05.01 (4/3)   5.05.01 (6/4)   5.05.01 (11/3)   5.05.02 (2.1/3)   5.05.02 (4/3)   5.05.02 (10/3)   5.05.02 (11/3)   5.05.02 (12/3)   5.05.02 (13/3)   5.05.02 (15/3)   A.18.02 (74.1/3)   A.18.
02 (74.2/3)   A.18.02 (230.1/3)   A.18.02 (230.2/3)   A.18.02 (230.3/3)   A.18.02 (230.4/3)   A.18.03 (46.1/3)   A.18.03 (46.2/3)   A.18.03 (144.1/3)   A.18.03 (144.2/3)   A.18.03 (144.3/3)   A.18.03 (144.4/3)   A.18.05 (37.1/3)   A.18.05 (61.1/3)   A.18.0
5 (61.2/3)   A.18.06 (51.1/3)   A.18.06 (51.2/3)   A.18.06 (94.1/3)   A.18.06 (94.2/3)   A.18.08 (49.1/3)   A.18.08 (85.1/3)   A.18.08 (85.2/3)   A.18.09 (61.1/3)   A.18.09 (61.2/3)   A.18.09 (113.1/3)   A.18.09 (113.2/3)   A.18.10 (44/3)   A.18.10 (45/3) 
  A.18.10 (70/3)   A.18.10 (156/3)   A.18.10 (157/3)   A.18.10 (158/3)   A.18.10 (159/3)   A.18.10 (218/3)   A.18.10 (219/3)  
 
-AI12-0267-1/07   2018-11-19 --  Data race and non-blocking checks for parallel constructs
+AI12-0267-1/08   2019-01-25 --  Data race and non-blocking checks for parallel constructs
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-11-19
     RM References:  9.05 (57/5)   9.10 (11)   9.10 (15)   9.10.01 (0)   H.05 (1/2)   H.05 (5/5)   H.05 (6/2)  
@@ -1461,7 +1461,7 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-07-05
     RM References:  8.05.01 (2/3)   8.05.01 (3/2)  
 
-AI12-0276-1/02   2018-10-23 --  Admission Policy Defined for Acquiring a Protected Object Resource
+AI12-0276-1/03   2019-01-25 --  Admission policy defined for acquiring a protected object resource
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-11-27
     RM References:  D.04.01 (0)   9.05.01 (19)   D.01 (22/1)  
@@ -1476,7 +1476,7 @@
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  18-07-05
     RM References:  3.10.02 (10.3/3)  
 
-AI12-0279-1/04   2018-10-22 --  Nonpreemptive Dispatching Needs More Dispatching Points
+AI12-0279-1/05   2019-01-25 --  Nonpreemptive dispatching needs more dispatching points
     Priority: Medium               Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  18-11-26
     RM References:  D.02.01 (1.5/2)   D.02.01 (7/5)  
@@ -1518,7 +1518,7 @@
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-07-06
     RM References:  7.03.04 (2/5)   7.03.04 (3/5)   7.03.04 (4/5)   7.03.04 (6/5)   7.03.04 (7/5)   7.03.04 (9/5)   7.03.04 (10/5)   7.03.04 (14/5)   13.01.01 (4/5)  
 
-AI12-0286-1/02   2018-11-15 --  Allows_Exit aspect should be used on language-defined subprograms
+AI12-0286-1/03   2019-01-25 --  Allows_Exit aspect should be used on language-defined subprograms
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Amendment 1 for Ada 2012  18-11-15
     RM References:  A.16 (36/2)   A.16 (111/2)   A.17 (8/3)   A.17 (22/3)  
@@ -1526,7 +1526,7 @@
 AI12-0287-1/03   2018-11-20 --  Legality Rules for null exclusions in renaming are too fierce
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Amendment 1 for Ada 2012  18-11-15
-    RM References:  8.05.01 (4.4/2)   8.05.01 (4.5/2)   8.05.01 (4.6/2)   12.04 (8.3/2)   12.04 (8.4/2)   12.04 (8.5/2)   12.04 (8.2/5)  
+    RM References:  8.05.01 (4.4/2)   8.05.01 (4.5/2)   8.05.01 (4.6/2)   8.05.04 (4.2/2)   12.04 (8.3/2)   12.04 (8.4/2)   12.04 (8.5/2)   12.04 (8.2/5)   12.06 (8.2/5)  
 
 AI12-0288-1/01   2018-08-06 --  'Value for all types
     Priority: Low                  Difficulty: Medium
@@ -1578,10 +1578,10 @@
     Class: Amendment                   Status: Work Item     18-12-06
     RM References:  12.04 (6)   12.07 (2)  
 
-AI12-0298-1/03   2019-01-10 --  Revise the conflict check policies to ensure compatibility
+AI12-0298-1/05   2019-02-06 --  Revise the conflict check policies to ensure compatibility
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     18-12-06
-    RM References:  9.10 (17/5)   9.10.01 (11/5)   9.10.01 (12/5)  
+    RM References:  9.10 (17/5)   9.10.01 (11/5)   9.10.01 (12/5)   9.10.01 (13/5)   9.10.01 (14/5)  
 
 AI12-0299-1/02   2019-01-14 --  The permission of D.2.1(10.1/2) allows too much
     Priority: Low                  Difficulty: Easy
@@ -1612,4 +1612,39 @@
     Priority: Low                  Difficulty: Easy
     Class: Amendment                   Status: Work Item     19-01-11
     RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
+
+AI12-0305-1/01   2019-02-01 --  Bounded Big Integers
+    Priority: Low                  Difficulty: Medium
+    Class: Amendment                   Status: Work Item     19-02-01
+    RM References:  A.05.08 (0)  
+
+AI12-0306-1/01   2019-02-04 --  Split null array aggregates from positional array aggregates
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     19-02-04
+    RM References:  4.03.03 (2)   4.03.03 (3/5)   4.03.03 (9/5)   4.03.03 (26/5)   4.03.03 (26.1/5)   4.03.03 (33/3)   4.03.03 (38)   4.03.03 (39)   4.03.03 (42)  
+
+AI12-0307-1/01   2019-02-04 --  Resolution of aggregates
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     19-02-04
+    RM References:  4.03 (3/5)  
+
+AI12-0308-1/01   2019-02-05 --  New entities that are declarations need to be references in 3.1 and 8.1.
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Amendment 1 for Ada 2012  19-02-05
+    RM References:  3.01 (6/3)   3.03 (6)   3.03 (18.1/3)   5.05.03 (0)  
+
+AI12-0309-1/01   2019-02-05 --  Missing checks for pragma Suppress
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     19-02-05
+    RM References:  11.05 (10)   11.05 (19)   11.05 (20)   11.05 (22)   11.05 (24)  
+
+AI12-0310-1/01   2019-02-06 --  Syntax for specifying private parts of packages for aspect Global
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     19-02-06
+    RM References:  6.01.02 (10/5)  
+
+AI12-0311-1/01   2019-02-06 --  Suppressing client-side assertions for language-defined units
+    Priority: Low                  Difficulty: Easy
+    Class: Amendment                   Status: Work Item     19-02-06
+    RM References:  11.04.02 (23.5/5)   11.05 (23)   11.05 (26)  
 

Questions? Ask the ACAA Technical Agent