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/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-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-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/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-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-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-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-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-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)
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)
|