Version 1.31 of ais/ai-summary.txt

Unformatted version of ais/ai-summary.txt version 1.31
Other versions for file ais/ai-summary.txt

This is a summary of all Ada Issues, except for the presentation issues. Priority is Low, Medium, or High; Difficulty is Easy, Medium, or Hard.

AI95-00001/05 1996-07-23 -- Ada.Streams.Stream_IO.Stream can raise Status_Error

Class: Binding Interpretation Status: WG9_Approved (8-0-0) 97-07-04 RM References: A.12.01 (29) 13.13.01 (08) 13.13.01 (09)

AI95-00002/02 1996-02-06 -- Subunits of a preelaborated subprogram

Class: Binding Interpretation Status: WG9_Approved 95-06-14 RM References: 10.02.01 (11)

AI95-00003/00 1996-07-23 -- Access types declared in shared passive generic packages

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: E.02.01 (07)

AI95-00004/05 1996-11-16 -- Conversions to types derived from remote access types

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: E.02.02 (09)

AI95-00006/01 1996-11-16 -- private child in with_clause

Priority: Low Difficulty: Medium Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 10.01.02 (08)

AI95-00007/00 1996-07-23 -- Typo: Enumeration_IO would allow instantiation for an [float] {integer} type

Priority: Low Difficulty: Easy Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: A.10.10 (17)

AI95-00012/02 1997-05-08 -- The first subtype of a type defined by an access[_type]_definition

Priority: Low Difficulty: Easy Class: Binding Interpretation Status: WG9_Approved (8-0-0) 97-07-04 RM References: 3.10 (14)

AI95-00014/01 1996-07-23 -- ... and {its calling convention} shall not be Intrinsic.

Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 3.10.02 (32)

AI95-00018/03 1996-11-16 -- Inconsistency with Ada 83 in the definition of exponentiation

Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 4.05.06 (11)

AI95-00025/02 1996-11-16 -- Matching rules for generic formal access-to-constant types

Priority: Low Difficulty: Medium Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 12.05.04 (04)

AI95-00026/03 1996-06-05 -- Stream_IO.Read and Stream_IO.Write advance the current index

Class: Binding Interpretation Status: WG9_Approved 95-06-14 RM References: A.12.01 (31)

AI95-00027/01 1995-11-01 -- Typo: is access all {Ada.}Streams.Root_Stream_Type'Class

Class: Confirmation Status: WG9_Approved 95-06-14 RM References: A.12.02 (03)

AI95-00029/01 1995-11-01 -- Does Complex_IO handle extended real literals?

Class: Binding Interpretation Status: WG9_Approved 95-06-14 RM References: G.01.03 (12)

AI95-00031/02 1996-11-16 -- Unpacking a record type with primitive subprograms

Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 13.06 (02)

AI95-00032/01 1996-11-16 -- visible part of a renaming

Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 8.02 (05)

AI95-00033/04 1996-11-16 -- delayed declaration of inherited primitive subprograms

Priority: High Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: 7.03.01 (03) 7.03.01 (04) 7.03.01 (05) 7.03.01 (06)

AI95-00034/02 1996-11-16 -- Unconstrained Formal types

Priority: Medium Difficulty: Hard Class: Ramification Status: WG9_Approved 96-12-07 RM References: 3.02 (09)

AI95-00035/03 1996-11-16 -- Type descriptors can be laid out at compile time

Priority: Medium Difficulty: Medium Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 7.03.01 (07)

AI95-00036/03 1996-02-06 -- What are the rules for named notation in pragmas?

Class: Binding Interpretation Status: WG9_Approved 95-06-14 RM References: 2.08 (04)

AI95-00037/06 1997-03-19 -- In Interfaces.C, nul and wide_nul represent zero

Priority: High Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: B.03 (20) B.03 (31)

AI95-00038/02 1996-06-06 -- Mapping between Interfaces.C.char and Standard.Character

Class: Confirmation Status: WG9_Approved 95-06-14 RM References: B.03 (46)

AI95-00039/02 1996-06-05 -- Effect of Update(Null_Ptr,...)

Class: Binding Interpretation Status: WG9_Approved 95-06-14 RM References: B.03.01 (44)

AI95-00040/04 1996-11-16 -- A box for a formal subprogram_default freezes the actual

Priority: Low Difficulty: Easy Class: Ramification Status: WG9_Approved 96-12-07 RM References: 13.14 (05)

AI95-00041/08 1998-04-01 -- Program unit pragmas in generic units

Priority: High Difficulty: Hard Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: 8.03 (16) 8.03 (18) 10.01.05 (02) 10.01.05 (07) 12.03 (13) 12.03 (14)

AI95-00042/02 1996-11-16 -- use of incomplete types

Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 3.10.01 (09)

AI95-00043/02 1996-02-06 -- Predefined Operators for Generic Formal Array Types

Class: Binding Interpretation Status: WG9_Approved 95-06-14 RM References: 12.05 (08)

AI95-00044/04 1996-11-16 -- Overriding by Implicit Declarations

Priority: High Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: 8.03 (09)

AI95-00045/02 1996-11-16 -- Servicing of entry calls is part of a protected action

Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 9.05.03 (00)

AI95-00046/02 1996-02-06 -- Ambiguous "only"; please clarify intent

Class: Confirmation Status: WG9_Approved 95-06-14 RM References: E.02.02 (14)

AI95-00047/03 1996-02-06 -- {user-defined} Read and Write attributes

Class: Binding Interpretation Status: WG9_Approved 95-06-14 RM References: E.02.02 (14)

AI95-00048/07 1996-11-16 -- An RCI unit can be a library subprogram

Priority: High Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: E.02.03 (07)

AI95-00049/02 1996-06-05 -- Reserved_128, etc.

Class: Confirmation Status: WG9_Approved 95-06-14 RM References: A.01 (35)

AI95-00050/02 1996-06-05 -- External files of Standard_Input and Standard_Output

Class: Binding Interpretation Status: WG9_Approved 95-06-14 RM References: A.10.03 (25) A.14 (03) A.10 (05)

AI95-00051/09 1999-03-22 -- Size and Alignment Clauses for Objects

Priority: High Difficulty: Medium Class: Binding Interpretation Status: Work Item 98-04-01 RM References: 13.03 (42)

AI95-00053/02 1995-11-01 -- Case sensitivity of Wide_Value and Value attributes

Class: Confirmation Status: WG9_Approved 95-06-14 RM References: 3.05 (43)

AI95-00054/02 1997-04-11 -- When is a Small clause allowed?

Priority: Low Difficulty: Easy Class: Binding Interpretation Status: WG9_Approved (8-0-0) 97-07-04 RM References: 3.05.10 (02)

AI95-00055/01 1997-11-14 -- Overflow for Adjacent, Machine, and Model attributes

Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 97-11-14 RM References: A.05.03 (50)

AI95-00056/01 1996-02-06 -- Create(Mode => Append_File)

Class: Confirmation Status: WG9_Approved 95-06-14 RM References: A.08.02 (02)

AI95-00057/02 1995-11-01 -- Text_IO.Flush should use IN mode

Class: Binding Interpretation Status: WG9_Approved 95-06-14 RM References: A.10.01 (21)

AI95-00058/07 1999-03-22 -- Accessibility Rules for Shared_Passive Packages

Priority: High Difficulty: Hard Class: Ramification Status: Work Item 95-06-25 RM References: E.02.01 (08)

AI95-00059/01 1996-07-23 -- Specifying Storage size for tasks

Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 13.03 (61)

AI95-00060/04 1997-05-27 -- No predefined 'Truncate Attribute on Fixed-Point Types

Priority: Medium Difficulty: Medium Class: Confirmation Status: WG9_Approved (8-0-0) 97-07-04 RM References: A.05.04 (00)

AI95-00062/03 1996-07-23 -- Derived access types share the same pool

Class: Binding Interpretation Status: WG9_Approved 95-06-14 RM References: 3.04 (31)

AI95-00063/04 1996-10-03 -- Erroneous execution for closing default files

Priority: Low Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: A.10.03 (23)

AI95-00064/06 1997-04-11 -- Elaboration checks for renamings-as-body

Priority: High Difficulty: Hard Class: Binding Interpretation Status: WG9_Approved (8-0-0) 97-07-04 RM References: 3.11 (09)

AI95-00065/01 1995-09-05 -- (Deleted)

Class: Ramification Status: Deleted 96-09-05 RM References: 3.09.02 (01)

AI95-00067/02 1997-11-14 -- Pragma Restrictions(Max_Tasks, Max_Asynchronous_Select_Nesting)

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 97-11-14 RM References: D.07 (00)

AI95-00069/01 1995-11-01 -- One queuing policy per partition.

Class: Confirmation Status: WG9_Approved 95-06-14 RM References: D.04 (15)

AI95-00071/02 1996-11-16 -- Correction to the Valid function in COBOL Interface

Priority: High Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: B.04 (63)

AI95-00072/02 1996-11-16 -- Clarification of result length for conversions in COBOL Interface

Priority: High Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: B.04 (71) B.04 (79) B.04 (87)

AI95-00073/00 1996-07-23 -- Pragmas are allowed in generic_formal_parts.

Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 2.08 (05)

AI95-00074/01 1996-07-23 -- Pragma Inline Requires an Argument

Priority: Medium Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 6.03.02 (02)

AI95-00076/02 1998-06-12 -- String literal constraint ramification is correct.

Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 4.02 (11)

AI95-00077/02 1996-11-16 -- Separate compilation of generic bodies

Priority: Medium Difficulty: Medium Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 10.01.04 (03)

AI95-00078/02 1996-11-16 -- semantic dependence on illegal or obsolete units

Priority: Low Difficulty: Medium Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 10.01.04 (05)

AI95-00082/01 1996-02-06 -- The PCS may be defined by the user.

Class: Binding Interpretation Status: WG9_Approved 95-06-14 RM References: E.04 (20)

AI95-00083/02 1996-06-05 -- Aggregates of a controlled type

Class: Binding Interpretation Status: WG9_Approved 95-06-14 RM References: 7.06 (21)

AI95-00084/02 1998-06-12 -- Questions about Generic_Elementary_Functions

Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 98-06-12 RM References: A.05.01 (00)

AI95-00085/05 1998-04-04 -- Append_File, Reset and positioning

Priority: High Difficulty: Hard Class: Confirmation Status: Work Item 98-10-09 RM References: A.08.02 (16) A.12.01 (33)

AI95-00086/03 1997-05-27 -- Passing generic formal packages with (<>)

Priority: Medium Difficulty: Hard Class: Confirmation Status: WG9_Approved (8-0-0) 97-07-04 RM References: 12.07 (0) (00)

AI95-00087/02 1996-11-16 -- Saving and restoring Current_Output

Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: A.10.03 (00)

AI95-00089/04 1996-11-16 -- Float_Random.Value, Discrete_Random.Value

Priority: High Difficulty: Hard Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: A.05.02 (40)

AI95-00090/04 1996-02-06 -- (Deleted)

Class: Ramification Status: Deleted 96-02-06 RM References: D.01 (22)

AI95-00091/01 1995-11-01 -- Pragma Locking_Policy Cannot Be "In" a Program Unit

Class: Binding Interpretation Status: WG9_Approved 95-06-14 RM References: D.03 (06)

AI95-00092/05 1996-07-23 -- Priority changes due to Set_Priority and Hold are not transitive

Priority: High Difficulty: Hard Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: D.11 (05)

AI95-00093/02 1995-11-01 -- Float_Type'Small

Class: Binding Interpretation Status: WG9_Approved 95-06-14 RM References: 4.01.04 (12)

AI95-00094/00 1997-04-11 -- Exponentiation: 0.0 ** 0.0 raises Argument_Error.

Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved (8-0-0) 97-07-04 RM References: A.05.01 (42)

AI95-00095/02 1996-11-16 -- Modular types on one's complement machines.

Priority: High Difficulty: Medium Class: Ramification Status: WG9_Approved 96-12-07 RM References: 3.05.04 (07)

AI95-00096/02 1998-06-12 -- sparse case statements

Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 5.04 (00)

AI95-00097/05 1996-11-16 -- Conversions between access types with different representations.

Priority: High Difficulty: Medium Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 4.06 (47)

AI95-00098/01 1997-11-14 -- unknown_discriminant_parts on generic formal types.

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 97-11-14 RM References: 12.05 (08)

AI95-00099/01 1997-04-11 -- Accuracy requirements for elementary functions

Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved (8-0-0) 97-07-04 RM References: A.05.01 (01)

AI95-00100/02 1999-03-21 -- Truncation required for static expressions if Machine_Rounds is

Priority: Medium Difficulty: Medium Class: Confirmation Status: Work Item 95-10-21 RM References: 4.09 (38)

AI95-00101/04 1996-06-05 -- Abort_Task has a parameter of mode 'in'.

Class: Binding Interpretation Status: WG9_Approved 95-06-14 RM References: C.07.01 (03)

AI95-00102/01 1997-11-14 -- A generic formal limited private type can have an access discriminant.

Priority: Medium Difficulty: Medium Class: Confirmation Status: WG9_Approved 97-11-14 RM References: 3.07 (10)

AI95-00103/02 1998-04-01 -- Storage pools and access types designating task types

Priority: Medium Difficulty: Medium Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 13.11 (00)

AI95-00104/06 1997-11-14 -- Version and Body_Version attributes

Priority: High Difficulty: Hard Class: Binding Interpretation Status: WG9_Approved 97-11-14 RM References: E.03 (04)

AI95-00105/03 1998-06-12 -- extra negative value

Priority: Medium Difficulty: Medium Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 3.05.04 (09)

AI95-00106/05 1996-11-16 -- Freezing Rules

Priority: High Difficulty: Hard Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: 13.14 (06)

AI95-00107/05 1996-11-16 -- Base attribute for non-scalar subtypes?

Priority: High Difficulty: Hard Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 4.01.04 (12)

AI95-00108/02 1996-09-15 -- Inheritance of Stream Attributes for Type Extensions

Priority: High Difficulty: Hard Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: 13.13.02 (09)

AI95-00109/06 1999-03-22 -- Size and Alignment Attributes for Subtypes

Priority: High Difficulty: Hard Class: Binding Interpretation Status: Work Item 98-04-01 RM References: 13.03 (55)

AI95-00110/03 1996-11-16 -- No Constraint Check on 'out' Parameter of an Access Type

Priority: Medium Difficulty: Medium Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 6.04.01 (13)

AI95-00112/03 1996-11-16 -- Wide_String file names

Priority: Low Difficulty: Medium Class: Confirmation Status: WG9_Approved 96-12-07 RM References: A.11 (00)

AI95-00113/02 1998-06-12 -- Exception raised by Month, Day, Seconds in Ada.Calendar?

Priority: Low Difficulty: Easy Class: Binding Interpretation Status: WG9_Approved 98-06-12 RM References: 9.06 (26)

AI95-00114/00 1996-10-04 -- Editorial Comments on AARM

Priority: Low Difficulty: Hard Class: Confirmation Status: Work Item 96-04-10 RM References: 12.03 (11)

AI95-00115/00 1996-07-23 -- Controlled types in language-defined generic packages

Priority: High Difficulty: Medium Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 3.09.01 (03) 7.06 (04) A (00)

AI95-00116/02 1998-06-12 -- Elaboration of task type with no task_definition

Priority: Low Difficulty: Easy Class: Binding Interpretation Status: WG9_Approved 98-06-12 RM References: 9.01 (02)

AI95-00117/04 1999-04-01 -- Calling Conventions

Priority: High Difficulty: Hard Class: Binding Interpretation Status: ARG_Approved (with changes) 7-1-1 99-03-24 RM References: 3.09.02 (10)

AI95-00118/03 1996-11-16 -- Termination signals query of Terminate attribute

Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: 9.10 (11)

AI95-00119/02 1998-10-08 -- Is Normal Termination an "External Interaction"?

Priority: Low Difficulty: Hard Class: Ramification Status: ARG_Approved 98-10-08 (Via previous vote) RM References: 1.01.03 (15)

AI95-00120/04 1998-06-12 -- What is the minimal upper bound of type Integer?

Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 3.05.02 (03)

AI95-00121/04 1997-08-19 -- Pragma Attach_Handler on Nested Objects

Priority: High Difficulty: Hard Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: C.03.01 (07)

AI95-00122/02 1998-06-12 -- Use_type_clause where First Subtype is not Directly Visible

Priority: Medium Difficulty: Medium Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 8.04 (08)

AI95-00123/07 1997-05-27 -- Equality for Composite Types

Priority: High Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved (8-0-0) 97-07-04 RM References: 4.05.02 (24)

AI95-00124/03 1996-11-16 -- The AE characters are allowed in identifiers

Priority: High Difficulty: Easy Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: 2.01 (08)

AI95-00125/01 1997-04-11 -- Order of Size and Small Clauses for Fixed Point Types

Priority: Medium Difficulty: Medium Class: Confirmation Status: WG9_Approved (8-0-0) 97-07-04 RM References: 13.03 (55)

AI95-00126/08 1997-11-14 -- Classification of Language-Defined Packages

Priority: High Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 97-11-14 RM References: E.02.02 (08)

AI95-00127/04 1996-11-16 -- Expected type of a 'Access attribute

Priority: High Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: 3.10.02 (27)

AI95-00128/04 1997-03-19 -- String Packages

Priority: High Difficulty: Easy Class: Binding Interpretation Status: WG9_Approved (8-0-0) 97-07-04 RM References: A.04.03 (68) A.04.04 (101) A.04.04 (102-105) A.04.05 (86-87) A.04.03 (2,73)

AI95-00129/02 1998-06-12 -- Discriminant Inheritance for Private Extensions

Priority: Low Difficulty: Medium Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 7.03 (10)

AI95-00130/03 1999-03-21 -- Enforcing Restrictions might violate the generic contract model.

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 96-04-17 RM References: H.04 (08)

AI95-00131/08 1999-04-01 -- Interface to C -- passing records as parameters of mode 'in'

Priority: High Difficulty: Hard Class: Binding Interpretation Status: ARG_Approved (with changes) 8-0-1 99-03-24 RM References: B.01 (13-18)

AI95-00132/03 1998-06-12 -- Exception Raised at End of Stream

Priority: High Difficulty: Hard Class: Binding Interpretation Status: WG9_Approved 98-06-12 RM References: A.13 (13)

AI95-00133/02 1998-03-27 -- controlling bit ordering

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 96-05-07 RM References: 13.05.03 (00)

AI95-00134/01 1996-07-23 -- Source Representation

Priority: Medium Difficulty: Easy Class: Confirmation Status: WG9_Approved 96-12-07 RM References: 2.01 (18)

AI95-00135/02 1997-04-11 -- Circular Renamings as Body

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved (8-0-0) 97-07-04 RM References: 8.05.04 (05)

AI95-00136/05 1996-11-16 -- Placement of Program Unit Pragmas in Generic Packages

Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: 10.01.05 (05)

AI95-00137/01 1996-07-23 -- Attribute definition clause for Stream Attributes

Priority: High Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: 13.01 (10)

AI95-00138/02 1998-06-12 -- Null String Literals when the Index Type is Modular

Priority: Low Difficulty: Easy Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 4.02 (10)

AI95-00139/02 1996-07-24 -- Interfaces.C.Strings.Value Raises Constraint_Error when Length is 0

Priority: Medium Difficulty: Easy Class: Ramification Status: WG9_Approved 96-12-07 RM References: B.03.01 (36)

AI95-00140/01 1996-07-23 -- Semantics of Interfaces.C.Strings.To_Char_Ptr when Nul_Check is False

Priority: Low Difficulty: Easy Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: B.03.01 (24)

AI95-00141/06 1997-11-14 -- Exceptions in Interfaces.C and its Children

Priority: High Difficulty: Hard Class: Confirmation Status: WG9_Approved 97-11-14 RM References: B.03 (00)

AI95-00143/03 1998-06-12 -- Distinct Names for Compilation Units

Priority: Medium Difficulty: Easy Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 8.03 (25)

AI95-00144/01 1997-11-14 -- Pragma List

Priority: Low Difficulty: Medium Class: Confirmation Status: No_Action 11-1-0 97-11-14 RM References: 2.08 (25)

AI95-00145/02 1996-11-16 -- Profile of predefined operators for scalar types

Priority: High Difficulty: Hard Class: Binding Interpretation Status: WG9_Approved 96-12-07 RM References: 3.05 (15)

AI95-00146/00 1997-11-14 -- Controlled Components are Finalized

Priority: Low Difficulty: Easy Class: Confirmation Status: No_Action 10-0-2 97-11-14 RM References: 7.06.01 (04)

AI95-00147/06 1999-03-25 -- Optimization of Controlled Types

Priority: High Difficulty: Hard Class: Binding Interpretation Status: ARG_Approved 6-0-2 99-03-26 RM References: 7.06 (21)

AI95-00148/00 1997-08-19 -- Requeue of protected entry calls

Priority: Low Difficulty: Easy Class: Confirmation Status: Received 96-06-06 RM References: 9.05.04 (07)

AI95-00149/02 1997-08-19 -- Miscellaneous Confirmations

Priority: Low Difficulty: Easy Class: Confirmation Status: Received 96-09-04 RM References: 8.06 (12)

AI95-00150/04 1998-06-12 -- Uniqueness of Component Names

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 98-06-12 RM References: 8.03 (26)

AI95-00151/02 1997-11-14 -- Bounds of string returned by Ada.Strings.Maps.To_Range

Priority: Low Difficulty: Easy Class: Binding Interpretation Status: WG9_Approved 98-06-12 RM References: A.04.02 (63)

AI95-00152/04 1998-06-12 -- Operators not inherited from root numeric types

Priority: Medium Difficulty: Medium Class: Confirmation Status: WG9_Approved 98-06-12 RM References: 4.05.05 (17)

AI95-00153/01 1999-04-01 -- Picture String Grammar or Composition Rules Need Tightening

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: ARG_Approved (with changes) 8-0-2 99-03-25 RM References: F.03.01 (04-38) F.03.01 (01) F.03.01 (43)

AI95-00155/02 1996-09-15 -- (Deleted)

Class: Ramification Status: Deleted 96-09-15 RM References: 13.13.02 (00)

AI95-00156/03 1998-06-12 -- Polar implementation of complex exponentiation for negative exponents

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 98-06-12 RM References: G.01.01 (55)

AI95-00157/03 1997-07-04 -- Visibility of Inherited Private Components

Priority: High Difficulty: Hard Class: Ramification Status: WG9_Approved (8-0-0) 97-07-04 RM References: 7.03 (15)

AI95-00158/01 1997-08-19 -- T'Class as generic actual type

Priority: High Difficulty: Hard Class: Binding Interpretation Status: Received 96-09-04 RM References: 12.05 (06)

AI95-00159/04 1998-06-12 -- Shared Variables in Shared_Passive?

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 98-06-12 RM References: 9.10 (00)

AI95-00160/01 1997-11-14 -- Daylight savings & Ada.Calendar

Priority: Medium Difficulty: Medium Class: Confirmation Status: ARG_Approved (subject to letter ballot) 10-1-2 97- RM References: 9.06 (24)

AI95-00161/04 1999-03-12 -- Default-initialized objects

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 98-04-16 RM References: 10.02.01 (09)

AI95-00162/02 1998-10-02 -- Anonymous access types and tasks termination/controlled type finalization

Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Work Item 98-10-02 RM References: 3.10.02 (13)

AI95-00163/02 1997-05-08 -- User-defined fixed,fixed multiplying op

Priority: High Difficulty: Hard Class: Confirmation Status: WG9_Approved (8-0-0) 97-07-04 RM References: 4.05.05 (18)

AI95-00164/03 1999-02-05 -- Definition of remote access type

Priority: High Difficulty: Easy Class: Binding Interpretation Status: ARG_Approved (7-0-0) 98-10-09 RM References: E.02.02 (09)

AI95-00165/04 1998-06-12 -- Recursive use of task attributes isn't considered

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 98-06-12 RM References: C.07.02 (16)

AI95-00166/03 1999-02-05 -- Parameterless_Handler values designating default treatment

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: ARG_Approved (7-0-0) 98-10-09 RM References: C.03.02 (18)

AI95-00167/01 1998-03-18 -- Scalar unchecked conversion is never erroneous

Priority: High Difficulty: Hard Class: Binding Interpretation Status: Work Item 98-03-18 RM References: 13.09.01 (12)

AI95-00168/03 1999-02-23 -- Aliased objects cannot have discriminants modified

Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: ARG_Approved 7-0-0 98-10-09 RM References: 4.06 (00)

AI95-00169/02 1999-04-01 -- Exceptions raised by Adjust/Finalize -- Missing cases

Priority: Low Difficulty: Easy Class: Binding Interpretation Status: ARG_Approved (with changes) 8-0-1 99-03-25 RM References: 7.06.01 (14)

AI95-00170/01 1998-10-15 -- Can an attribute defined in an annex be set in an attribute definition clause?

Priority: Low Difficulty: Easy Class: Confirmation Status: ARG_Approved (with changes) 8-0-1 99-03-24 RM References: 13.03 (05)

AI95-00171/03 1998-06-12 -- Elaboration of subtype_indications with per-object constraints

Priority: Low Difficulty: Hard Class: Binding Interpretation Status: WG9_Approved 98-06-12 RM References: 3.08 (18)

AI95-00172/02 1999-03-21 -- Which units can be designated as a main program?

Priority: High Difficulty: Easy Class: Confirmation Status: Work Item 97-03-19 RM References: 10.02 (07)

AI95-00173/01 1998-03-17 -- Optimizations and the use of 'Address

Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Work Item 98-03-17 RM References: 13.03 (16)

AI95-00174/00 1996-11-16 -- Are 'Read and 'Write guaranteed to be "inverses" for predefined types?

Priority: Low Difficulty: Easy Class: Confirmation Status: Received 96-11-16 RM References: 13.13.02 (09)

AI95-00175/02 1999-02-27 -- Full conformance of expressions with attributes

Priority: Low Difficulty: Easy Class: Binding Interpretation Status: ARG_Approved 9-0-0 99-03-24 RM References: 6.03.01 (19)

AI95-00176/04 1998-06-12 -- Access_Check is performed for access discriminants

Priority: Low Difficulty: Easy Class: Binding Interpretation Status: WG9_Approved 98-06-12 RM References: 11.05 (11)

AI95-00177/02 1997-11-14 -- Interfaces.C.Strings.Value with len returning String

Priority: High Difficulty: Medium Class: Binding Interpretation Status: WG9_Approved 97-11-14 RM References: B.03.01 (40)

AI95-00178/00 1997-03-19 -- Which I/O operations are potentially blocking?

Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Received 97-03-19 RM References: 9.05.01 (18)

AI95-00179/02 1997-11-14 -- Finalization and Unchecked_Deallocation

Priority: High Difficulty: Medium Class: Confirmation Status: WG9_Approved 97-11-14 RM References: 7.06.01 (17)

AI95-00180/03 1997-05-27 -- Pragma Elaborate for Child Units

Priority: Medium Difficulty: Easy Class: Confirmation Status: WG9_Approved (8-0-0) 97-07-04 RM References: 10.01.02 (06)

AI95-00181/02 1997-11-14 -- components of Stream_Element_Array should be ALIASED

Priority: High Difficulty: Easy Class: Binding Interpretation Status: WG9_Approved 97-11-14 RM References: 13.13.01 (04)

AI95-00182/03 1997-11-14 -- Extension aggregates with controlled subcomponents

Priority: High Difficulty: Easy Class: Binding Interpretation Status: WG9_Approved 97-11-14 RM References: 7.06 (11)

AI95-00183/02 1997-11-14 -- Primitive operations declared before it is known if the type is tagged

Priority: High Difficulty: Medium Class: Confirmation Status: WG9_Approved 97-11-14 RM References: 3.09.02 (01)

AI95-00184/04 1998-10-08 -- Definiteness and type derivation

Priority: High Difficulty: Hard Class: Binding Interpretation Status: ARG_Approved 98-10-08 (7-0-0) RM References: 4.06 (54)

AI95-00185/00 1997-03-19 -- Branch cuts of inverse trigonometric and hyperbolic functions

Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Received 97-03-19 RM References: G.01.02 (15)

AI95-00186/02 1999-03-21 -- Range of root_integer

Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 97-03-19 RM References: 3.05.04 (14) 3.04 (9)

AI95-00187/00 1997-08-19 -- Task attribute operations are atomic but not sequential

Priority: Medium Difficulty: Medium Class: Confirmation Status: Received 97-08-19 RM References: C.07.02 (16)

AI95-00188/03 1999-03-21 -- The definition of setting a task base priority is too vague

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 98-04-02 RM References: D.05 (10)

AI95-00189/00 1997-08-19 -- The meaning of the terms "processor", "multiprocessor", and "processing node"

Priority: Medium Difficulty: Medium Class: Confirmation Status: Received 97-08-19 RM References: E (02)

AI95-00190/02 1999-02-05 -- Compile-time enforcement of pragma Restrictions

Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: ARG_Approved (6-0-0) 98-10-09 RM References: 13.12 (0) (00) D.07 (15)

AI95-00191/00 1997-08-19 -- An OBJECTive View

Priority: Low Difficulty: Easy Class: Ramification Status: Received 97-08-19 RM References: 3.03 (04)

AI95-00192/02 1998-10-12 -- A library subprogram_body should replace, not complete, an instance

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: ARG_Approved 98-10-08 (7-0-0) RM References: 6.03 (04)

AI95-00193/03 1999-03-21 -- Classwide Adjust and exceptions

Priority: High Difficulty: Hard Class: Binding Interpretation Status: Work Item 98-04-02 RM References: 7.06.01 (04) 7.06.01 (16)

AI95-00194/01 1998-10-13 -- Typo in Standard_Error Definition

Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: ARG_Approved 9-0-0 99-03-24 RM References: A.10.03 (12)

AI95-00195/04 1999-03-12 -- Streams

Priority: High Difficulty: Hard Class: Binding Interpretation Status: Work Item 98-04-04 RM References: 13.13.01 (00)

AI95-00196/00 1998-03-27 -- assignment and tag-indeterminate calls with controlling results

Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Received 98-03-27 RM References: 3.09.02 (17)

AI95-00197/02 1998-10-08 -- Aggregate initialization of controlled subcomponents

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: ARG_Approved 7-0-0 98-10-08 RM References: 7.06 (21)

AI95-00198/01 1999-03-23 -- pragma Convention(Intrinsic) is not a completion

Priority: Low Difficulty: Easy Class: Confirmation Status: ARG_Approved 9-0-0 99-03-25 RM References: 6.03.01 (11)

AI95-00199/02 1999-03-23 -- Pragma convention for a generic unit applies to its instances

Priority: High Difficulty: Hard Class: Binding Interpretation Status: Work Item 98-04-02 RM References: 13.09 (03)

AI95-00200/01 1999-03-14 -- Generic formal subprograms as dispatching operations

Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 99-03-14 RM References: 3.02.03 (07)

AI95-00201/01 1998-04-01 -- object subtype must statically match designated subtype

Priority: Medium Difficulty: Medium Class: Confirmation Status: No_Action 10-0-2 98-04-01 RM References: 4.06 (16)

AI95-00202/03 1999-04-01 -- Primitives of formal type derived from another formal type

Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: ARG_Approved (with changes) 9-0-1 99-03-25 RM References: 12.05.01 (21)

AI95-00203/02 1998-10-08 -- S'Digits when T'Machine_Radix is 10.

Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: ARG_Approved 98-10-08 (6-0-1) RM References: 3.05.08 (02)

AI95-00204/01 1999-02-02 -- Interfaces.Fortran must be absent, right?

Priority: High Difficulty: Medium Class: Confirmation Status: Work Item 99-02-02 RM References: B.05 (00)

AI95-00205/01 1998-10-08 -- Priority changes in abortable part

Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: ARG_Approved 98-10-08 (6-0-0) RM References: D.04 (10) D.04 (11)

AI95-00206/00 1998-09-29 -- Ada.Task_Identification.Is_Callable for the environment task

Priority: Medium Difficulty: Easy Class: Ramification Status: ARG_Approved (7-0-0) 98-10-08 RM References: C.07.01 (10)

AI95-00207/01 1999-02-03 -- Pragma Inspection_Point affects only the current unit

Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 99-02-03 RM References: H.03.02 (5) H.03.02 (8)

AI95-00208/04 1999-03-29 -- What is the meaning of "same representation" in all partitions?

Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: ARG_Approved (with changes) 9-0-0 99-03-26 RM References: E.02 (13)

AI95-00209/01 1999-02-05 -- pragma Reviewable; can objects become uninitialized?

Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Work Item 99-02-05 RM References: H.03.01 (8)

AI95-00210/02 1999-04-01 -- Questions on pragma Restriction No_Recursion and No_Reentrancy

Priority: Medium Difficulty: Easy Class: Confirmation Status: ARG_Approved (with changes) 8-1-1 99-03-25 RM References: H.04 (24) H.04 (27)

AI95-00211/02 1999-04-01 -- Can an abstract subprogram be renamed?

Priority: Medium Difficulty: Easy Class: Ramification Status: ARG_Approved (with changes) 8-0-1 99-03-24 RM References: 8.05.04 (7)

AI95-00212/00 1998-11-21 -- Restrictions on configuration pragmas.

Priority: Low Difficulty: Medium Class: Confirmation Status: Received 98-11-21 RM References: 10.01.05 (09)

AI95-00213/03 1999-04-01 -- Formal object matching for formal packages.

Priority: High Difficulty: Medium Class: Binding Interpretation Status: ARG_Approved (with changes) 9-0-0 99-03-24 RM References: 12.07 (05) 12.07 (06)

AI95-00214/01 1999-01-29 -- Distinct Names for Compilation Units (again).

Priority: High Difficulty: Easy Class: Binding Interpretation Status: Work Item 99-01-29 RM References: 10.02 (19) 10.01.04 (07)

AI95-00215/01 1999-02-12 -- Returning remote class-wide values.

Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: ARG_Approved 9-0-0 99-03-24 RM References: E.04 (18)

AI95-00216/01 1999-03-23 -- Unchecked Unions -- Variant Records With No Run-Time Discriminant

Priority: Medium Difficulty: Hard Class: Amendment Status: Work Item 99-03-23 RM References: 3.08.01 (01)

AI95-00217/01 1999-03-23 -- Handling Mutually Dependent Type Definitions that Cross Packages

Priority: Medium Difficulty: Hard Class: Amendment Status: Work Item 99-03-23 RM References: 10.01.02 (01)

AI95-00218/02 1999-03-29 -- Accidental overloading when overriding

Priority: Medium Difficulty: Medium Class: Amendment Status: Work Item 99-03-23 RM References: 8.03 (9-13) 6.01 (1)

Questions? Ask the ACAA Technical Agent