Ada 2022 Issues Index

This is an index of all Ada 2022 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.

AI22-0001-1/02   2021-11-18 --  Presentation issues in Ada 202x submission
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: ARG Approved  13-0-0  21-11-18
    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: ARG Approved  12-0-0  21-11-18
    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/02   2021-11-18 --  Vestigial rule about inheritance of user-defined literal aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved  11-0-0  21-11-18
    RM References:  4.02.01 (14/5)

AI22-0004-1/01   2021-11-11 --  Permissions of 4.1.4 and No_Implementation_Attributes
    Priority: Very Low   Difficulty: Easy
    Class: Ramification                Status: Work Item     21-11-11
    RM References:  13.12.01 (2/2)

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-0006-1/02   2021-11-18 --  Two-pass iteration for array aggregates
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: ARG Approved  12-0-0  21-11-18
    RM References:  4.03.03 (20.3/5)   4.03.03 (20.4/5)   4.03.03 (32/5)

AI22-0007-1/02   2021-11-18 --  Discriminant checks for aggregates might need to be done early
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved  11-0-0  21-11-18
    RM References:  4.03 (6)

AI22-0008-1/01   2021-11-11 --  Nominal subtype of a delta aggregate
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-11-11
    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/03   2021-11-18 --  Predicates on private extensions
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-11-11
    RM References:  7.03 (13)

AI22-0011-1/03   2021-11-19 --  Reduction expression issues
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-11-11
    RM References:  4.05.10 (18/5)   4.05.10 (24/5)   4.05.10 (25/5)   4.05.10 (27/5)   4.05.10 (29/5)

AI22-0012-1/02   2021-11-18 --  Incompatibility for abstract type Pre'Class
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Work Item    ved 10-0-2  21-11-18!status work item 21
    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: Work Item     21-11-12
    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)

AI22-0014-1/01   2021-11-12 --  Predicates on inherited functions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-11-12
    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/01   2021-11-12 --  Newly constructed objects in a declare expression
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Work Item     21-11-12
    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/03   2021-11-18 --  Easy fixes to Ada 2022
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: ARG Approved  13-0-0  21-11-18
    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-0020-1/01   2021-11-12 --  Order of elements in Aggregate aspect
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Work Item     21-11-12
    RM References:  4.03.05 (3/5)   4.03.05 (4/5)

Ada 2022 Issues listed in numeric order