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/07 2023-02-01 -- Nonvolatile views of volatile objects
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-11-10
RM References: C.06 (12/5) C.06 (12.1/5)
Discussions and/or Voting:
Meeting 62S, Nov 2022 - Approve AI w/ changes: 14-0-0
Meeting 62S, Nov 2022 - Intent: 12-0-0
Meeting 62R, Sep 2022 - Discussed
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/02 2023-09-07 -- Innermost master of the call is ambiguous
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-06-26
RM References: 3.09 (26.1/3) 3.10.02 (14/3) 7.06.01 (11.3/3) 7.06.01 (11.4/3)
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI: 7-0-1
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/03 2023-04-27 -- Objects declared in declare expressions may be long-lived
Priority: Low Difficulty: Easy
Class: Ramification Status: WG9 Approved 23-06-13
RM References: 4.05.09 (10/5)
Discussions and/or Voting:
Meeting 62U, Mar 2023 - Approve AI w/ changes: 12-0-0
AI22-0018-1/05 2022-09-06 -- 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/04 2022-10-17 -- 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: WG9 Approved 22-10-18
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/04 2022-09-06 -- 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/10 2025-09-23 -- Difficult example issues from WG 9 review
Priority: Low Difficulty: Easy
Class: Presentation Status: Amendment 1 for Ada 2022 25-05-30
RM References: 3.09.04 (34/2) 3.09.04 (35/2) 3.10 (22/4) 4.03.05 (93/5) 9.01 (23) 9.05.02 (33) 9.05.02 (35) 9.05.02 (37)
9.07.01 (24) 12.03 (25) A.18.33 (3/3)
Discussions and/or Voting:
Meeting 63I, May 2025 - Approve AI w/ changes: 14-0-0
Meeting 63G, Jan 2025 - Discussed
Meeting 63E, Jul 2024 - Intent: 7-0-0
Meeting 63C, Feb 2024 - Intent: 15-0-0
Meeting 63, Jun 2023 - Discussed
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/06 2023-02-01 -- Abstract prefixed views
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-09-09
RM References: 4.01.03 (9.2/3) 6.04 (9.1/5)
Discussions and/or Voting:
Meeting 62R, Sep 2022 - Approve AI w/ changes: 8-0-1
Meeting 62Q, Jun 2022 - Discussed
AI22-0025-1/03 2023-06-26 -- Accessibility of generalized iterators
Priority: Low Difficulty: Easy
Class: Ramification Status: WG9 Approved 23-10-12
RM References: 5.05.02 (8/3) 5.05.02 (10/5)
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI w/ changes: 8-0-0
AI22-0026-1/06 2024-03-20 -- Problem with nested type extension check
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-10-05
RM References: 4.06 (24.13/2) 4.08 (10.1/3)
Discussions and/or Voting:
Meeting 63A, Oct 2023 - Approve AI w/ changes: 11-0-1
Meeting 63, Jun 2023 - Discussed
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/07 2023-02-01 -- External_Tag collisions
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-11-10
RM References: 13.03 (75.1/3) 13.03 (76) 13.03 (76.1/3)
Discussions and/or Voting:
Meeting 62S, Nov 2022 - Approve AI w/ changes: 13-0-1
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/04 2022-09-06 -- 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/05 2025-03-24 -- Abstract container aggregates
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-02-03
RM References: 4.03.05 (11/5)
Discussions and/or Voting:
Meeting 62N, Feb 2022 - Approve AI w/ changes: 16-0-0
AI22-0033-1/05 2024-07-31 -- Additional terms and definitions
Priority: Very Low Difficulty: Easy
Class: Presentation Status: Amendment 1 for Ada 2022 23-07-10
RM References: 1.03.01 (6/5) 1.03.01 (20/5) 1.03.01 (21/5) 1.03.01 (26/5) 1.03.01 (73/5) 1.03.01 (74/5) 1.03.02 (1/5) 1.03.03 (1/5)
1.03.03 (15/5) 1.03.03 (23/5) 1.03.03 (36/5) 1.03.05 (1/5)
Discussions and/or Voting:
Meeting 63E, Jul 2024 - Approve AI: 8-0-0
Meeting 63A, Oct 2023 - Intent: 9-0-0
Meeting 63, Jun 2023 - Approve AI w/ changes: 9-0-0
Meeting 62U, Mar 2023 - Discussed
AI22-0034-1/02 2023-05-31 -- Implementation model of dynamic accessibility checking
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: No Action 12-0-0 23-10-05
RM References: 3.10.02 (22)
Alternatives: AI22-0034-2
Discussions and/or Voting:
Meeting 63A, Oct 2023 - No Action: 12-0-0
AI22-0034-2/05 2025-03-24 -- Implementation model of dynamic accessibility checking
Priority: Medium Difficulty: Hard
Class: Ramification Status: WG9 Approved 23-10-12
RM References: 3.10.02 (22)
Alternatives: AI22-0034-1
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI w/ changes: 8-0-0
AI22-0035-1/03 2022-09-06 -- 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/08 2023-04-27 -- Attributes in the expression of Default_Value
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Amendment 1 for Ada 2022 23-01-20
RM References: 8.06 (17.4/6) 13.14 (4/1) 13.14 (7.2/5) 13.14 (8/4) 13.14 (8.2/1) 13.14 (10/5) 13.14 (15.2/5)
Discussions and/or Voting:
Meeting 62T, Jan 2023 - Approve AI w/ changes: 8-0-5
Meeting 62S, Nov 2022 - Intent: 13-0-0
Meeting 62R, Sep 2022 - Intent: 9-0-1
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: WG9 Approved 22-10-18
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/05 2025-06-18 -- 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/04 2025-04-16 -- Clarify 8.3(26/2)
Priority: Low Difficulty: Easy
Class: Binding Interpretation 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/06 2023-06-18 -- Finalization and Implicit Loops
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-09-09
RM References: 4.04 (9.7/5) 6.01.01 (22.12/5) 6.01.01 (22.13/5) 6.01.01 (22.14/5) 6.01.01 (22.15/5) 7.06 (18/3) 7.06.01 (3/5) 7.06.01 (13.1/3)
Discussions and/or Voting:
Meeting 62R, Sep 2022 - Approve AI: 10-0-0
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/04 2023-03-25 -- Tags from context for tag-indeterminate calls
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-09-09
RM References: 3.09.02 (17/2) 3.09.02 (18/2) 3.09.02 (18.1/2) 3.09.02 (19)
Discussions and/or Voting:
Meeting 62R, Sep 2022 - Approve AI w/ changes: 8-0-2
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/06 2023-06-12 -- Issues with pragma placement
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-09-09
RM References: 2.08 (6/5) 2.08 (7/3) 2.08 (7.1/3) 2.08 (7.2/3) 2.08 (12) 2.08 (20) 4.05.09 (7/5) ! 11.04.02 (4/2)
13.01 (4/1) H.03.02 (4) J.15 (1/3)
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI w/ changes: 7-0-1
Meeting 62R, Sep 2022 - Approve AI w/ changes: 10-0-0
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
AI22-0047-1/03 2023-04-26 -- Use of reduction accumulator
Priority: Low Difficulty: Easy
Class: Ramification Status: WG9 Approved 23-06-13
RM References: 4.05.10 (24/5) 4.05.10 (25/5) 4.05.10 (28/5)
Discussions and/or Voting:
Meeting 62R, Sep 2022 - Approve AI w/ changes: 9-0-0
AI22-0048-1/04 2025-05-02 -- Time_Zone parameter for Day_Of_Week
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-03-30
RM References: 9.06.01 (18/2) 9.06.01 (51/2) 9.06.01 (52/2)
Discussions and/or Voting:
Meeting 62U, Mar 2023 - Approve AI: 12-0-0
Meeting 62T, Jan 2023 - Discussed
AI22-0049-1/03 2023-07-10 -- Seconds function with Time_Zone parameter
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Amendment 1 for Ada 2022 23-07-10
RM References: 9.06 (13) 9.06.01 (23/2) 9.06.01 (58/2)
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI w/ changes: 7-0-0
Meeting 62T, Jan 2023 - Intent: 12-0-1
AI22-0050-1/03 2023-04-21 -- Ada.Unchecked_Deallocate_Subpool should be preelaborated
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-11-10
RM References: 13.11.05 (3/5)
Discussions and/or Voting:
Meeting 62S, Nov 2022 - Approve AI: 14-0-0
AI22-0051-1/04 2023-05-19 -- Preelaborable_Initialization and contract aspects
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: No Action 12-0-0 23-12-14
RM References: 7.03.03 (7/5) 10.02.01 (5) 10.02.01 (7/5)
Alternatives: AI22-0051-2
Discussions and/or Voting:
Meeting 63B, Dec 2023 - No Action: 12-0-0
Meeting 63, Jun 2023 - Approve AI: 6-0-0
Meeting 62U, Mar 2023 - Intent: 11-0-1
Meeting 62T, Jan 2023 - Intent: 14-0-0
Meeting 62S, Nov 2022 - Intent: 12-0-2
AI22-0051-2/03 2024-04-06 -- Preelaborable_Initialization and contract aspects
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-12-14
RM References: 10.02.01 (9.1/5) 10.02.01 (11.3/2) 10.02.01 (11.5/2) 10.02.01 (11.7/5) 10.02.01 (11.8/5)
Alternatives: AI22-0051-1
Discussions and/or Voting:
Meeting 63B, Dec 2023 - Approve AI: 11-0-1
AI22-0052-1/07 2025-06-18 -- Storage Pool-related side effects
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-03-30
RM References: 13.11 (17.1/5) 13.11 (18/5) H.07 (4/5) H.07 (7/5)
Discussions and/or Voting:
Meeting 62U, Mar 2023 - Approve AI w/ changes: 12-0-0
Meeting 62T, Jan 2023 - Discussed
AI22-0053-1/05 2023-09-07 -- An unintended consequence of AI12-0101-1
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-06-26
RM References: 4.05.02 (9.8/5) 4.05.02 (13)
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI: 6-0-0
Meeting 62U, Mar 2023 - Intent: 12-0-0
Meeting 62T, Jan 2023 - Discussed
Meeting 62S, Nov 2022 - Intent: 13-0-0
AI22-0054-1/03 2023-04-21 -- Ambiguous prefix for the Result attribute
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-01-20
RM References: 4.01.04 (6/5)
Discussions and/or Voting:
Meeting 62T, Jan 2023 - Approve AI w/ changes: 15-0-0
AI22-0055-1/06 2024-04-16 -- Usage Advice
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Amendment 1 for Ada 2022 24-02-22
RM References: 1.01.02 (37) 3.09 (27/5) 4.06 (58.6/5) 4.06 (62) 7.06.01 (20.2/3) 7.06.01 (24) 9.08 (22/5) 9.09 (5)
9.09 (7/5) 9.09 (8/5) 11.04.02 (28/5) 12.04 (12) 12.06 (10.2/2) 12.06 (12) 13.09.02 (3/4) 13.09.02 (14/5)
A.05.02 (47) A.05.02 (50/5) A.05.02 (52/5) A.05.02 (53/2) A.05.02 (54) A.16 (126/2) A.16 (131/5) B.03.02 (43)
C.03.01 (21) C.03.01 (23/5) D.13 (9/5) D.13 (12/5)
Discussions and/or Voting:
Meeting 63C, Feb 2024 - Approve AI w/ changes: 15-0-0
Meeting 63, Jun 2023 - Intent: 9-0-1
Meeting 62U, Mar 2023 - Discussed
Meeting 62T, Jan 2023 - Discussed
AI22-0056-1/05 2023-08-24 -- Automatic creation of constructor functions
Priority: Medium Difficulty: Hard
Class: Amendment Status: Amendment 1 for Ada 2022 23-06-27
RM References: 3.02.03 (8) 3.04 (27/6) 3.09.01 (4.2/5) 3.09.03 (4/3) 3.09.03 (6/5)
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI: 6-0-0
Meeting 63, Jun 2023 - Intent: 7-0-0
Meeting 63, Jun 2023 - Discussed
AI22-0057-1/04 2023-08-25 -- Floor and other rounding attributes for fixed point types
Priority: Low Difficulty: Easy
Class: Amendment Status: Amendment 1 for Ada 2022 23-06-29
RM References: A.05.04 (4)
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI w/ changes: 9-0-0
AI22-0058-1/03 2023-04-26 -- Preconditions for checking Task_Ids
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: No Action 8-0-0 23-06-12
RM References: D.02.06 (9/5) D.02.06 (29/2) D.05.01 (4) D.05.01 (5) D.05.01 (9) D.11 (3/5) D.11 (8) D.14 (5/2)
D.14 (17/2)
Alternatives: AI22-0058-2
Discussions and/or Voting:
Meeting 63, Jun 2023 - No Action: 8-0-0
Meeting 62T, Jan 2023 - Approve AI w/ changes: 15-0-0
AI22-0058-2/02 2023-06-29 -- Wording for checking Task_Ids
Priority: Low Difficulty: Easy
Class: Ramification Status: WG9 Approved 23-10-12
RM References: D.02.06 (29/2) D.02.06 (29/2) D.05.01 (12)
Alternatives: AI22-0058-1
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI w/ changes: 8-0-0
AI22-0059-1/03 2024-03-20 -- Parallel_Calls aspect for types
Priority: Low Difficulty: Medium
Class: Amendment Status: Amendment 1 for Ada 2022 24-02-22
RM References: 9.10.01 (20/5) 9.10.01 (21/5) 9.10.01 (23/5) 9.10.01 (25/5) 13.11 (17.1/6) 13.11 (18/6)
Discussions and/or Voting:
Meeting 63C, Feb 2024 - Approve AI: 8-0-4
Meeting 63, Jun 2023 - Intent: 8-0-1
AI22-0060-1/03 2023-04-18 -- Interactions between defaults and check suppression
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-03-30
RM References: 11.05 (8.1/2)
Discussions and/or Voting:
Meeting 62U, Mar 2023 - Approve AI w/ changes: 11-0-1
AI22-0061-1/03 2023-04-18 -- Assertion policy for duplicated expressions
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-03-30
RM References: 11.04.02 (23/2)
Discussions and/or Voting:
Meeting 62U, Mar 2023 - Approve AI w/ changes: 12-0-0
AI22-0062-1/04 2025-04-15 -- Clarify “ceases to exist” definition
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-06-26
RM References: 7.06.01 (11/3)
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI: 6-0-0
Meeting 62U, Mar 2023 - Intent: 13-0-0
AI22-0063-1/03 2023-06-07 -- Font alone should not differentiate terms
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 23-02-20
RM References: 3.11.01 (1/3) 6.06 (2) 13.11.04 (31/3)
Discussions and/or Voting:
Meeting 63, Jun 2023 - Discussed
Meeting 62U, Mar 2023 - Discussed
AI22-0064-1/03 2023-04-05 -- Basic rules for parenthesized expressions
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-06-26
RM References: 4.04 (8) 4.04 (9.1/5) 4.04 (10.1/5)
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI: 6-0-0
Meeting 62U, Mar 2023 - Discussed
AI22-0065-1/03 2023-09-07 -- Specialized Needs Annexes should be normative
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Amendment 1 for Ada 2022 23-06-27
RM References: 1.01.02 (17) 1.01.03 (16/5) 1.01.03 (17/3)
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI: 10-0-0
Meeting 62U, Mar 2023 - Discussed
AI22-0066-1/01 2023-03-22 -- If it ain't broke...
Priority: Very Low Difficulty: Easy
Class: Confirmation Status: Received 23-03-22
RM References: 3.02.04 (21/3) 4.04 (7/3) 5.08 (5) 8.05.01 (6) A.10.08 (8) A.10.09 (13)
AI22-0067-1/03 2023-08-24 -- The nominal subtype of an aggregate
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-06-27
RM References: 4.03 (5) 4.03.01 (20) 4.03.02 (8/3) 4.03.03 (31) 4.03.04 (21/5) 4.03.05 (53/5) B.03.03 (20/2)
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI w/ changes: 6-0-0
Meeting 62U, Mar 2023 - Intent: 11-0-0
AI22-0068-1/02 2023-04-21 -- Fix AI22-0028-1 fix to leave lead-in alone
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-03-30
RM References: B.03.03 (22/6) B.03.03 (23/6)
Discussions and/or Voting:
Meeting 62U, Mar 2023 - Approve AI: 12-0-0
AI22-0069-1/04 2023-08-25 -- Empty subsequences in parallel reduction expressions
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-06-27
RM References: 4.05.10 (21/5) 4.05.10 (27/5) 4.05.10 (28/5)
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI w/ changes: 6-0-0
Meeting 62U, Mar 2023 - Intent: 13-0-0
AI22-0070-1/02 2023-04-03 -- Cannot use might, might use can
Priority: Low Difficulty: Easy
Class: Presentation Status: Corrigendum 1 for Ada 2022 23-03-30
RM References: 4.03.03 (32/6)
Discussions and/or Voting:
Meeting 62U, Mar 2023 - Approve AI w/ changes: 12-0-0
AI22-0071-1/01 2023-03-23 -- Testing assignability and returnability
Priority: Low Difficulty: Easy
Class: Amendment Status: Work Item 23-03-23
RM References: 5.02 (11/5) 6.05 (21/3)
Alternatives: AI22-0071-2
Discussions and/or Voting:
Meeting 63, Jun 2023 - Discussed
AI22-0071-2/01 2023-09-13 -- Provide Subtype attribute for testing assignability and declaring acopy
Priority: Low Difficulty: Easy
Class: Amendment Status: Work Item 23-03-23
RM References: 5.02 (11/5) 6.05 (21/3)
Alternatives: AI22-0071-1
Discussions and/or Voting:
Meeting 63B, Dec 2023 - Discussed
AI22-0072-1/06 2024-03-20 -- Meaning of direct references to components
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-10-05
RM References: 8.06 (17.1/5)
Discussions and/or Voting:
Meeting 63A, Oct 2023 - Approve AI: 12-0-0
Meeting 63, Jun 2023 - Discussed
AI22-0073-1/03 2023-08-25 -- Referencing the Unicode Standard
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-06-27
RM References: 1.01.04 (14.2/5) 1.02 (8/5) 2.01 (5/5) 2.01 (17/3) 2.03 (5/5) A.03.05 (55/5) A.03.05 (59/5) A.04.10 (3/5)
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI w/ changes: 8-0-0
AI22-0074-1/01 2023-06-02 -- Postcondition error in Ada.Containers.Hashed_Sets
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-06-27
RM References: A.18.08 (56/5)
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI: 6-0-0
AI22-0075-1/09 2025-09-03 -- Explicitly Aliased Results
Priority: Medium Difficulty: Medium
Class: Amendment Status: Amendment 1 for Ada 2022 25-07-30
RM References: 3.03 (20.1/5) 3.03 (23.7/3) 3.10.02 (10.1/3) 3.10.02 (10.6/3) 4.01.06 (3/5) 4.04 (9.7/5) 6.01 (13/2) 6.01 (23.1/3)
6.03.01 (16.2/3) 6.05 (5.3/5) 6.05 (5.8/5) 7.06 (17.1/5) 7.06.01 (13/3)
Discussions and/or Voting:
Meeting 63J, Jul 2025 - Approve AI w/ changes: 16-0-0
Meeting 63I, May 2025 - Intent: 13-0-1
Meeting 63G, Jan 2025 - Discussed: 13-0-2
Meeting 63, Jun 2023 - Discussed
AI22-0076-1/03 2025-07-25 -- Restricting Dynamic Accessibility Checks
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 23-06-05
RM References: 3.10.02 (12/2) 4.06 (48/3)
Alternatives: AI22-0076-2
Discussions and/or Voting:
Meeting 63G, Jan 2025 - Discussed
Meeting 63, Jun 2023 - Intent: 8-0-0
AI22-0076-2/03 2025-09-30 -- No_Dynamic_Accessibility_Checks restriction
Priority: High Difficulty: Hard
Class: Amendment Status: Work Item 23-06-05
RM References: H.04 (10)
Alternatives: AI22-0076-1
Discussions and/or Voting:
Meeting 63J, Jul 2025 - Discussed
AI22-0077-1/02 2023-12-14 -- Discussion on Accessibility Checking
Priority: High Difficulty: Hard
Class: Amendment Status: No Action 9-0-2 23-12-14
RM References: 3.10.02 (3/5)
Discussions and/or Voting:
Meeting 63B, Dec 2023 - No Action: 9-0-2
Meeting 63, Jun 2023 - Discussed
AI22-0078-1/01 2023-06-05 -- Decimal conversions for Big_Reals
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-06-27
RM References: A.05.07 (14/5) A.05.07 (24/5)
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI: 6-0-1
AI22-0079-1/03 2023-06-28 -- Parameters of a protected type
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-06-27
RM References: 8.06 (17/3)
Discussions and/or Voting:
Meeting 63, Jun 2023 - Approve AI w/ changes: 7-0-0
AI22-0080-1/04 2024-03-22 -- Clarify definition of declarative region
Priority: Low Difficulty: Medium
Class: Presentation Status: Corrigendum 1 for Ada 2022 23-10-05
RM References: 8.01 (1) 8.01 (13)
Discussions and/or Voting:
Meeting 63A, Oct 2023 - Approve AI w/ changes: 12-0-0
AI22-0081-1/05 2024-04-18 -- Allow named notation for reduction expression arguments
Priority: Low Difficulty: Easy
Class: Amendment Status: Amendment 1 for Ada 2022 23-10-05
RM References: 4.05.10 (5/5) 4.05.10 (42/5) 4.05.10 (44/5) 4.05.10 (48/5)
Discussions and/or Voting:
Meeting 63A, Oct 2023 - Approve AI w/ changes: 12-0-0
AI22-0082-1/04 2024-04-24 -- Problems with nonlimited reference types
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-12-14
RM References: A.18.02 (34.1/5) A.18.02 (34.2/5) A.18.02 (79.10/5) A.18.02 (79.11/5) A.18.02 (147.1/5) A.18.02 (147.2/5) A.18.03 (17.1/5) A.18.03 (17.2/5)
A.18.03 (51.10/5) A.18.03 (51.11/5) A.18.03 (86.1/5) A.18.03 (86.2/5) A.18.04 (41.1/5) A.18.04 (41.2/5) A.18.05 (17.1/5) A.18.05 (17.2/5)
A.18.05 (37.11/5) A.18.05 (37.12/5) A.18.06 (16.1/5) A.18.06 (16.2/5) A.18.06 (51.12/5) A.18.06 (51.13/5) A.18.07 (36.3/5) A.18.07 (96.1/5)
A.18.08 (17.2/5) A.18.08 (58.1/5) A.18.08 (59.10/5) A.18.09 (16.2/5) A.18.09 (73.1/5) A.18.09 (74.10/5) A.18.10 (28/5) A.18.10 (29/5)
A.18.10 (70.10/5) A.18.10 (70.11/5) A.18.10 (122/5) A.18.10 (123/5) A.18.18 (16/5) A.18.18 (17/5) A.18.18 (52/5) A.18.18 (53/5)
Discussions and/or Voting:
Meeting 63B, Dec 2023 - Approve AI w/ changes: 11-0-1
Meeting 63A, Oct 2023 - Intent: 10-0-2
AI22-0083-1/07 2024-03-23 -- Treat dynamically-tagged expressions as class-wide in various contexts
Priority: Medium Difficulty: Medium
Class: Amendment Status: Amendment 1 for Ada 2022 24-02-22
RM References: 4.06 (21/3) 4.06 (23/2) 4.06 (23.1/2) 8.05.01 (3/5) 8.05.01 (4/5)
Discussions and/or Voting:
Meeting 63C, Feb 2024 - Approve AI w/ changes: 12-0-3
Meeting 63B, Dec 2023 - Intent: 11-0-0
Meeting 63A, Oct 2023 - Intent: 8-0-2
AI22-0084-1/03 2024-02-20 -- Resolution of aspects that are subprograms
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-10-05
RM References: 13.01.01 (8/3)
Discussions and/or Voting:
Meeting 63A, Oct 2023 - Approve AI w/ changes: 10-0-0
AI22-0085-1/04 2024-02-17 -- Various presentation issues
Priority: Low Difficulty: Easy
Class: Presentation Status: Corrigendum 1 for Ada 2022 23-12-14
RM References: 3.05.02 (4/5) 4.03.03 (20.3/6) 4.03.03 (20.4/6) 4.03.05 (33/5) D.02.04 (11/3)
Discussions and/or Voting:
Meeting 63B, Dec 2023 - Approve AI w/ changes: 11-0-0
AI22-0086-1/05 2024-04-24 -- Conversions of general access-to-object values
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 24-02-22
RM References: 4.06 (24.16/2)
Discussions and/or Voting:
Meeting 63C, Feb 2024 - Approve AI: 14-0-1
Meeting 63B, Dec 2023 - Intent: 11-0-0
AI22-0087-1/04 2024-04-24 -- Text buffers are initially empty
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-12-14
RM References: A.04.12 (31/5)
Discussions and/or Voting:
Meeting 63B, Dec 2023 - Approve AI w/ changes: 10-0-1
AI22-0088-1/03 2024-03-14 -- Privacy and Put_Image
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-12-14
RM References: 4.10 (16/5)
Discussions and/or Voting:
Meeting 63B, Dec 2023 - Approve AI w/ changes: 11-0-0
AI22-0089-1/05 2024-04-24 -- Current Instance for Single Task/Protected Objects
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 23-12-14
RM References: 8.06 (18) 9.01 (19/2) 9.01 (20) 9.04 (21/2) 9.04 (22) 9.05 (3/3) 9.05 (8) 9.05.01 (2)
9.05.01 (21)
Discussions and/or Voting:
Meeting 63B, Dec 2023 - Approve AI w/ changes: 11-0-0
AI22-0090-1/05 2024-04-16 -- No_Return for formal subprogram and access-to-subprogram types
Priority: Low Difficulty: Easy
Class: Amendment Status: Amendment 1 for Ada 2022 23-12-14
RM References: 6.05.01 (3.1/5) 6.05.01 (3.3/5) 6.05.01 (7/5)
Discussions and/or Voting:
Meeting 63B, Dec 2023 - Approve AI w/ changes: 10-0-0
AI22-0091-1/05 2024-09-04 -- Generalize prefixed views
Priority: Low Difficulty: Medium
Class: Amendment Status: Amendment 1 for Ada 2022 24-05-02
RM References: 4.01.03 (9.1/2) 4.01.03 (9.2/3)
Discussions and/or Voting:
Meeting 63D, May 2024 - Approve AI: 12-1-1
Meeting 63C, Feb 2024 - Intent: 12-1-0
AI22-0092-1/04 2025-06-18 -- Recommend limited reference types
Priority: Low Difficulty: Easy
Class: Ramification Status: Corrigendum 1 for Ada 2022 24-02-22
RM References: 4.01.05 (16/3)
Discussions and/or Voting:
Meeting 63C, Feb 2024 - Approve AI w/ changes: 15-0-0
AI22-0093-1/03 2024-04-16 -- Problems with No_Return
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 24-02-22
RM References: 6.05.01 (4/3) 6.05.01 (5.1/5)
Discussions and/or Voting:
Meeting 63C, Feb 2024 - Approve AI w/ changes: 15-0-0
AI22-0094-1/06 2024-09-11 -- Assertion policy and preelaborability
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 24-07-18
RM References: 10.02.01 (9.1/5) 11.04.02 (28/5) 13.12 (8.6/1) 13.12 (9.1/1)
Discussions and/or Voting:
Meeting 63E, Jul 2024 - Approve AI: 9-0-0
Meeting 63D, May 2024 - Discussed: 13-0-1
Meeting 63C, Feb 2024 - Intent: 15-0-0
AI22-0095-1/02 2024-02-22 -- The number of values for predefined character types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 24-02-22
RM References: 3.05.02 (2/5) 3.05.02 (3/5) 3.05.02 (4/5)
Discussions and/or Voting:
Meeting 63C, Feb 2024 - Approve AI w/ changes: 15-0-0
AI22-0096-1/03 2024-09-05 -- Ada and OpenMP
Priority: Medium Difficulty: Medium
Class: Ramification Status: WG9 Approved 24-10-10
RM References: 5.05 (8.1/5) 5.05.02 (10.1/5) 5.05.02 (11/5) 5.06.01 (4/5)
Discussions and/or Voting:
Meeting 63D, May 2024 - Approve AI: 14-0-0
Meeting 63C, Feb 2024 - Intent: 13-0-1
AI22-0097-1/06 2024-09-05 -- Usage Advice (Part 2)
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Amendment 1 for Ada 2022 24-07-18
RM References: 1.01.04 (19) 1.01.04 (21) 3.02.02 (13/5) 3.05.01 (12) 3.05.10 (14) 3.05.10 (16) 3.05.07 (28) 3.09.01 (5)
3.09.01 (7/2) 3.10.02 (32.6/5) 3.10.02 (37/5) 3.10.02 (38/5) 4.01.06 (18/4) 4.03.03 (33/5) 4.07 (5/5) 5.04 (15/5)
5.05 (12/5) 5.05 (14/5) 8.05 (3) 8.05 (6) 8.05 (7) 9.05.01 (18/5) 9.05.01 (23/5) 11.05 (29/5)
11.05 (29.1/2) 13.11.03 (9/5) 13.11.04 (33/5) 13.11.04 (34/5) 13.11.04 (35/5) 13.13.01 (39/2) 13.13.02 (57/5) A.04.03 (107/5)
A.04.03 (108) A.04.11 (108/3) A.18.02 (263/2) B.01 (41/5) B.01 (43/3) B.01 (44/5) B.03 (72) B.03 (73)
B.03 (75/4) C.07.02 (30.1/2) C.07.02 (32/5) D.03 (17) D.03 (21/5) D.03 (22) D.05.01 (14) D.05.01 (19/5)
F.02 (17) H (6/5)
Discussions and/or Voting:
Meeting 63E, Jul 2024 - Approve AI w/ changes: 8-0-1
AI22-0098-1/04 2024-05-01 -- More presentation fixes
Priority: Low Difficulty: Easy
Class: Presentation Status: Corrigendum 1 for Ada 2022 24-03-04
RM References: 4.03.05 (60/5) 4.03.05 (62/5) 4.05.02 (9.8/6) 7.06.01 (12/2) 10.02.01 (18/6)
Discussions and/or Voting:
Meeting 63D, May 2024 - Approve AI: 14-0-0
AI22-0099-1/03 2024-09-04 -- Object_Size and conversions of access-to-object types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 24-05-02
RM References: 4.06 (24.16/2)
Discussions and/or Voting:
Meeting 63D, May 2024 - Approve AI: 13-0-1
AI22-0100-1/02 2024-04-03 -- Bounds of null and positional array aggregates
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: No Action 14-0-0 24-05-02
RM References: 4.02 (10/5) 4.02 (11/5) 4.03.03 (26) 4.03.03 (26.1/5) 4.03.03 (28)
Alternatives: AI22-0100-2
Discussions and/or Voting:
Meeting 63D, May 2024 - No Action: 14-0-0
AI22-0100-2/04 2024-08-03 -- Upper bound calculation
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 24-05-02
RM References: 3.06.01 (8) 4.02 (10/5) 4.02 (11/5) 4.03.03 (26) 4.03.03 (26.2/5) 4.05.03 (8)
Alternatives: AI22-0100-1
Discussions and/or Voting:
Meeting 63D, May 2024 - Approve AI w/ changes: 14-0-0
AI22-0101-1/10 2025-04-24 -- Valid_Scalars attribute is defined
Priority: Low Difficulty: Easy
Class: Amendment Status: Amendment 1 for Ada 2022 25-03-21
RM References: 13.05.01 (15) 13.09 (11/2) 13.09.01 (4) 13.09.01 (6/2) 13.09.01 (6.1/2) 13.09.01 (7) 13.09.02 (0) 13.09.02 (1)
13.09.02 (14/6) B.03.03 (26/2)
Discussions and/or Voting:
Meeting 63H, Mar 2025 - Approve AI w/ changes: 12-0-1
Meeting 63G, Jan 2025 - Intent: 13-0-2
Meeting 63F, Oct 2024 - Intent: 13-0-0
Meeting 63E, Jul 2024 - Intent: 7-0-1
AI22-0102-1/03 2024-05-03 -- Substitute parameter for UTF Decode functions
Priority: Low Difficulty: Easy
Class: Amendment Status: Amendment 1 for Ada 2022 25-03-21
RM References: A.04.11 (28/3) A.04.11 (36/3) A.04.11 (51/3) A.04.11 (56/3) A.04.11 (57/3)
Discussions and/or Voting:
Meeting 63D, May 2024 - Approve AI w/ changes: 14-0-0
AI22-0103-1/04 2025-06-26 -- Array Aggregate Double Iteration
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 24-05-02
RM References: 4.03.03 (20.2/5) 4.03.03 (20.3/6) 4.03.03 (20.4/6) 4.03.03 (32/6) 5.05.02 (9/3) 5.05.02 (10/5) 5.05.02 (10.1/5) 5.05.02 (11/5)
5.05.02 (12/5)
Discussions and/or Voting:
Meeting 63D, May 2024 - Approve AI w/ changes: 14-0-0
AI22-0104-1/04 2024-08-02 -- Slicing of Vectors
Priority: Low Difficulty: Easy
Class: Amendment Status: Amendment 1 for Ada 2022 24-07-18
RM References: A.18.02 (53/5) A.18.02 (188/3) A.18.19 (9.1/5) A.18.19 (9.2/5)
Discussions and/or Voting:
Meeting 63E, Jul 2024 - Approve AI: 8-0-0
Meeting 63D, May 2024 - Intent: 14-0-0
AI22-0105-1/03 2024-08-02 -- Meaning of conforms to this Reference Manual
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Amendment 1 for Ada 2022 24-05-02
RM References: 1.01.03 (16/5) 1.01.03 (17/3) 1.01.03 (17.1/5)
Discussions and/or Voting:
Meeting 63D, May 2024 - Approve AI: 12-0-2
AI22-0106-1/04 2024-08-08 -- Multidimension array_aggregates and iterators
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 24-07-18
RM References: 4.03.03 (17.1/5) 4.03.03 (19)
Discussions and/or Voting:
Meeting 63E, Jul 2024 - Approve AI: 8-0-0
Meeting 63D, May 2024 - Intent: 14-0-0
AI22-0107-1/04 2024-08-02 -- Specifying the Storage_Size for the environment task
Priority: Low Difficulty: Easy
Class: Amendment Status: Amendment 1 for Ada 2022 24-05-02
RM References: 13.03 (65.1/3) 13.03 (65.3/3) 13.03 (66/3)
Discussions and/or Voting:
Meeting 63D, May 2024 - Approve AI w/ changes: 13-0-0
AI22-0108-1/03 2024-08-07 -- Usage Advice about File Renaming
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Amendment 1 for Ada 2022 24-07-18
RM References: A.16 (126/2)
Discussions and/or Voting:
Meeting 63E, Jul 2024 - Approve AI w/ changes: 8-0-1
AI22-0109-1/03 2025-03-24 -- Using class-wide types with user-defined literals
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 24-07-18
RM References: 4.02 (4/5)
Discussions and/or Voting:
Meeting 63E, Jul 2024 - Approve AI: 8-0-0
AI22-0110-1/02 2024-08-08 -- Disallow Put_Image aspect specifications for interface types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 24-07-18
RM References: 4.10 (4/5)
Discussions and/or Voting:
Meeting 63E, Jul 2024 - Approve AI: 8-0-0
AI22-0111-1/03 2025-03-24 -- Class-wide Container Aggregates
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 24-07-18
RM References: 4.03 (3/5) 4.03.05 (22/5) 4.03.05 (54/6)
Discussions and/or Voting:
Meeting 63E, Jul 2024 - Approve AI: 8-0-0
AI22-0112-1/03 2024-09-04 -- Assignment to generalized references with a target name symbol
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 24-07-18
RM References: 5.02 (4/2) 5.02.01 (3/5)
Discussions and/or Voting:
Meeting 63E, Jul 2024 - Approve AI: 9-0-0
AI22-0113-1/06 2025-04-24 -- Usage Advice (part 3)
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Amendment 1 for Ada 2022 24-11-04
RM References: 9.06.01 (91/5) 13.03 (20) 13.13.01 (38)
Discussions and/or Voting:
Meeting 63F, Oct 2024 - Approve AI w/ changes: 13-0-2
AI22-0114-1/02 2024-11-03 -- “Main program” is not a defined term
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 24-11-01
RM References: A.07 (6) A.08.02 (4) M.03 (82/3)
Discussions and/or Voting:
Meeting 63F, Oct 2024 - Approve AI w/ changes: 15-0-0
AI22-0115-1/05 2025-04-24 -- Usage of the prefix of the Valid attribute
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 24-11-01
RM References: 13.09.02 (3/4) 13.09.02 (12/5) 13.09.02 (13/4)
Discussions and/or Voting:
Meeting 63F, Oct 2024 - Approve AI w/ changes: 15-0-0
AI22-0116-1/04 2025-04-24 -- Discard_Names and Put_Image
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 24-11-01
RM References: C.05 (7/4)
Discussions and/or Voting:
Meeting 63F, Oct 2024 - Approve AI w/ changes: 15-0-0
AI22-0117-1/06 2025-08-18 -- More Terms and Definitions
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: ARG Approved 15-0-0 25-01-09
RM References: 1.03.01 (17/5) 1.03.01 (26/5) 1.03.01 (45/5) 1.03.01 (71/5) 1.03.01 (77/5) 1.03.01 (85/5) 1.03.02 (1/5) 1.03.03 (8/5)
1.03.03 (11/5) 1.03.03 (22/5) 1.03.03 (28/5) 1.03.03 (36/5) 1.03.04 (2/5)
Discussions and/or Voting:
Meeting 63G, Jan 2025 - Approve AI w/ changes: 15-0-0
AI22-0118-1/04 2025-04-24 -- Put_Image for derived types with new discriminants
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 24-11-04
RM References: 4.10 (7/5) 4.10 (16/5) 4.10 (21/5)
Discussions and/or Voting:
Meeting 63F, Oct 2024 - Approve AI w/ changes: 12-0-2
AI22-0119-1/03 2024-11-03 -- Canonical order should be defined once and only referenced later
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 25-03-19
RM References: 3.06 (13) 4.10 (18/5) 5.05.02 (11/5) 5.05.02 (11.1/5) 13.13.02 (9/5) 13.13.02 (9.1/5) 13.13.02 (9.2/5)
Discussions and/or Voting:
Meeting 63H, Mar 2025 - Discussed
Meeting 63F, Oct 2024 - Approve AI w/ changes: 13-0-1
AI22-0120-1/02 2024-11-01 -- Relax array aggregate restriction on nonstatic choices with others
Priority: Low Difficulty: Easy
Class: Amendment Status: Amendment 1 for Ada 2022 24-11-01
RM References: 4.03.03 (17/5)
Discussions and/or Voting:
Meeting 63F, Oct 2024 - Approve AI: 10-1-2
AI22-0121-1/04 2025-04-24 -- Internal calls in contracts of protected types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 25-01-10
RM References: 9.05 (7.2/5) D.01 (8.2/3) D.02.06 (9.6/5) D.16 (10/5)
Discussions and/or Voting:
Meeting 63G, Jan 2025 - Approve AI: 15-0-0
Meeting 63F, Oct 2024 - Intent: 15-0-0
AI22-0122-1/03 2025-04-18 -- Order of finalization of components
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 25-01-10
RM References: 7.06.01 (11/3)
Discussions and/or Voting:
Meeting 63G, Jan 2025 - Approve AI w/ changes: 15-0-0
AI22-0123-1/06 2025-03-21 -- Type of aggregates and raise expressions
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 25-03-21
RM References: 8.06 (27/2)
Discussions and/or Voting:
Meeting 63H, Mar 2025 - Approve AI w/ changes: 11-0-2
Meeting 63G, Jan 2025 - Discussed: 15-0-0
AI22-0124-1/08 2025-08-24 -- Aggregates and capacity of bounded containers
Priority: Medium Difficulty: Medium
Class: Amendment Status: Amendment 1 for Ada 2022 25-05-30
RM References: 4.03 (4/6) 4.03.03 (10/5) 4.03.03 (11/4) 4.03.03 (12) 4.03.03 (13) 4.03.03 (14) 4.03.03 (14.1/6) 4.03.03 (15/3)
4.03.03 (15.1/5) 4.03.03 (15.2/5) 4.03.03 (16) 4.03.05 (4/5) 4.03.05 (6/6) 4.03.05 (8/6) 4.03.05 (12/5) 4.03.05 (35/6)
A.18.02 (13/5) A.18.02 (14.1/5) A.18.02 (101/2) A.18.19 (5.2/5) A.18.19 (6.3/5) A.18.20 (5.2/5) A.18.21 (5.2/5) A.18.22 (5.2/5)
A.18.23 (5.2/5) A.18.24 (5.2/5)
Discussions and/or Voting:
Meeting 63I, May 2025 - Approve AI w/ changes: 14-0-0
Meeting 63G, Jan 2025 - Intent: 14-0-1
AI22-0125-1/02 2025-01-10 -- Atomic_Operations and checks
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 25-01-10
RM References: C.06.04 (18/5) C.06.05 (18/5)
Discussions and/or Voting:
Meeting 63G, Jan 2025 - Approve AI w/ changes: 13-0-2
AI22-0126-1/03 2025-04-24 -- Finalization order of temporary objects
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 25-03-21
RM References: 7.06.01 (11/6) 7.06.01 (13.1/6)
Discussions and/or Voting:
Meeting 63H, Mar 2025 - Approve AI: 13-0-0
AI22-0127-1/03 2025-04-18 -- Elaborate_Body is a library unit aspect
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 25-01-27
RM References: 10.02.01 (25/5) 13.01.01 (32/5)
Discussions and/or Voting:
Meeting 63H, Mar 2025 - Approve AI: 13-0-0
AI22-0128-1/02 2025-04-18 -- Evaluation of Relative_Deadline aspect
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 25-03-21
RM References: D.02.06 (13/5)
Discussions and/or Voting:
Meeting 63H, Mar 2025 - Approve AI: 13-0-0
AI22-0129-1/05 2025-10-08 -- Usage example for Protected Type with Dynamic Predicate
Priority: Low Difficulty: Easy
Class: Presentation Status: Amendment 1 for Ada 2022 25-10-08
RM References: 9.05 (9)
Discussions and/or Voting:
Meeting 63K, Sep 2025 - Approve AI w/ changes: 13-0-0
Meeting 63J, Jul 2025 - Discussed
Meeting 63I, May 2025 - Discussed
Meeting 63H, Mar 2025 - Intent: 13-0-0
AI22-0130-1/03 2025-04-18 -- Capacity of Bounded Queues
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 25-03-21
RM References: A.18.29 (2/5) A.18.29 (3/3) A.18.29 (4/3) A.18.31 (2/5) A.18.31 (3/3) A.18.31 (4/3)
Discussions and/or Voting:
Meeting 63H, Mar 2025 - Approve AI w/ changes: 13-0-0
AI22-0131-1/05 2025-09-30 -- Read_Only aspect with aliased results
Priority: Low Difficulty: Medium
Class: Amendment Status: Work Item 25-03-11
RM References: 3.03 (0) 6.01 (30.2) 8.05.01 (6.1)
Discussions and/or Voting:
Meeting 63K, Sep 2025 - Intent: 11-1-1
Meeting 63J, Jul 2025 - Discussed
AI22-0132-1/02 2025-03-24 -- Order for displaying components by default Put_Image
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 25-03-21
RM References: 4.10 (18/5) 4.10 (19/5) 4.10 (21/6) 4.10 (24/5)
Discussions and/or Voting:
Ltr. Ballot, Apr 2025 - Approve AI: 14-0-1
AI22-0133-1/04 2025-08-15 -- Make 10646 non-normative
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Amendment 1 for Ada 2022 25-05-30
RM References: 1.02 (8/5) 1.02.01 (8/5) 2.01 (1/5) 2.01 (3.1/5) 2.01 (4/5) 2.01 (4.1/5) 2.01 (15/5) 2.03 (4.1/5)
3.05.02 (2/6) 3.05.02 (3/6) 3.05.02 (4/6) A.01 (36.1/5) A.01 (36.2/5) A.03.02 (32.6/5) A.03.02 (60/3) A.03.05 (33.2/5)
A.03.05 (51.2/5) A.03.05 (61.2/5) A.03.05 (63/5) A.04.06 (8/5)
Discussions and/or Voting:
Meeting 63I, May 2025 - Approve AI: 14-0-0
AI22-0134-1/03 2025-08-15 -- Allow Both Add_Named and Add_Unnamed in Aggregate aspect
Priority: Medium Difficulty: Medium
Class: Amendment Status: Amendment 1 for Ada 2022 25-05-30
RM References: 4.03.05 (5/5) 4.03.05 (11/6) 4.03.05 (27/5) 4.03.05 (45/5)
Discussions and/or Voting:
Meeting 63I, May 2025 - Approve AI w/ changes: 13-0-1
AI22-0135-1/02 2025-05-23 -- Coextensions, Function Calls, and Storage Pools
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Work Item 25-05-21
RM References: 4.08 (5.5/3)
Alternatives: AI22-0135-2
Discussions and/or Voting:
Meeting 63K, Sep 2025 - Intent: 9-0-4
Meeting 63J, Jul 2025 - Discussed
Meeting 63I, May 2025 - Discussed
AI22-0135-2/01 2025-09-05 -- Coextensions, Function Calls, and Storage Pools
Priority: Medium Difficulty: Medium
Class: Binding Interpretation Status: Work Item 25-05-21
RM References: 4.08 (5.5/3)
Alternatives: AI22-0135-1
Discussions and/or Voting:
Meeting 63K, Sep 2025 - Discussed
AI22-0136-1/04 2025-08-15 -- Allow Indexing Aspects on Untagged Types
Priority: Medium Difficulty: Easy
Class: Amendment Status: Amendment 1 for Ada 2022 25-05-30
RM References: 4.01.06 (1/3) 4.01.06 (5/3) 4.01.06 (6/5) 4.01.06 (9/5)
Discussions and/or Voting:
Meeting 63I, May 2025 - Approve AI w/ changes: 13-0-1
AI22-0137-1/04 2025-08-15 -- Renaming-as-body with a parameter of an incomplete type
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Amendment 1 for Ada 2022 25-07-30
RM References: 3.10.01 (8.1/3) 3.10.01 (8.4/3)
Discussions and/or Voting:
Meeting 63J, Jul 2025 - Approve AI: 15-0-1
AI22-0138-1/03 2025-08-15 -- Inheritance and conformance
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Amendment 1 for Ada 2022 25-07-30
RM References: 6.03.01 (21/4)
Discussions and/or Voting:
Meeting 63J, Jul 2025 - Approve AI w/ changes: 14-0-2
AI22-0139-1/02 2025-07-30 -- Aggregates and Build-in-place
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Amendment 1 for Ada 2022 25-07-30
RM References: 4.03 (6/6)
Discussions and/or Voting:
Meeting 63J, Jul 2025 - Approve AI w/ changes: 16-0-0
AI22-0140-1/05 2025-08-19 -- Requiring unconstrained subtypes
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 25-07-16
RM References: 3.02.05 (0) 4.01 (9/3) 4.03 (4.3/7) 4.06 (24.19/6) 4.06 (24.27/5) 4.06 (46) 4.08 (6/3) 4.09.01 (2/5)
Discussions and/or Voting:
Meeting 63K, Sep 2025 - Discussed
Meeting 63J, Jul 2025 - Intent: 16-0-0
AI22-0141-1/02 2025-09-29 -- Aspects unspecifiable for classes of types
Priority: Medium Difficulty: Easy
Class: Binding Interpretation Status: Work Item 25-07-25
RM References: 4.01.06 (1/7) 4.01.06 (5.1/4) 4.01.06 (6.1/7) 4.02.01 (6/5) 4.02.01 (11/5) 4.03.05 (2/5) 4.03.05 (10/6) 4.02.05 (12/5)
13.01.01 (18.5/6)
Discussions and/or Voting:
Meeting 63K, Sep 2025 - Intent: 12-0-1
Meeting 63J, Jul 2025 - Discussed
AI22-0142-1/03 2025-10-08 -- Relax matching index constraint rules
Priority: Low Difficulty: Medium
Class: Amendment Status: Amendment 1 for Ada 2022 25-10-08
RM References: 3.10.02 (27.1/2) 4.09.01 (1.3/2) 4.09.01 (1.3/2)
Discussions and/or Voting:
Meeting 63K, Sep 2025 - Approve AI w/ changes: 11-0-2
|