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).
Each AI is followed by an index of the discussions and/or voting that occurred
at meetings or by Letter Ballots. The index includes a link directly to the discussion
in the appropriate set of minutes.
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)
Discussions and/or Voting:
Meeting 62M, Nov 2021 - Approve AI w/ changes: 13-0-0
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)
Discussions and/or Voting:
Meeting 62M, Nov 2021 - Approve AI: 12-0-0
Meeting 62M, Nov 2021 - Intent: 13-0-0
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)
Discussions and/or Voting:
Meeting 62M, Nov 2021 - Approve AI w/ changes: 11-0-0
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)
Discussions and/or Voting:
Meeting 62N, Feb 2022 - Approve AI w/ changes: 16-0-0
Meeting 62M, Nov 2021 - Discussed
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)
Discussions and/or Voting:
Meeting 62M, Nov 2021 - Approve AI w/ changes: 12-0-0
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)
Discussions and/or Voting:
Meeting 62M, Nov 2021 - Approve AI w/ changes: 11-0-0
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)
Discussions and/or Voting:
Meeting 62N, Feb 2022 - Approve AI: 16-0-0
Meeting 62M, Nov 2021 - Intent: 11-0-0
AI22-0009-1/02 2022-06-21 -- 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)
Discussions and/or Voting:
Meeting 62Q, Jun 2022 - Intent: 13-0-1
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)
Discussions and/or Voting:
Meeting 62M, Nov 2021 - Approve AI w/ changes: 12-0-0
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)
Discussions and/or Voting:
Meeting 62M, Nov 2021 - Approve AI w/ changes: 11-0-0
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)
Discussions and/or Voting:
Meeting 62M, Nov 2021 - Approve AI w/ changes: 10-0-2
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
Discussions and/or Voting:
Meeting 62N, Feb 2022 - No Action: 16-0-0
Meeting 62M, Nov 2021 - Discussed
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
Discussions and/or Voting:
Meeting 62N, Feb 2022 - Approve AI: 16-0-0
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)
Discussions and/or Voting:
Meeting 62N, Feb 2022 - Approve AI w/ changes: 15-0-1
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)
Discussions and/or Voting:
Meeting 62N, Feb 2022 - Approve AI: 14-0-0
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)
Discussions and/or Voting:
Meeting 62M, Nov 2021 - Approve AI w/ changes: 13-0-0
AI22-0019-1/03 2023-06-24 -- Freezing of aspect specifications
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-06-23
RM References: 13.01.01 (13.1/5)
Discussions and/or Voting:
Meeting 62Q, Jun 2022 - Approve AI w/ changes: 14-0-1
Meeting 62P, May 2022 - Intent: 13-0-0
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)
Discussions and/or Voting:
Meeting 62N, Feb 2022 - Approve AI: 15-0-1
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)
Discussions and/or Voting:
Meeting 62N, Feb 2022 - Approve AI w/ changes: 16-0-0
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)
Discussions and/or Voting:
Meeting 62N, Feb 2022 - Intent: 16-0-0
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)
Discussions and/or Voting:
Meeting 62N, Feb 2022 - Approve AI w/ changes: 16-0-0
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)
Discussions and/or Voting:
Meeting 62Q, Jun 2022 - Discussed
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/04 2022-06-23 -- Primitive equality of a class-wide type
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-06-23
RM References: 3.04.01 (5) 4.05.02 (28.1/5) 12.05.01 (23.2/2) 12.06 (9.2/3)
Discussions and/or Voting:
Meeting 62Q, Jun 2022 - Approve AI w/ changes: 15-0-0
AI22-0028-1/04 2022-06-14 -- Program_Error for unchecked union equality
Priority: Very Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-06-14
RM References: B.03.03 (22/2) B.03.03 (23/2) B.03.03 (24/2)
Discussions and/or Voting:
Meeting 62P, May 2022 - Approve AI w/ changes: 13-0-1
Meeting 62N, Feb 2022 - Discussed
AI22-0029-1/04 2022-06-23 -- External_Tag collisions
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-06-23
RM References: 13.03 (75.1/3) 13.03 (76)
Discussions and/or Voting:
Meeting 62Q, Jun 2022 - Approve AI w/ changes: 14-0-0
Meeting 62P, May 2022 - Intent: 14-0-0
AI22-0030-1/02 2022-01-26 -- Array iterators of slices
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-05-05
RM References: 5.05.02 (6.1/4)
Discussions and/or Voting:
Meeting 62P, May 2022 - Approve AI: 13-0-0
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)
Discussions and/or Voting:
Meeting 62N, Feb 2022 - Approve AI w/ changes: 16-0-0
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)
Discussions and/or Voting:
Meeting 62N, Feb 2022 - Approve AI w/ changes: 16-0-0
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/02 2022-04-25 -- Add "not null" to some Ada.Strings subprograms
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-05-05
RM References: A.04.03 (109) A.04.03 (8.2/2) A.04.03 (10) A.04.03 (14) A.04.03 (20) A.04.03 (21) A.04.03 (56.1/2) A.04.03 (57)
A.04.03 (63) A.04.03 (69) A.04.03 (71) A.04.04 (43.2/2) A.04.04 (45) A.04.04 (49) A.04.04 (55) A.04.04 (56)
A.04.05 (38.2/2) A.04.05 (40) A.04.05 (44) A.04.05 (50) A.04.05 (51)
Alternatives: AI22-0035-2
Discussions and/or Voting:
Meeting 62P, May 2022 - Approve AI: 13-0-0
Meeting 62N, Feb 2022 - Intent: 16-0-0
AI22-0035-2/01 2022-04-25 -- Add "not null" to type Character_Mapping_Function
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: No Action 13-0-0 22-05-05
RM References: A.04.02 (25)
Alternatives: AI22-0035-1
Discussions and/or Voting:
Meeting 62P, May 2022 - No Action: 13-0-0
AI22-0036-1/02 2022-04-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)
Discussions and/or Voting:
Meeting 62Q, Jun 2022 - Discussed
Meeting 62N, Feb 2022 - Intent: 14-0-2
AI22-0037-1/02 2022-06-23 -- Freezing of static expressions
Priority: Low Difficulty: Easy
Class: Ramification Status: ARG Approved 14-0-1 22-06-23
RM References: 13.14 (7.2/5) 13.14 (8/4)
Discussions and/or Voting:
Meeting 62Q, Jun 2022 - Approve AI w/ changes: 14-0-1
AI22-0038-1/04 2022-06-23 -- Introduction to 7.3.2
Priority: Low Difficulty: Easy
Class: Presentation Status: Corrigendum 1 for Ada 2022 22-06-23
RM References: 7.03.02 (1/5)
Discussions and/or Voting:
Meeting 62Q, Jun 2022 - Approve AI w/ changes: 13-0-0
Meeting 62P, May 2022 - Intent: 13-0-0
AI22-0039-1/03 2022-06-14 -- Clarify 8.3(26/2)
Priority: Low Difficulty: Easy
Class: Presentation Status: Corrigendum 1 for Ada 2022 22-06-14
RM References: 8.03 (26/2)
Discussions and/or Voting:
Meeting 62P, May 2022 - Approve AI w/ changes: 13-0-0
AI22-0040-1/02 2022-03-22 -- Finalization and Implicit Loops
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Work Item 22-03-04
RM References: 7.06.01 (3) 4.04 (9.7) 6.06.01 (22.12) 7.06 (18) 7.06.01 (13.1)
AI22-0041-1/03 2022-06-23 -- Deferred constant subtype compatibility
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-06-23
RM References: 7.04 (6/3) 7.04 (7/2) 7.04 (7.1/2)
Discussions and/or Voting:
Meeting 62Q, Jun 2022 - Approve AI w/ changes: 15-0-0
AI22-0042-1/02 2022-06-23 -- Freezing rule needed for dispatching expression functions
Priority: High Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-06-23
RM References: 13.14 (15.1/3)
Discussions and/or Voting:
Meeting 62Q, Jun 2022 - Approve AI: 14-0-1
AI22-0043-1/01 2022-06-15 -- Look through more than parens and qualified exprs to get tag fortag-indeterminat
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Work Item 22-06-15
RM References: 3.09.02 (17/2) 3.09.02 (18/2) 3.09.02 (18.1/2) 3.09.02 (19)
AI22-0044-1/02 2022-06-23 -- Aggregate discriminants that do not satisfy predicates
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-06-23
RM References: 4.03.01 (17/5)
Discussions and/or Voting:
Meeting 62Q, Jun 2022 - Approve AI w/ changes: 14-0-1
AI22-0045-1/01 2022-06-16 -- Issues with pragma placement
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Work Item 22-06-16
RM References: 2.08 (6/5) 2.08 (7/3) 2.08 (7.1/3) 2.08 (7.2/3) 2.08 (12)
Discussions and/or Voting:
Meeting 62Q, Jun 2022 - Discussed
AI22-0046-1/02 2022-06-23 -- Statically names misses some cases
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-06-23
RM References: 4.09 (17.3/5)
Discussions and/or Voting:
Meeting 62Q, Jun 2022 - Approve AI w/ changes: 15-0-0
|