ACAA Header
 
This is a cross reference of all Ada 2012 Issues. Priority is Very Low, Low, Medium, High, or Critical; Difficulty is Easy, Medium, or Hard. Some AIs have alternatives; these are used when the best solution is not apparent. Alternatives share the AI number, but have a different alternative number (following the second dash). For issues that probably will not be considered by the ARG, look in the Ada Commentaries Index. For Ada 95 issues that have or will be considered by the ARG, look in the Ada 95 Issues Index. For Ada 2005 issues that have or will be considered by the ARG, look in the Ada 2005 Issues Index. For Ada 2012 issues that have or will be considered by the ARG, look in the Ada 2012 Issues Index.
The Ada 2022 Issues are indexed in numeric order, by the class of issue, by the current status, and by the section referenced.

AIs listed by Status

The statuses are:

WG9 Approved

ARG Approved

AI22-0020-1/02   2022-01-13 --  Order of elements in Aggregate aspect
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: ARG Approved  15-0-1  22-02-03
    RM References:  4.03.05 (3/5)   4.03.05 (4/5)  

Work Item

AI22-0009-1/01   2021-11-11 --  Nonvolatile views of volatile objects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-11-11
    RM References:  4.06 (58.4/5)   C.06 (12/5)  
AI22-0015-1/01   2021-11-12 --  Innermost master of the call is ambiguous
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-11-12
    RM References:  3.09 (26.1/3)   3.10.02 (14/3)   7.06.01 (11.3/3)   7.06.01 (11.4/3)  
AI22-0017-1/00   2021-11-12 --  Accessibility level of an object in a declare expression
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     21-11-12
    RM References:  3.10.02 (7/5)   4.05.09 (7/5)  
AI22-0019-1/01   2021-11-12 --  Freezing of aspect specifications
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-11-12
    RM References:  13.01.01 (13.1/5)  
AI22-0024-1/01   2022-01-20 --  Abstract prefixed views
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-20
    RM References:  3.09.03 (7/5)   4.01.03 (9.2/3)  
AI22-0025-1/02   2022-01-21 --  Accessibility of generalized iterators
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Work Item     22-01-20
    RM References:  5.05.02 (8/3)   5.05.02 (10/5)  
AI22-0026-1/01   2022-01-21 --  Problem with nested type extension check
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-21
    RM References:  4.08 (10.1/3)  
AI22-0027-1/03   2022-01-27 --  Primitive equality of a class-wide type
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-24
    RM References:  3.04.01 (5)   4.05.02 (28.1/5)  
AI22-0028-1/02   2022-02-04 --  Program_Error for unchecked union equality
    Priority: Very Low   Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-24
    RM References:  B.03.03 (22/2)   B.03.03 (23/2)   B.03.03 (24/2)  
AI22-0029-1/02   2022-01-25 --  External_Tag collisions
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     22-01-24
    RM References:  13.03 (75.1/3)   13.03 (76)  
AI22-0030-1/02   2022-01-26 --  Array iterators of slices
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-06-04
    RM References:  5.05.02 (6.1/4)  
AI22-0034-1/01   2022-01-26 --  Implementation model of dynamic accessibility checking
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     22-01-26
    RM References:  3.10.02 (22)  
AI22-0035-1/01   2022-01-26 --  Add "not null" to some Ada.Strings subprograms
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-26
    RM References:  A.04.03 (109)  
AI22-0036-1/01   2022-01-26 --  Attributes in the expression of Default_Value
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-26
    RM References:  3.05 (56.3/3)  
AI22-0037-1/01   2022-01-27 --  Freezing of static expressions
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Work Item     22-01-27
    RM References:  13.14 (7.2/5)   13.14 (8/4)  
AI22-0038-1/01   2022-02-04 --  Introduction to 7.3.2
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Work Item     22-02-04
    RM References:  7.03.02 (1/5)  
AI22-0039-1/01   2022-02-04 --  Clarify 8.3(26/2)
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Work Item     22-02-04
    RM References:  8.03 (26/2)  

Received

AI22-0005-1/00   2021-11-11 --  Editorial comments on AARM 2022
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      21-11-11
    RM References:  6.06 (6)  
AI22-0022-1/01   2022-01-17 --  Difficult example issues from WG 9 review
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Received      21-05-20
    RM References:  4.03.05 (93/5)   9.02 (26)   9.02 (27)   9.05.02 (33)   9.05.02 (35)   9.05.02 (36)   9.05.02 (37)   A.18.33 (3/3)  
AI22-0033-1/03   2022-01-26 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      22-01-26
    RM References:  3.02.04 (21/3)   3.03 (11)   3.03 (25/3)   4.04 (7/3)   5.08 (5)   8.05.01 (6)   12.02 (2)   A.10.08 (8)
                    A.10.09 (13)  

Promising

Hold

No Action

AI22-0013-1/01   2021-11-12 --  Pragma after a final label
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: No Action     16-0-0  22-02-03
    RM References:  5.01 (12.1/3)   5.06 (1)   5.06 (2)   5.06 (3)   5.06 (4)   5.06 (5)   5.06 (6)  
    Alternatives:   AI22-0013-2

Deleted

AI22-0001-1/03   2022-01-07 --  Presentation issues in Ada 202x submission
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Deleted       21-01-19
    RM References:  3.09 (21)   3.09.03 (8/3)   4.02.01 (7/5)   4.03.05 (7/5)   4.03.05 (8/5)   4.03.05 (9/5)   4.03.05 (22/5)   13.01.01 (18.8/5)  

AIs listed by Class

The classes are:

Confirmation

AI22-0005-1/00   2021-11-11 --  Editorial comments on AARM 2022
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      21-11-11
    RM References:  6.06 (6)  
AI22-0033-1/03   2022-01-26 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      22-01-26
    RM References:  3.02.04 (21/3)   3.03 (11)   3.03 (25/3)   4.04 (7/3)   5.08 (5)   8.05.01 (6)   12.02 (2)   A.10.08 (8)
                    A.10.09 (13)  

Ramification

AI22-0020-1/02   2022-01-13 --  Order of elements in Aggregate aspect
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: ARG Approved  15-0-1  22-02-03
    RM References:  4.03.05 (3/5)   4.03.05 (4/5)  
AI22-0025-1/02   2022-01-21 --  Accessibility of generalized iterators
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Work Item     22-01-20
    RM References:  5.05.02 (8/3)   5.05.02 (10/5)  
AI22-0037-1/01   2022-01-27 --  Freezing of static expressions
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Work Item     22-01-27
    RM References:  13.14 (7.2/5)   13.14 (8/4)  

Binding Interpretation

AI22-0002-1/03   2021-11-18 --  Nonoverridable aspects must be primitive
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-14
    RM References:  13.01.01 (18.3/5)   4.03.05 (6/5)   4.03.05 (10/5)   4.03.05 (35/5)  
AI22-0003-1/03   2022-01-14 --  Vestigial rule about inheritance of user-defined literal aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-14
    RM References:  4.02.01 (14/5)  
AI22-0004-1/04   2022-02-03 --  Permissions of 4.1.4 and No_Implementation_Attributes
    Priority: Very Low   Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  13.12.01 (2/2)  
AI22-0006-1/03   2022-01-14 --  Two-pass iteration for array aggregates
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-14
    RM References:  4.03.03 (20.3/5)   4.03.03 (20.4/5)   4.03.03 (32/5)  
AI22-0007-1/03   2022-01-19 --  Discriminant checks for aggregates might need to be done early
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-19
    RM References:  4.03 (6)  
AI22-0008-1/03   2022-02-03 --  Nominal subtype of a delta aggregate
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  4.03.03 (14.1/5)  
AI22-0009-1/01   2021-11-11 --  Nonvolatile views of volatile objects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-11-11
    RM References:  4.06 (58.4/5)   C.06 (12/5)  
AI22-0010-1/04   2022-01-14 --  Predicates on private extensions
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-14
    RM References:  7.03 (13)  
AI22-0011-1/05   2022-01-19 --  Reduction expression issues
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-19
    RM References:  4.05.10 (9/5)   4.05.10 (10/5)   4.05.10 (12/5)   4.05.10 (13/5)   4.05.10 (15/5)   4.05.10 (16/5)   4.05.10 (17/5)   4.05.10 (18/5)
                    4.05.10 (19/5)   4.05.10 (20/5)   4.05.10 (24/5)   4.05.10 (25/5)   4.05.10 (27/5)   4.05.10 (29/5)   4.05.10 (34/5)  
AI22-0012-1/03   2022-01-14 --  Incompatibility for abstract type Pre'Class
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-14
    RM References:  6.01.01 (18.2/5)  
AI22-0013-1/01   2021-11-12 --  Pragma after a final label
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: No Action     16-0-0  22-02-03
    RM References:  5.01 (12.1/3)   5.06 (1)   5.06 (2)   5.06 (3)   5.06 (4)   5.06 (5)   5.06 (6)  
    Alternatives:   AI22-0013-2
AI22-0013-2/02   2022-02-03 --  Pragma after a final label
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  5.01 (12.1/3)   2.08 (12)  
    Alternatives:   AI22-0013-1
AI22-0014-1/02   2022-02-03 --  Predicates on inherited functions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  3.04 (27/2)  
AI22-0015-1/01   2021-11-12 --  Innermost master of the call is ambiguous
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-11-12
    RM References:  3.09 (26.1/3)   3.10.02 (14/3)   7.06.01 (11.3/3)   7.06.01 (11.4/3)  
AI22-0016-1/02   2022-02-03 --  Newly constructed objects in a declare expression
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  4.05.09 (6/5)  
AI22-0017-1/00   2021-11-12 --  Accessibility level of an object in a declare expression
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     21-11-12
    RM References:  3.10.02 (7/5)   4.05.09 (7/5)  
AI22-0018-1/04   2022-01-14 --  Easy fixes to Ada 2022
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-14
    RM References:  4.03.05 (24/5)   4.03.05 (26/5)   4.03.05 (38/5)   4.03.05 (39/5)   4.09 (8.1/5)   13.01 (0.1/3)  
AI22-0019-1/01   2021-11-12 --  Freezing of aspect specifications
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-11-12
    RM References:  13.01.01 (13.1/5)  
AI22-0021-1/03   2022-02-03 --  Aggregate aspect resolution should not be too smart
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  4.03.05 (7/5)   4.03.05 (8/5)   4.03.05 (9/5)   4.03.05 (11/5)  
AI22-0024-1/01   2022-01-20 --  Abstract prefixed views
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-20
    RM References:  3.09.03 (7/5)   4.01.03 (9.2/3)  
AI22-0026-1/01   2022-01-21 --  Problem with nested type extension check
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-21
    RM References:  4.08 (10.1/3)  
AI22-0027-1/03   2022-01-27 --  Primitive equality of a class-wide type
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-24
    RM References:  3.04.01 (5)   4.05.02 (28.1/5)  
AI22-0028-1/02   2022-02-04 --  Program_Error for unchecked union equality
    Priority: Very Low   Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-24
    RM References:  B.03.03 (22/2)   B.03.03 (23/2)   B.03.03 (24/2)  
AI22-0029-1/02   2022-01-25 --  External_Tag collisions
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     22-01-24
    RM References:  13.03 (75.1/3)   13.03 (76)  
AI22-0030-1/02   2022-01-26 --  Array iterators of slices
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-06-04
    RM References:  5.05.02 (6.1/4)  
AI22-0031-1/03   2022-02-03 --  Issues with dynamic evaluation of container aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  4.03.05 (44/5)   4.03.05 (46/5)   4.03.05 (53/5)  
AI22-0032-1/04   2022-02-04 --  Abstract and class-wide container aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  4.03 (4/5)   4.03.05 (11/5)  
AI22-0034-1/01   2022-01-26 --  Implementation model of dynamic accessibility checking
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     22-01-26
    RM References:  3.10.02 (22)  
AI22-0035-1/01   2022-01-26 --  Add "not null" to some Ada.Strings subprograms
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-26
    RM References:  A.04.03 (109)  
AI22-0036-1/01   2022-01-26 --  Attributes in the expression of Default_Value
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-26
    RM References:  3.05 (56.3/3)  

Amendment

Presentation

AI22-0001-1/03   2022-01-07 --  Presentation issues in Ada 202x submission
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Deleted       21-01-19
    RM References:  3.09 (21)   3.09.03 (8/3)   4.02.01 (7/5)   4.03.05 (7/5)   4.03.05 (8/5)   4.03.05 (9/5)   4.03.05 (22/5)   13.01.01 (18.8/5)  
AI22-0022-1/01   2022-01-17 --  Difficult example issues from WG 9 review
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Received      21-05-20
    RM References:  4.03.05 (93/5)   9.02 (26)   9.02 (27)   9.05.02 (33)   9.05.02 (35)   9.05.02 (36)   9.05.02 (37)   A.18.33 (3/3)  
AI22-0023-1/02   2022-02-04 --  Deferred presentation issues from the WG 9 review
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  1.01.02 (35)   3.08 (18/2)   7.03.02 (5/5)   9.02 (7)   10.02.01 (18/3)  
AI22-0038-1/01   2022-02-04 --  Introduction to 7.3.2
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Work Item     22-02-04
    RM References:  7.03.02 (1/5)  
AI22-0039-1/01   2022-02-04 --  Clarify 8.3(26/2)
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Work Item     22-02-04
    RM References:  8.03 (26/2)  

Pathology

Other

AIs listed by Section Referenced

1.01.02

AI22-0023-1/02   2022-02-04 --  Deferred presentation issues from the WG 9 review
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  1.01.02 (35)   3.08 (18/2)   7.03.02 (5/5)   9.02 (7)   10.02.01 (18/3)  

2.08

AI22-0013-2/02   2022-02-03 --  Pragma after a final label
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  5.01 (12.1/3)   2.08 (12)  
    Alternatives:   AI22-0013-1

3.02.04

AI22-0033-1/03   2022-01-26 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      22-01-26
    RM References:  3.02.04 (21/3)   3.03 (11)   3.03 (25/3)   4.04 (7/3)   5.08 (5)   8.05.01 (6)   12.02 (2)   A.10.08 (8)
                    A.10.09 (13)  

3.03

AI22-0033-1/03   2022-01-26 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      22-01-26
    RM References:  3.02.04 (21/3)   3.03 (11)   3.03 (25/3)   4.04 (7/3)   5.08 (5)   8.05.01 (6)   12.02 (2)   A.10.08 (8)
                    A.10.09 (13)  

3.04

AI22-0014-1/02   2022-02-03 --  Predicates on inherited functions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  3.04 (27/2)  

3.04.01

AI22-0027-1/03   2022-01-27 --  Primitive equality of a class-wide type
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-24
    RM References:  3.04.01 (5)   4.05.02 (28.1/5)  

3.05

AI22-0036-1/01   2022-01-26 --  Attributes in the expression of Default_Value
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-26
    RM References:  3.05 (56.3/3)  

3.08

AI22-0023-1/02   2022-02-04 --  Deferred presentation issues from the WG 9 review
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  1.01.02 (35)   3.08 (18/2)   7.03.02 (5/5)   9.02 (7)   10.02.01 (18/3)  

3.09

AI22-0001-1/03   2022-01-07 --  Presentation issues in Ada 202x submission
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Deleted       21-01-19
    RM References:  3.09 (21)   3.09.03 (8/3)   4.02.01 (7/5)   4.03.05 (7/5)   4.03.05 (8/5)   4.03.05 (9/5)   4.03.05 (22/5)   13.01.01 (18.8/5)  
AI22-0015-1/01   2021-11-12 --  Innermost master of the call is ambiguous
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-11-12
    RM References:  3.09 (26.1/3)   3.10.02 (14/3)   7.06.01 (11.3/3)   7.06.01 (11.4/3)  

3.09.03

AI22-0001-1/03   2022-01-07 --  Presentation issues in Ada 202x submission
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Deleted       21-01-19
    RM References:  3.09 (21)   3.09.03 (8/3)   4.02.01 (7/5)   4.03.05 (7/5)   4.03.05 (8/5)   4.03.05 (9/5)   4.03.05 (22/5)   13.01.01 (18.8/5)  
AI22-0024-1/01   2022-01-20 --  Abstract prefixed views
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-20
    RM References:  3.09.03 (7/5)   4.01.03 (9.2/3)  

3.10.02

AI22-0015-1/01   2021-11-12 --  Innermost master of the call is ambiguous
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-11-12
    RM References:  3.09 (26.1/3)   3.10.02 (14/3)   7.06.01 (11.3/3)   7.06.01 (11.4/3)  
AI22-0017-1/00   2021-11-12 --  Accessibility level of an object in a declare expression
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     21-11-12
    RM References:  3.10.02 (7/5)   4.05.09 (7/5)  
AI22-0034-1/01   2022-01-26 --  Implementation model of dynamic accessibility checking
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     22-01-26
    RM References:  3.10.02 (22)  

4.01.03

AI22-0024-1/01   2022-01-20 --  Abstract prefixed views
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-20
    RM References:  3.09.03 (7/5)   4.01.03 (9.2/3)  

4.02.01

AI22-0001-1/03   2022-01-07 --  Presentation issues in Ada 202x submission
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Deleted       21-01-19
    RM References:  3.09 (21)   3.09.03 (8/3)   4.02.01 (7/5)   4.03.05 (7/5)   4.03.05 (8/5)   4.03.05 (9/5)   4.03.05 (22/5)   13.01.01 (18.8/5)  
AI22-0003-1/03   2022-01-14 --  Vestigial rule about inheritance of user-defined literal aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-14
    RM References:  4.02.01 (14/5)  

4.03

AI22-0007-1/03   2022-01-19 --  Discriminant checks for aggregates might need to be done early
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-19
    RM References:  4.03 (6)  
AI22-0032-1/04   2022-02-04 --  Abstract and class-wide container aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  4.03 (4/5)   4.03.05 (11/5)  

4.03.03

AI22-0006-1/03   2022-01-14 --  Two-pass iteration for array aggregates
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-14
    RM References:  4.03.03 (20.3/5)   4.03.03 (20.4/5)   4.03.03 (32/5)  
AI22-0008-1/03   2022-02-03 --  Nominal subtype of a delta aggregate
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  4.03.03 (14.1/5)  

4.03.05

AI22-0001-1/03   2022-01-07 --  Presentation issues in Ada 202x submission
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Deleted       21-01-19
    RM References:  3.09 (21)   3.09.03 (8/3)   4.02.01 (7/5)   4.03.05 (7/5)   4.03.05 (8/5)   4.03.05 (9/5)   4.03.05 (22/5)   13.01.01 (18.8/5)  
AI22-0002-1/03   2021-11-18 --  Nonoverridable aspects must be primitive
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-14
    RM References:  13.01.01 (18.3/5)   4.03.05 (6/5)   4.03.05 (10/5)   4.03.05 (35/5)  
AI22-0018-1/04   2022-01-14 --  Easy fixes to Ada 2022
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-14
    RM References:  4.03.05 (24/5)   4.03.05 (26/5)   4.03.05 (38/5)   4.03.05 (39/5)   4.09 (8.1/5)   13.01 (0.1/3)  
AI22-0020-1/02   2022-01-13 --  Order of elements in Aggregate aspect
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: ARG Approved  15-0-1  22-02-03
    RM References:  4.03.05 (3/5)   4.03.05 (4/5)  
AI22-0021-1/03   2022-02-03 --  Aggregate aspect resolution should not be too smart
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  4.03.05 (7/5)   4.03.05 (8/5)   4.03.05 (9/5)   4.03.05 (11/5)  
AI22-0022-1/01   2022-01-17 --  Difficult example issues from WG 9 review
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Received      21-05-20
    RM References:  4.03.05 (93/5)   9.02 (26)   9.02 (27)   9.05.02 (33)   9.05.02 (35)   9.05.02 (36)   9.05.02 (37)   A.18.33 (3/3)  
AI22-0031-1/03   2022-02-03 --  Issues with dynamic evaluation of container aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  4.03.05 (44/5)   4.03.05 (46/5)   4.03.05 (53/5)  
AI22-0032-1/04   2022-02-04 --  Abstract and class-wide container aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  4.03 (4/5)   4.03.05 (11/5)  

4.04

AI22-0033-1/03   2022-01-26 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      22-01-26
    RM References:  3.02.04 (21/3)   3.03 (11)   3.03 (25/3)   4.04 (7/3)   5.08 (5)   8.05.01 (6)   12.02 (2)   A.10.08 (8)
                    A.10.09 (13)  

4.05.02

AI22-0027-1/03   2022-01-27 --  Primitive equality of a class-wide type
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-24
    RM References:  3.04.01 (5)   4.05.02 (28.1/5)  

4.05.09

AI22-0016-1/02   2022-02-03 --  Newly constructed objects in a declare expression
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  4.05.09 (6/5)  
AI22-0017-1/00   2021-11-12 --  Accessibility level of an object in a declare expression
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item     21-11-12
    RM References:  3.10.02 (7/5)   4.05.09 (7/5)  

4.05.10

AI22-0011-1/05   2022-01-19 --  Reduction expression issues
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-19
    RM References:  4.05.10 (9/5)   4.05.10 (10/5)   4.05.10 (12/5)   4.05.10 (13/5)   4.05.10 (15/5)   4.05.10 (16/5)   4.05.10 (17/5)   4.05.10 (18/5)
                    4.05.10 (19/5)   4.05.10 (20/5)   4.05.10 (24/5)   4.05.10 (25/5)   4.05.10 (27/5)   4.05.10 (29/5)   4.05.10 (34/5)  

4.06

AI22-0009-1/01   2021-11-11 --  Nonvolatile views of volatile objects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-11-11
    RM References:  4.06 (58.4/5)   C.06 (12/5)  

4.08

AI22-0026-1/01   2022-01-21 --  Problem with nested type extension check
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-21
    RM References:  4.08 (10.1/3)  

4.09

AI22-0018-1/04   2022-01-14 --  Easy fixes to Ada 2022
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-14
    RM References:  4.03.05 (24/5)   4.03.05 (26/5)   4.03.05 (38/5)   4.03.05 (39/5)   4.09 (8.1/5)   13.01 (0.1/3)  

5.01

AI22-0013-1/01   2021-11-12 --  Pragma after a final label
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: No Action     16-0-0  22-02-03
    RM References:  5.01 (12.1/3)   5.06 (1)   5.06 (2)   5.06 (3)   5.06 (4)   5.06 (5)   5.06 (6)  
    Alternatives:   AI22-0013-2
AI22-0013-2/02   2022-02-03 --  Pragma after a final label
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  5.01 (12.1/3)   2.08 (12)  
    Alternatives:   AI22-0013-1

5.05.02

AI22-0025-1/02   2022-01-21 --  Accessibility of generalized iterators
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Work Item     22-01-20
    RM References:  5.05.02 (8/3)   5.05.02 (10/5)  
AI22-0030-1/02   2022-01-26 --  Array iterators of slices
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-06-04
    RM References:  5.05.02 (6.1/4)  

5.06

AI22-0013-1/01   2021-11-12 --  Pragma after a final label
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: No Action     16-0-0  22-02-03
    RM References:  5.01 (12.1/3)   5.06 (1)   5.06 (2)   5.06 (3)   5.06 (4)   5.06 (5)   5.06 (6)  
    Alternatives:   AI22-0013-2

5.08

AI22-0033-1/03   2022-01-26 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      22-01-26
    RM References:  3.02.04 (21/3)   3.03 (11)   3.03 (25/3)   4.04 (7/3)   5.08 (5)   8.05.01 (6)   12.02 (2)   A.10.08 (8)
                    A.10.09 (13)  

6.01.01

AI22-0012-1/03   2022-01-14 --  Incompatibility for abstract type Pre'Class
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-14
    RM References:  6.01.01 (18.2/5)  

6.06

AI22-0005-1/00   2021-11-11 --  Editorial comments on AARM 2022
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      21-11-11
    RM References:  6.06 (6)  

7.03

AI22-0010-1/04   2022-01-14 --  Predicates on private extensions
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-14
    RM References:  7.03 (13)  

7.03.02

AI22-0023-1/02   2022-02-04 --  Deferred presentation issues from the WG 9 review
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  1.01.02 (35)   3.08 (18/2)   7.03.02 (5/5)   9.02 (7)   10.02.01 (18/3)  
AI22-0038-1/01   2022-02-04 --  Introduction to 7.3.2
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Work Item     22-02-04
    RM References:  7.03.02 (1/5)  

7.06.01

AI22-0015-1/01   2021-11-12 --  Innermost master of the call is ambiguous
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-11-12
    RM References:  3.09 (26.1/3)   3.10.02 (14/3)   7.06.01 (11.3/3)   7.06.01 (11.4/3)  

8.03

AI22-0039-1/01   2022-02-04 --  Clarify 8.3(26/2)
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Work Item     22-02-04
    RM References:  8.03 (26/2)  

8.05.01

AI22-0033-1/03   2022-01-26 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      22-01-26
    RM References:  3.02.04 (21/3)   3.03 (11)   3.03 (25/3)   4.04 (7/3)   5.08 (5)   8.05.01 (6)   12.02 (2)   A.10.08 (8)
                    A.10.09 (13)  

9.02

AI22-0022-1/01   2022-01-17 --  Difficult example issues from WG 9 review
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Received      21-05-20
    RM References:  4.03.05 (93/5)   9.02 (26)   9.02 (27)   9.05.02 (33)   9.05.02 (35)   9.05.02 (36)   9.05.02 (37)   A.18.33 (3/3)  
AI22-0023-1/02   2022-02-04 --  Deferred presentation issues from the WG 9 review
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  1.01.02 (35)   3.08 (18/2)   7.03.02 (5/5)   9.02 (7)   10.02.01 (18/3)  

9.05.02

AI22-0022-1/01   2022-01-17 --  Difficult example issues from WG 9 review
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Received      21-05-20
    RM References:  4.03.05 (93/5)   9.02 (26)   9.02 (27)   9.05.02 (33)   9.05.02 (35)   9.05.02 (36)   9.05.02 (37)   A.18.33 (3/3)  

10.02.01

AI22-0023-1/02   2022-02-04 --  Deferred presentation issues from the WG 9 review
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  1.01.02 (35)   3.08 (18/2)   7.03.02 (5/5)   9.02 (7)   10.02.01 (18/3)  

12.02

AI22-0033-1/03   2022-01-26 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      22-01-26
    RM References:  3.02.04 (21/3)   3.03 (11)   3.03 (25/3)   4.04 (7/3)   5.08 (5)   8.05.01 (6)   12.02 (2)   A.10.08 (8)
                    A.10.09 (13)  

13.01

AI22-0018-1/04   2022-01-14 --  Easy fixes to Ada 2022
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-14
    RM References:  4.03.05 (24/5)   4.03.05 (26/5)   4.03.05 (38/5)   4.03.05 (39/5)   4.09 (8.1/5)   13.01 (0.1/3)  

13.01.01

AI22-0001-1/03   2022-01-07 --  Presentation issues in Ada 202x submission
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Deleted       21-01-19
    RM References:  3.09 (21)   3.09.03 (8/3)   4.02.01 (7/5)   4.03.05 (7/5)   4.03.05 (8/5)   4.03.05 (9/5)   4.03.05 (22/5)   13.01.01 (18.8/5)  
AI22-0002-1/03   2021-11-18 --  Nonoverridable aspects must be primitive
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-01-14
    RM References:  13.01.01 (18.3/5)   4.03.05 (6/5)   4.03.05 (10/5)   4.03.05 (35/5)  
AI22-0019-1/01   2021-11-12 --  Freezing of aspect specifications
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-11-12
    RM References:  13.01.01 (13.1/5)  

13.03

AI22-0029-1/02   2022-01-25 --  External_Tag collisions
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     22-01-24
    RM References:  13.03 (75.1/3)   13.03 (76)  

13.12.01

AI22-0004-1/04   2022-02-03 --  Permissions of 4.1.4 and No_Implementation_Attributes
    Priority: Very Low   Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2022  22-02-03
    RM References:  13.12.01 (2/2)  

13.14

AI22-0037-1/01   2022-01-27 --  Freezing of static expressions
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Work Item     22-01-27
    RM References:  13.14 (7.2/5)   13.14 (8/4)  

A.04.03

AI22-0035-1/01   2022-01-26 --  Add "not null" to some Ada.Strings subprograms
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-26
    RM References:  A.04.03 (109)  

A.10.08

AI22-0033-1/03   2022-01-26 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      22-01-26
    RM References:  3.02.04 (21/3)   3.03 (11)   3.03 (25/3)   4.04 (7/3)   5.08 (5)   8.05.01 (6)   12.02 (2)   A.10.08 (8)
                    A.10.09 (13)  

A.10.09

AI22-0033-1/03   2022-01-26 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      22-01-26
    RM References:  3.02.04 (21/3)   3.03 (11)   3.03 (25/3)   4.04 (7/3)   5.08 (5)   8.05.01 (6)   12.02 (2)   A.10.08 (8)
                    A.10.09 (13)  

A.18.33

AI22-0022-1/01   2022-01-17 --  Difficult example issues from WG 9 review
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Received      21-05-20
    RM References:  4.03.05 (93/5)   9.02 (26)   9.02 (27)   9.05.02 (33)   9.05.02 (35)   9.05.02 (36)   9.05.02 (37)   A.18.33 (3/3)  

B.03.03

AI22-0028-1/02   2022-02-04 --  Program_Error for unchecked union equality
    Priority: Very Low   Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     22-01-24
    RM References:  B.03.03 (22/2)   B.03.03 (23/2)   B.03.03 (24/2)  

C.06

AI22-0009-1/01   2021-11-11 --  Nonvolatile views of volatile objects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-11-11
    RM References:  4.06 (58.4/5)   C.06 (12/5)