CVS difference for ais/ai-summary.txt

Differences between 1.70 and version 1.71
Log of other versions for file ais/ai-summary.txt

--- ais/ai-summary.txt	2000/12/06 21:46:44	1.70
+++ ais/ai-summary.txt	2000/12/07 04:35:35	1.71
@@ -1,1133 +1,1163 @@
 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/07   2000-07-11 --  Ada.Streams.Stream_IO.Stream can raise Status_Error
+AC95-00001/07   2000-07-11 --  Ada.Streams.Stream_IO.Stream can raise Status_Error
 
     Class: Binding Interpretation      Status: Corrigendum 2000  99-06-02
     RM References:  A.12.01 (29)   A.12.01 (36)   13.13.01 (08-09)  
 
-AI95-00002/04   1999-10-08 --  Subunits of a preelaborated subprogram
+AC95-00002/04   1999-10-08 --  Subunits of a preelaborated subprogram
 
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  10.02.01 (11)  
 
-AI95-00003/02   1999-09-15 --  Access types declared in shared passive generic packages
+AC95-00003/02   1999-09-15 --  Access types declared in shared passive generic packages
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  E.02.01 (07)  
 
-AI95-00004/06   1999-08-31 --  Conversions to types derived from remote access types
+AC95-00004/06   1999-08-31 --  Conversions to types derived from remote access types
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  E.02.02 (09)  
 
-AI95-00006/02   1999-05-27 --  private child in with_clause
+AC95-00006/02   1999-05-27 --  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/02   2000-07-11 --  Enumeration_IO does not allow instantiation for a float type
+AC95-00007/02   2000-07-11 --  Enumeration_IO does not allow instantiation for a float type
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  A.10.10 (17)  
 
-AI95-00012/04   1999-10-07 --  The first subtype of a type defined by an access[_type]_definition
+AC95-00012/04   1999-10-07 --  The first subtype of a type defined by an access[_type]_definition
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  3.10 (14)  
 
-AI95-00014/02   1999-05-27 --  ... and {its calling convention} shall not be Intrinsic.
+AC95-00014/02   1999-05-27 --  ... 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/05   2000-01-24 --  Inconsistency with Ada 83 in the definition of exponentiation
+AC95-00018/05   2000-01-24 --  Inconsistency with Ada 83 in the definition of exponentiation
     Priority: Low                  Difficulty: Easy
     Class: Confirmation                Status: Records of Response 2000  00-01-24
     RM References:  4.05.06 (11)  
 
-AI95-00025/05   2000-07-12 --  Matching rules for generic formal access-to-constant types
+AC95-00025/05   2000-07-12 --  Matching rules for generic formal access-to-constant types
     Priority: Low                  Difficulty: Medium
     Class: Confirmation                Status: Records of Response 2000  00-01-25
     RM References:  12.05.04 (04)  
 
-AI95-00026/06   2000-09-26 --  Stream_IO.Read and Stream_IO.Write advance the current index
+AC95-00026/06   2000-09-26 --  Stream_IO.Read and Stream_IO.Write advance the current index
 
     Class: Binding Interpretation      Status: Corrigendum 2000  99-08-13
     RM References:  A.12.01 (28-35)  
 
-AI95-00027/02   1999-07-08 --  Typo: is access all {Ada.}Streams.Root_Stream_Type'Class
+AC95-00027/02   1999-07-08 --  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-00028/01   1999-08-31 --  Should "pragma" be in boldface?
+AC95-00028/01   1999-08-31 --  Should "pragma" be in boldface?
 
     Class: Presentation                Status: Corrigendum 2000  99-07-28
     RM References:  G.01.01 (02)  
 
-AI95-00029/03   2000-04-11 --  Does Complex_IO handle extended real literals?
+AC95-00029/03   2000-04-11 --  Does Complex_IO handle extended real literals?
 
     Class: Binding Interpretation      Status: Corrigendum 2000  99-08-13
     RM References:  G.01.03 (12)  
 
-AI95-00030/01   1999-08-31 --  The word "prefix" should be in sans serif font
+AC95-00030/01   1999-08-31 --  The word "prefix" should be in sans serif font
 
     Class: Presentation                Status: Corrigendum 2000  99-07-28
     RM References:  3.06.02 (02)  
 
-AI95-00031/05   2000-07-07 --  Unpacking a record type with primitive subprograms
+AC95-00031/05   2000-07-07 --  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/02   1999-05-27 --  visible part of a renaming
+AC95-00032/02   1999-05-27 --  visible part of a renaming
     Priority: Low                  Difficulty: Easy
     Class: Confirmation                Status: WG9_Approved  96-12-07
     RM References:  8.02 (05)  
 
-AI95-00033/07   1999-10-07 --  Delayed declaration of inherited primitive subprograms
+AC95-00033/07   1999-10-07 --  Delayed declaration of inherited primitive subprograms
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  7.03.01 (03)   7.03.01 (04)   7.03.01 (05)   7.03.01 (06)  
 
-AI95-00034/05   2000-07-13 --  Unconstrained formal types
+AC95-00034/05   2000-07-13 --  Unconstrained formal types
     Priority: Medium               Difficulty: Hard
     Class: Ramification                Status: Records of Response 2000  00-01-24
     RM References:  3.02 (09)  
 
-AI95-00035/06   2000-01-25 --  Type descriptors can be laid out at compile time
+AC95-00035/06   2000-01-25 --  Type descriptors can be laid out at compile time
     Priority: Medium               Difficulty: Medium
     Class: Confirmation                Status: Records of Response 2000  00-01-25
     RM References:  7.03.01 (07)  
 
-AI95-00036/06   2000-04-11 --  What are the rules for named notation in pragmas?
+AC95-00036/06   2000-04-11 --  What are the rules for named notation in pragmas?
 
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  2.08 (04)   B.01 (09)  
 
-AI95-00037/07   1999-08-31 --  In Interfaces.C, nul and wide_nul represent zero
+AC95-00037/07   1999-08-31 --  In Interfaces.C, nul and wide_nul represent zero
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  B.03 (20)   B.03 (30-31)   B.03 (63)  
 
-AI95-00038/05   2000-01-25 --  Mapping between Interfaces.C.char and Standard.Character
+AC95-00038/05   2000-01-25 --  Mapping between Interfaces.C.char and Standard.Character
 
     Class: Confirmation                Status: Records of Response 2000  00-01-25
     RM References:  B.03 (46)  
 
-AI95-00039/03   1999-08-31 --  Effect of Update(Null_Ptr,...)
+AC95-00039/03   1999-08-31 --  Effect of Update(Null_Ptr,...)
 
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  B.03.01 (44)  
 
-AI95-00040/07   2000-07-12 --  A box for a formal subprogram_default freezes the actual
+AC95-00040/07   2000-07-12 --  A box for a formal subprogram_default freezes the actual
     Priority: Low                  Difficulty: Easy
     Class: Ramification                Status: Records of Response 2000  00-01-24
     RM References:  13.14 (05)  
 
-AI95-00041/14   2000-07-13 --  Program unit pragmas in generic units
+AC95-00041/14   2000-07-13 --  Program unit pragmas in generic units
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  8.03 (16)   8.03 (18)   10.01.05 (07)   12.03 (13)   12.03 (14)  
 
-AI95-00042/03   1999-07-08 --  use of incomplete types
+AC95-00042/03   1999-07-08 --  use of incomplete types
     Priority: Low                  Difficulty: Easy
     Class: Confirmation                Status: WG9_Approved  96-12-07
     RM References:  3.10.01 (09)  
 
-AI95-00043/05   2000-04-11 --  Predefined operators for generic formal array types
+AC95-00043/05   2000-04-11 --  Predefined operators for generic formal array types
 
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  12.05 (08)  
 
-AI95-00044/06   1999-10-07 --  Overriding by implicit declarations
+AC95-00044/06   1999-10-07 --  Overriding by implicit declarations
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-20
     RM References:  8.03 (09-10)   8.03 (26)  
 
-AI95-00045/03   1999-07-08 --  Servicing of entry calls is part of a protected action
+AC95-00045/03   1999-07-08 --  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/05   2000-07-07 --  Intent of "only"
+AC95-00046/05   2000-07-07 --  Intent of "only"
 
     Class: Confirmation                Status: WG9_Approved  95-06-14
     RM References:  E.02.02 (14)  
 
-AI95-00047/05   2000-04-11 --  {User-defined} Read and Write attributes
+AC95-00047/05   2000-04-11 --  {User-defined} Read and Write attributes
 
     Class: Binding Interpretation      Status: Corrigendum 2000  99-08-17
     RM References:  E.02.02 (14)  
 
-AI95-00048/10   2000-04-11 --  An RCI unit can be a library subprogram
+AC95-00048/10   2000-04-11 --  An RCI unit can be a library subprogram
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  E.02.03 (07)   E.02.03 (09-14)   E.02.03 (19)   E.02 (04)  
 
-AI95-00049/03   1999-05-27 --  Reserved_128, etc.
+AC95-00049/03   1999-05-27 --  Reserved_128, etc.
 
     Class: Confirmation                Status: WG9_Approved  95-06-14
     RM References:  A.01 (35)  
 
-AI95-00050/03   1999-08-31 --  External files of Standard_Input and Standard_Output
+AC95-00050/03   1999-08-31 --  External files of Standard_Input and Standard_Output
 
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  A.10.03 (25)   A.14 (03)   A.10 (05)  
 
-AI95-00051/10   1999-11-29 --  Size and Alignment Clauses for Objects
+AC95-00051/10   1999-11-29 --  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/06   2000-08-29 --  Case sensitivity of Wide_Value and Value attributes
+AC95-00053/06   2000-08-29 --  Case sensitivity of Wide_Value and Value attributes
 
     Class: Confirmation                Status: Records of Response 2000  00-01-25
     RM References:  3.05 (43)  
 
-AI95-00054/03   1999-08-31 --  When is a Small clause allowed?
+AC95-00054/03   1999-08-31 --  When is a Small clause allowed?
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-08-17
     RM References:  3.05.10 (02)  
 
-AI95-00055/02   1999-07-08 --  Overflow for Adjacent, Machine, and Model attributes
+AC95-00055/02   1999-07-08 --  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/02   1999-07-08 --  Create(Mode => Append_File)
+AC95-00056/02   1999-07-08 --  Create(Mode => Append_File)
 
     Class: Confirmation                Status: WG9_Approved  95-06-14
     RM References:  A.08.02 (02)  
 
-AI95-00057/03   1999-08-31 --  Text_IO.Flush should use mode 'in'
+AC95-00057/03   1999-08-31 --  Text_IO.Flush should use mode 'in'
 
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  A.10.01 (21)   A.10.03 (20)   A.12.01 (25)  
 
-AI95-00058/08   1999-09-26 --  Accessibility Rules for Shared_Passive Packages
+AC95-00058/08   1999-09-26 --  Accessibility Rules for Shared_Passive Packages
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Work Item     95-06-25
     RM References:  E.02.01 (08)  
 
-AI95-00059/02   1999-07-08 --  Specifying Storage size for tasks
+AC95-00059/02   1999-07-08 --  Specifying Storage size for tasks
     Priority: Low                  Difficulty: Easy
     Class: Confirmation                Status: WG9_Approved  96-12-07
     RM References:  13.03 (61)  
 
-AI95-00060/05   1999-05-27 --  No predefined 'Truncate Attribute on Fixed-Point Types
+AC95-00060/05   1999-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/06   1999-10-07 --  Derived access types share the same pool
+AC95-00062/06   1999-10-07 --  Derived access types share the same pool
 
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-20
     RM References:  3.04 (31)   3.10 (07)  
 
-AI95-00063/07   2000-07-13 --  Erroneous execution for closing default files
+AC95-00063/07   2000-07-13 --  Erroneous execution for closing default files
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  A.10.03 (23)  
 
-AI95-00064/10   2000-04-20 --  Elaboration checks for renamings-as-body
+AC95-00064/10   2000-04-20 --  Elaboration checks for renamings-as-body
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  3.11 (10)   3.11.01 (01)   8.05.04 (08)  
 
-AI95-00065/01   1995-09-05 --  (Deleted)
+AC95-00065/01   1995-09-05 --  (Deleted)
 
     Class: Ramification                Status: Deleted       96-09-05
     RM References:  3.09.02 (01)  
 
-AI95-00066/01   1999-08-31 --  Incorrect syntax in example -- remove "limited"
+AC95-00066/01   1999-08-31 --  Incorrect syntax in example -- remove "limited"
 
     Class: Presentation                Status: Corrigendum 2000  99-07-28
     RM References:  13.11 (39)  
 
-AI95-00067/05   2000-04-11 --  Pragma Restrictions(Max_Tasks, Max_Asynchronous_Select_Nesting)
+AC95-00067/05   2000-04-11 --  Pragma Restrictions(Max_Tasks, Max_Asynchronous_Select_Nesting)
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  D.07 (15)   D.07 (17-19)  
 
-AI95-00068/02   1999-09-15 --  Number of queuing policies defined
+AC95-00068/02   1999-09-15 --  Number of queuing policies defined
 
     Class: Presentation                Status: Corrigendum 2000  99-07-28
     RM References:  D.04 (01)  
 
-AI95-00069/03   2000-01-25 --  One queuing policy per partition
+AC95-00069/03   2000-01-25 --  One queuing policy per partition
 
     Class: Confirmation                Status: Records of Response 2000  00-01-25
     RM References:  D.04 (15)  
 
-AI95-00070/02   2000-06-19 --  Incorrect picture string example
+AC95-00070/02   2000-06-19 --  Incorrect picture string example
 
     Class: Presentation                Status: Corrigendum 2000  99-07-28
     RM References:  F.03.02 (74)  
 
-AI95-00071/04   2000-06-19 --  Correction to the Valid function in COBOL interface
+AC95-00071/04   2000-06-19 --  Correction to the Valid function in COBOL interface
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  B.04 (63-65)  
 
-AI95-00072/04   2000-04-11 --  Clarification of result length for conversions in COBOL interface
+AC95-00072/04   2000-04-11 --  Clarification of result length for conversions in COBOL interface
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  B.04 (71)   B.04 (79)   B.04 (87)  
 
-AI95-00073/01   1999-05-28 --  Pragmas are allowed in generic_formal_parts.
+AC95-00073/01   1999-05-28 --  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/02   1999-05-28 --  Pragma Inline Requires an Argument
+AC95-00074/02   1999-05-28 --  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/03   1999-07-08 --  String literal constraint ramification is correct.
+AC95-00076/03   1999-07-08 --  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/04   2000-01-25 --  Separate compilation of generic bodies
+AC95-00077/04   2000-01-25 --  Separate compilation of generic bodies
     Priority: Medium               Difficulty: Medium
     Class: Confirmation                Status: Records of Response 2000  00-01-25
     RM References:  10.01.04 (03)  
 
-AI95-00078/03   1999-07-08 --  semantic dependence on illegal or obsolete units
+AC95-00078/03   1999-07-08 --  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-00081/02   2000-04-11 --  Integer_Text_IO, etc. not listed in A(2)
+AC95-00081/02   2000-04-11 --  Integer_Text_IO, etc. not listed in A(2)
 
     Class: Presentation                Status: Corrigendum 2000  99-07-28
     RM References:  A (02)  
 
-AI95-00082/03   2000-04-11 --  The PCS may be defined by the user
+AC95-00082/03   2000-04-11 --  The PCS may be defined by the user
 
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-08
     RM References:  E.04 (20)   E.05 (24)  
 
-AI95-00083/07   2000-07-13 --  Aggregates of a controlled type
+AC95-00083/07   2000-07-13 --  Aggregates of a controlled type
 
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  7.06 (17)   7.06 (21)  
 
-AI95-00084/03   1999-07-08 --  Questions about Generic_Elementary_Functions
+AC95-00084/03   1999-07-08 --  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
+AC95-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/06   2000-07-07 --  Passing generic formal packages with (<>)
+AC95-00086/06   2000-07-07 --  Passing generic formal packages with (<>)
     Priority: Medium               Difficulty: Hard
     Class: Confirmation                Status: Work Item     00-07-07
     RM References:  12.07 (0) (00)  
 
-AI95-00087/04   2000-01-25 --  Saving and restoring Current_Output
+AC95-00087/04   2000-01-25 --  Saving and restoring Current_Output
     Priority: Low                  Difficulty: Easy
     Class: Confirmation                Status: Records of Response 2000  00-01-25
     RM References:  A.10.03 (00)  
 
-AI95-00089/06   2000-04-11 --  Float_Random.Value, Discrete_Random.Value
+AC95-00089/06   2000-04-11 --  Float_Random.Value, Discrete_Random.Value
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  A.05.02 (40)  
 
-AI95-00090/04   1996-02-06 --  (Deleted)
+AC95-00090/04   1996-02-06 --  (Deleted)
 
     Class: Ramification                Status: Deleted       96-02-06
     RM References:  D.01 (22)  
 
-AI95-00091/02   1999-08-31 --  Pragma Locking_Policy cannot be in a program unit
+AC95-00091/02   1999-08-31 --  Pragma Locking_Policy cannot be in a program unit
 
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  D.03 (06)  
 
-AI95-00092/08   1999-09-15 --  Priority changes due to Set_Priority and Hold are not transitive
+AC95-00092/08   1999-09-15 --  Priority changes due to Set_Priority and Hold are not transitive
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  D.11 (05)   D.01 (21)   D.01 (22)  
 
-AI95-00093/06   2000-07-31 --  Float_Type'Small
+AC95-00093/06   2000-07-31 --  Float_Type'Small
 
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  4.01.04 (12)  
 
-AI95-00094/01   1999-07-08 --  Exponentiation: 0.0 ** 0.0 raises Argument_Error.
+AC95-00094/01   1999-07-08 --  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/05   2000-07-13 --  Modular types on one's complement machines
+AC95-00095/05   2000-07-13 --  Modular types on one's complement machines
     Priority: High                 Difficulty: Medium
     Class: Ramification                Status: Corrigendum 2000  99-05-25
     RM References:  3.05.04 (07)   3.05.04 (27)  
 
-AI95-00096/03   1999-07-08 --  sparse case statements
+AC95-00096/03   1999-07-08 --  sparse case statements
     Priority: Low                  Difficulty: Easy
     Class: Confirmation                Status: WG9_Approved  98-06-12
     RM References:  5.04 (00)  
 
-AI95-00097/07   2000-01-25 --  Conversions between access types with different representations
+AC95-00097/07   2000-01-25 --  Conversions between access types with different representations
     Priority: High                 Difficulty: Medium
     Class: Confirmation                Status: Records of Response 2000  00-01-25
     RM References:  4.06 (47)  
 
-AI95-00098/02   1999-08-31 --  unknown_discriminant_parts on generic formal types
+AC95-00098/02   1999-08-31 --  unknown_discriminant_parts on generic formal types
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  3.07 (08)   12.05 (10)  
 
-AI95-00099/02   1999-07-08 --  Accuracy requirements for elementary functions
+AC95-00099/02   1999-07-08 --  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
+AC95-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/06   1999-09-15 --  Abort_Task has a parameter of mode 'in'
+AC95-00101/06   1999-09-15 --  Abort_Task has a parameter of mode 'in'
 
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  C.07.01 (03)  
 
-AI95-00102/02   1999-05-28 --  A generic formal limited private type can have an access discriminant.
+AC95-00102/02   1999-05-28 --  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/04   2000-01-25 --  Storage pools and access types designating task types
+AC95-00103/04   2000-01-25 --  Storage pools and access types designating task types
     Priority: Medium               Difficulty: Medium
     Class: Confirmation                Status: Records of Response 2000  00-01-25
     RM References:  13.11 (00)  
 
-AI95-00104/08   1999-09-15 --  Version and Body_Version attributes
+AC95-00104/08   1999-09-15 --  Version and Body_Version attributes
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  E.03 (05)  
 
-AI95-00105/04   1999-05-27 --  extra negative value
+AC95-00105/04   1999-05-27 --  extra negative value
     Priority: Medium               Difficulty: Medium
     Class: Confirmation                Status: WG9_Approved  98-06-12
     RM References:  3.05.04 (09)  
 
-AI95-00106/10   2000-07-11 --  Freezing rules
+AC95-00106/10   2000-07-11 --  Freezing rules
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  13.14 (06)   13.14 (08)   13.14 (11)   13.14 (04)  
 
-AI95-00107/06   1999-05-28 --  Base attribute for non-scalar subtypes?
+AC95-00107/06   1999-05-28 --  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/08   2000-07-31 --  Inheritance of stream attributes for type extensions
+AC95-00108/08   2000-07-31 --  Inheritance of stream attributes for type extensions
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-06-02
     RM References:  13.13.02 (09)   13.13.02 (27)   13.13.02 (36)  
 
-AI95-00109/07   1999-11-29 --  Size and Alignment Attributes for Subtypes
+AC95-00109/07   1999-11-29 --  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/04   1999-05-27 --  No Constraint Check on 'out' Parameter of an Access Type
+AC95-00110/04   1999-05-27 --  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-00111/03   2000-04-11 --  Accept body not defined
+AC95-00111/03   2000-04-11 --  Accept body not defined
 
     Class: Presentation                Status: Corrigendum 2000  99-07-28
     RM References:  D.11 (18)   J.07.01 (16)   J.07.01 (20)  
 
-AI95-00112/04   1999-05-27 --  Wide_String file names
+AC95-00112/04   1999-05-27 --  Wide_String file names
     Priority: Low                  Difficulty: Medium
     Class: Confirmation                Status: WG9_Approved  96-12-07
     RM References:  A.11 (00)  
 
-AI95-00113/04   1999-09-13 --  Exception raised by Month, Day, Seconds in Ada.Calendar?
+AC95-00113/04   1999-09-13 --  Exception raised by Month, Day, Seconds in Ada.Calendar?
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-20
     RM References:  9.06 (26)  
 
-AI95-00114/00   2000-08-31 --  Editorial Comments on AARM
+AC95-00114/00   2000-08-31 --  Editorial Comments on AARM
     Priority: Low                  Difficulty: Hard
     Class: Confirmation                Status: Work Item     96-04-10
     RM References:  12.03 (11)  
 
-AI95-00115/03   2000-07-13 --  Controlled types in language-defined generic packages
+AC95-00115/03   2000-07-13 --  Controlled types in language-defined generic packages
     Priority: High                 Difficulty: Medium
     Class: Confirmation                Status: Records of Response 2000  00-01-24
     RM References:  3.09.01 (03)   7.06 (04)   A (00)  
 
-AI95-00116/05   2000-06-21 --  Elaboration of a task with no task_definition
+AC95-00116/05   2000-06-21 --  Elaboration of a task with no task_definition
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  9.01 (09)  
 
-AI95-00117/08   2000-04-11 --  Calling conventions
+AC95-00117/08   2000-04-11 --  Calling conventions
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  3.09.02 (10)   6.03.01 (13)   13.01 (11)   B.01 (28)  
 
-AI95-00118/05   2000-04-11 --  Termination signals query of Terminate attribute
+AC95-00118/05   2000-04-11 --  Termination signals query of Terminate attribute
     Priority: Medium               Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  9.10 (06)  
 
-AI95-00119/05   2000-07-13 --  Is normal termination an "external interaction"?
+AC95-00119/05   2000-07-13 --  Is normal termination an "external interaction"?
     Priority: Low                  Difficulty: Hard
     Class: Ramification                Status: Records of Response 2000  00-01-24
     RM References:  1.01.03 (15)  
 
-AI95-00120/05   1999-05-28 --  What is the minimal upper bound of type Integer?
+AC95-00120/05   1999-05-28 --  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/06   2000-04-11 --  Pragma Attach_Handler on nested objects
+AC95-00121/06   2000-04-11 --  Pragma Attach_Handler on nested objects
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  C.03.01 (07)   C.03.01 (12)   C.03.01 (14)  
 
-AI95-00122/03   1999-05-28 --  Use_type_clause where First Subtype is not Directly Visible
+AC95-00122/03   1999-05-28 --  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/12   2000-08-17 --  Equality for composite types
+AC95-00123/12   2000-08-17 --  Equality for composite types
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  4.05.02 (24)   4.05.02 (32)  
 
-AI95-00124/04   1999-08-31 --  The AE characters are allowed in identifiers
+AC95-00124/04   1999-08-31 --  The AE characters are allowed in identifiers
     Priority: High                 Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  1.02 (08)   2.01 (08)  
 
-AI95-00125/04   2000-07-12 --  Order of Size and Small clauses for fixed point types
+AC95-00125/04   2000-07-12 --  Order of Size and Small clauses for fixed point types
     Priority: Medium               Difficulty: Medium
     Class: Confirmation                Status: Records of Response 2000  00-01-25
     RM References:  13.03 (55)  
 
-AI95-00126/11   2000-07-13 --  Classification of language-defined packages
+AC95-00126/11   2000-07-13 --  Classification of language-defined packages
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-20
     RM References:  E.02.02 (08)   7.06 (04)   A.05.01 (09)   G.01.01 (25)   G.01.02 (09)  
 
-AI95-00127/10   2000-07-31 --  Expected type of a 'Access attribute
+AC95-00127/10   2000-07-31 --  Expected type of a 'Access attribute
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  3.09.02 (07)   3.09.02 (09)   3.10.02 (24)   3.10.02 (27)   4.08 (03)  
 
-AI95-00128/08   2000-07-31 --  String packages
+AC95-00128/08   2000-07-31 --  String packages
     Priority: High                 Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-08-13
     RM References:  A.04.03 (68)   A.04.04 (101)   A.04.04 (102-105)   A.04.05 (86-87)   A.04.03 (2,74)  
 
-AI95-00129/03   1999-05-28 --  Discriminant Inheritance for Private Extensions
+AC95-00129/03   1999-05-28 --  Discriminant Inheritance for Private Extensions
     Priority: Low                  Difficulty: Medium
     Class: Confirmation                Status: WG9_Approved  98-06-12
     RM References:  7.03 (10)  
 
-AI95-00130/07   2000-04-11 --  Enforcing Restrictions might violate the generic contract model
+AC95-00130/07   2000-04-11 --  Enforcing Restrictions might violate the generic contract model
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-20
     RM References:  13.12 (08)   13.12 (09)   D.07 (04)   H.04 (08)  
 
-AI95-00131/11   2000-04-11 --  Interface to C -- passing records as parameters of mode 'in'
+AC95-00131/11   2000-04-11 --  Interface to C -- passing records as parameters of mode 'in'
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-20
     RM References:  B.01 (01)   B.01 (13-18)   B.01 (60-61)   B.01 (68-69)  
 
-AI95-00132/06   2000-07-12 --  Exception raised at end of stream
+AC95-00132/06   2000-07-12 --  Exception raised at end of stream
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  13.13.01 (08)   13.13.02 (35)   A.13 (13)  
 
-AI95-00133/02   1998-03-27 --  controlling bit ordering
+AC95-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/02   1999-05-27 --  Source Representation
+AC95-00134/02   1999-05-27 --  Source Representation
     Priority: Medium               Difficulty: Easy
     Class: Confirmation                Status: WG9_Approved  96-12-07
     RM References:  2.01 (18)  
 
-AI95-00135/05   2000-07-13 --  Circular renamings as body
+AC95-00135/05   2000-07-13 --  Circular renamings as body
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-08-13
     RM References:  8.05.04 (05)   8.05.04 (08)  
 
-AI95-00136/06   1999-08-31 --  Placement of program unit pragmas in generic packages
+AC95-00136/06   1999-08-31 --  Placement of program unit pragmas in generic packages
     Priority: Medium               Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-27
     RM References:  10.01.05 (05)  
 
-AI95-00137/08   2000-08-31 --  Attribute definition clause for stream attributes
+AC95-00137/08   2000-08-31 --  Attribute definition clause for stream attributes
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  13.01 (10-11)  
 
-AI95-00138/03   1999-05-28 --  Null String Literals when the Index Type is Modular
+AC95-00138/03   1999-05-28 --  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/03   1999-08-31 --  Interfaces.C.Strings.Value raises Constraint_Error when Length is 0
+AC95-00139/03   1999-08-31 --  Interfaces.C.Strings.Value raises Constraint_Error when Length is 0
     Priority: Medium               Difficulty: Easy
     Class: Ramification                Status: Corrigendum 2000  99-06-02
     RM References:  B.03.01 (36)  
 
-AI95-00140/06   2000-07-11 --  Semantics of Interfaces.C.Strings.To_Char_Ptr when Nul_Check is False
+AC95-00140/06   2000-07-11 --  Semantics of Interfaces.C.Strings.To_Char_Ptr when Nul_Check is False
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-27
     RM References:  B.03.01 (24)  
 
-AI95-00141/07   1999-05-27 --  Exceptions in Interfaces.C and its Children
+AC95-00141/07   1999-05-27 --  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-00142/01   1999-08-31 --  Incorrect example for Interfaces.C.Pointers
+AC95-00142/01   1999-08-31 --  Incorrect example for Interfaces.C.Pointers
 
     Class: Presentation                Status: Corrigendum 2000  99-07-28
     RM References:  B.03.02 (49)  
 
-AI95-00143/04   1999-05-27 --  Distinct Names for Compilation Units
+AC95-00143/04   1999-05-27 --  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
+AC95-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/04   2000-07-13 --  Profile of predefined operators for scalar types
+AC95-00145/04   2000-07-13 --  Profile of predefined operators for scalar types
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  3.05 (15)   8.05.04 (05)   A.01 (07)   A.01 (09-10)  
 
-AI95-00146/00   1997-11-14 --  Controlled Components are Finalized
+AC95-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/07   1999-07-27 --  Optimization of Controlled Types
+AC95-00147/07   1999-07-27 --  Optimization of Controlled Types
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Work Item     99-04-20
     RM References:  7.06 (21)  
 
-AI95-00148/01   2000-02-14 --  Requeue of protected entry calls
+AC95-00148/01   2000-02-14 --  Requeue of protected entry calls
     Priority: Low                  Difficulty: Easy
     Class: Confirmation                Status: Work Item     00-02-14
     RM References:  9.05.04 (07)  
 
-AI95-00149/04   2000-10-04 --  Miscellaneous Confirmations
+AC95-00149/04   2000-10-04 --  Miscellaneous Confirmations
     Priority: Low                  Difficulty: Easy
     Class: Confirmation                Status: Received      96-09-04
     RM References:  8.06 (12)  
 
-AI95-00150/07   1999-10-07 --  Uniqueness of component names
+AC95-00150/07   1999-10-07 --  Uniqueness of component names
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-08-13
     RM References:  8.03 (26)  
 
-AI95-00151/03   1999-08-31 --  Bounds of string returned by Ada.Strings.Maps.To_Range
+AC95-00151/03   1999-08-31 --  Bounds of string returned by Ada.Strings.Maps.To_Range
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-27
     RM References:  A.04.02 (63)  
 
-AI95-00152/06   2000-01-25 --  Operators not inherited from root numeric types
+AC95-00152/06   2000-01-25 --  Operators not inherited from root numeric types
     Priority: Medium               Difficulty: Medium
     Class: Confirmation                Status: Records of Response 2000  00-01-25
     RM References:  4.05.05 (17)  
 
-AI95-00153/03   1999-09-15 --  Picture string grammar or composition rules need tightening
+AC95-00153/03   1999-09-15 --  Picture string grammar or composition rules need tightening
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  F.03.01 (04-38)   F.03.01 (01)   F.03.01 (43)  
 
-AI95-00155/02   1996-09-15 --  (Deleted)
+AC95-00155/02   1996-09-15 --  (Deleted)
 
     Class: Ramification                Status: Deleted       96-09-15
     RM References:  13.13.02 (00)  
 
-AI95-00156/07   2000-07-31 --  Polar implementation of complex exponentiation for negative exponents
+AC95-00156/07   2000-07-31 --  Polar implementation of complex exponentiation for negative exponents
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-27
     RM References:  G.01.01 (55)  
 
-AI95-00157/06   2000-07-13 --  Visibility of inherited private components
+AC95-00157/06   2000-07-13 --  Visibility of inherited private components
     Priority: High                 Difficulty: Hard
     Class: Ramification                Status: Records of Response 2000  00-01-24
     RM References:  7.03 (15)  
 
-AI95-00158/01   1997-08-19 --  T'Class as generic actual type
+AC95-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/07   2000-05-30 --  Shared variables in Shared_Passive?
+AC95-00159/07   2000-05-30 --  Shared variables in Shared_Passive?
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-20
     RM References:  9.10 (00)   E.04 (20)  
 
-AI95-00160/04   2000-07-12 --  Daylight savings and Ada.Calendar
+AC95-00160/04   2000-07-12 --  Daylight savings and Ada.Calendar
     Priority: Medium               Difficulty: Medium
     Class: Confirmation                Status: Records of Response 2000  00-01-25
     RM References:  9.06 (24)  
 
-AI95-00161/05   1999-09-23 --  Default-initialized objects
+AC95-00161/05   1999-09-23 --  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
+AC95-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/05   2000-07-07 --  User-defined fixed,fixed multiplying op
+AC95-00163/05   2000-07-07 --  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/07   2000-09-26 --  Definition of remote access type
+AC95-00164/07   2000-09-26 --  Definition of remote access type
     Priority: High                 Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  E.02.02 (09)  
 
-AI95-00165/08   2000-06-19 --  Recursive use of task attributes
+AC95-00165/08   2000-06-19 --  Recursive use of task attributes
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  C.07.02 (13)   C.07.02 (15)   C.07.02 (16)  
 
-AI95-00166/05   2000-04-11 --  Parameterless_Handler values designating default treatment
+AC95-00166/05   2000-04-11 --  Parameterless_Handler values designating default treatment
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  C.03.02 (16)   C.03.02 (18)  
 
-AI95-00167/01   1998-03-18 --  Scalar unchecked conversion is never erroneous
+AC95-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/09   2000-09-25 --  Aliased objects cannot have discriminants modified
+AC95-00168/09   2000-09-25 --  Aliased objects cannot have discriminants modified
     Priority: Medium               Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  4.06 (12)   3.07.01 (07)  
 
-AI95-00169/06   2000-08-18 --  Exceptions raised by Adjust/Finalize -- missing cases
+AC95-00169/06   2000-08-18 --  Exceptions raised by Adjust/Finalize -- missing cases
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  7.06.01 (13)   7.06.01 (14)   7.06.01 (17)  
 
-AI95-00170/02   1999-07-27 --  Can an attribute defined in an annex be set in an attribute definition clause?
+AC95-00170/02   1999-07-27 --  Can an attribute defined in an annex be set in an attribute definition clause?
     Priority: Low                  Difficulty: Easy
     Class: Confirmation                Status: WG9_Approved  99-06-12
     RM References:  13.03 (05)  
 
-AI95-00171/09   2000-07-13 --  Elaboration of subtype_indications with per-object constraints
+AC95-00171/09   2000-07-13 --  Elaboration of subtype_indications with per-object constraints
     Priority: Low                  Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-08-17
     RM References:  3.08 (18)   3.03.01 (18)   3.06 (22)   4.03.01 (19)   4.08 (10)   9.04 (14)   9.05.02 (22)  
 
-AI95-00172/03   2000-08-18 --  Questions about main subprograms
+AC95-00172/03   2000-08-18 --  Questions about main subprograms
     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
+AC95-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/01   2000-11-28 --  Are 'Read and 'Write guaranteed to be "inverses" for predefined types?
+AC95-00174/01   2000-11-28 --  Are 'Read and 'Write guaranteed to be "inverses" for predefined types?
     Priority: Low                  Difficulty: Easy
     Class: Confirmation                Status: Deleted       00-11-28
     RM References:  13.13.02 (09)  
 
-AI95-00175/04   2000-07-31 --  Full conformance of expressions with attributes
+AC95-00175/04   2000-07-31 --  Full conformance of expressions with attributes
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-06-25
     RM References:  6.03.01 (19)   6.03.01 (21)  
 
-AI95-00176/05   1999-08-31 --  Access_Check is performed for access discriminants
+AC95-00176/05   1999-08-31 --  Access_Check is performed for access discriminants
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-27
     RM References:  11.05 (11)  
 
-AI95-00177/04   1999-09-15 --  Interfaces.C.Strings.Value with Length returning String
+AC95-00177/04   1999-09-15 --  Interfaces.C.Strings.Value with Length returning String
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-27
     RM References:  B.03.01 (40)  
 
-AI95-00178/01   1999-09-18 --  Which I/O operations are potentially blocking?
+AC95-00178/01   1999-09-18 --  Which I/O operations are potentially blocking?
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     99-09-18
     RM References:  9.05.01 (18)  
 
-AI95-00179/05   2000-07-12 --  Finalization and Unchecked_Deallocation
+AC95-00179/05   2000-07-12 --  Finalization and Unchecked_Deallocation
     Priority: High                 Difficulty: Medium
     Class: Confirmation                Status: Records of Response 2000  00-01-24
     RM References:  7.06.01 (17)  
 
-AI95-00180/06   2000-07-12 --  Pragma Elaborate for child units
+AC95-00180/06   2000-07-12 --  Pragma Elaborate for child units
     Priority: Medium               Difficulty: Easy
     Class: Confirmation                Status: Records of Response 2000  00-01-25
     RM References:  10.01.02 (06)  
 
-AI95-00181/03   1999-08-31 --  Components of Stream_Element_Array should be aliased
+AC95-00181/03   1999-08-31 --  Components of Stream_Element_Array should be aliased
     Priority: High                 Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-05-27
     RM References:  13.13.01 (04)   13.13.01 (09)  
 
-AI95-00182/05   1999-10-07 --  Extension aggregates with controlled subcomponents
+AC95-00182/05   1999-10-07 --  Extension aggregates with controlled subcomponents
     Priority: High                 Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  7.06 (11)   7.06.01 (13)  
 
-AI95-00183/04   2000-01-25 --  Primitive operations declared before it is known if the type is tagged
+AC95-00183/04   2000-01-25 --  Primitive operations declared before it is known if the type is tagged
     Priority: High                 Difficulty: Medium
     Class: Confirmation                Status: Records of Response 2000  00-01-25
     RM References:  3.09.02 (01)  
 
-AI95-00184/08   2000-07-13 --  Definiteness and type derivation
+AC95-00184/08   2000-07-13 --  Definiteness and type derivation
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  4.06 (05)   4.06 (54)   8.05.01 (05)  
 
-AI95-00185/01   1999-09-18 --  Branch cuts of inverse trigonometric and hyperbolic functions
+AC95-00185/01   1999-09-18 --  Branch cuts of inverse trigonometric and hyperbolic functions
     Priority: Medium               Difficulty: Hard
     Class: Binding Interpretation      Status: Work Item     99-09-18
     RM References:  G.01.02 (15)  
 
-AI95-00186/02   1999-03-21 --  Range of root_integer
+AC95-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
+AC95-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
+AC95-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/01   2000-11-17 --  The meaning of the terms "processor", "multiprocessor", and "processing node"
+AC95-00189/01   2000-11-17 --  The meaning of the terms "processor", "multiprocessor", and "processing node"
     Priority: Medium               Difficulty: Medium
     Class: Confirmation                Status: No_Action      00-11-17
     RM References:  E (02)  
 
-AI95-00190/05   1999-10-08 --  Compile-time enforcement of pragma Restrictions
+AC95-00190/05   1999-10-08 --  Compile-time enforcement of pragma Restrictions
     Priority: Medium               Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  13.12 (09)   D.07 (15)  
 
-AI95-00191/01   2000-11-28 --  Are formal parameters passed by reference objects or views?
+AC95-00191/01   2000-11-28 --  Are formal parameters passed by reference objects or views?
     Priority: Low                  Difficulty: Easy
     Class: Ramification                Status: No_Action      00-11-17
     RM References:  3.03 (04)  
 
-AI95-00192/06   2000-04-11 --  A library subprogram_body should replace, not complete, an instance
+AC95-00192/06   2000-04-11 --  A library subprogram_body should replace, not complete, an instance
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-08
     RM References:  6.03 (04)   10.01.04 (04)  
 
-AI95-00193/06   1999-09-15 --  Initialize, Adjust, and exceptions
+AC95-00193/06   1999-09-15 --  Initialize, Adjust, and exceptions
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  7.06.01 (04)   7.06.01 (16)  
 
-AI95-00194/02   1999-08-31 --  Error in Standard_Error definition
+AC95-00194/02   1999-08-31 --  Error in Standard_Error definition
     Priority: Medium               Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  A.10.03 (12)  
 
-AI95-00195/07   2000-11-14 --  Streams
+AC95-00195/07   2000-11-14 --  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
+AC95-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/04   1999-11-18 --  (Deleted)
+AC95-00197/04   1999-11-18 --  (Deleted)
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Deleted       99-11-18
     RM References:  7.06 (21)  
 
-AI95-00198/02   1999-07-28 --  pragma Convention(Intrinsic) is not a completion
+AC95-00198/02   1999-07-28 --  pragma Convention(Intrinsic) is not a completion
     Priority: Low                  Difficulty: Easy
     Class: Confirmation                Status: WG9_Approved  99-06-12
     RM References:  6.03.01 (11)  
 
-AI95-00199/07   2000-04-13 --  (Deleted)
+AC95-00199/07   2000-04-13 --  (Deleted)
     Priority: High                 Difficulty: Hard
     Class: Binding Interpretation      Status: Deleted       00-04-13
     RM References:  10.01.05 (07)  
 
-AI95-00200/01   1999-03-14 --  Generic formal subprograms as dispatching operations
+AC95-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
+AC95-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/05   2000-07-13 --  Primitives of formal type derived from another formal type
+AC95-00202/05   2000-07-13 --  Primitives of formal type derived from another formal type
     Priority: Medium               Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  12.05.01 (21)  
 
-AI95-00203/04   1999-10-06 --  S'Digits when T'Machine_Radix is 10
+AC95-00203/04   1999-10-06 --  S'Digits when T'Machine_Radix is 10
     Priority: Medium               Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  3.05.08 (02)  
 
-AI95-00204/02   1999-09-24 --  Interfaces.Fortran must be absent, right?
+AC95-00204/02   1999-09-24 --  Interfaces.Fortran must be absent, right?
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     99-02-02
     RM References:  B.05 (00)  
 
-AI95-00205/02   1999-08-31 --  Priority changes in abortable part
+AC95-00205/02   1999-08-31 --  Priority changes in abortable part
     Priority: Medium               Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  D.04 (10)   D.04 (11)  
 
-AI95-00206/05   2000-07-07 --  Ada.Task_Identification.Is_Callable for the environment task
+AC95-00206/05   2000-07-07 --  Ada.Task_Identification.Is_Callable for the environment task
     Priority: Medium               Difficulty: Easy
     Class: Ramification                Status: Records of Response 2000  00-01-24
     RM References:  C.07.01 (10)  
 
-AI95-00207/05   2000-07-10 --  Only the current unit is affected by pragma Inspection_Point
+AC95-00207/05   2000-07-10 --  Only the current unit is affected by pragma Inspection_Point
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  H.03.02 (5)   H.03.02 (8)  
 
-AI95-00208/05   1999-08-31 --  What is the meaning of "same representation" in all partitions?
+AC95-00208/05   1999-08-31 --  What is the meaning of "same representation" in all partitions?
     Priority: Medium               Difficulty: Hard
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  E.02 (13)  
 
-AI95-00209/02   2000-11-13 --  pragma Reviewable; can objects become uninitialized?
+AC95-00209/02   2000-11-13 --  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/03   1999-07-28 --  Questions on pragma Restriction No_Recursion and No_Reentrancy
+AC95-00210/03   1999-07-28 --  Questions on pragma Restriction No_Recursion and No_Reentrancy
     Priority: Medium               Difficulty: Easy
     Class: Confirmation                Status: WG9_Approved  99-06-12
     RM References:  H.04 (24)   H.04 (27)  
 
-AI95-00211/06   2000-07-12 --  Can an abstract subprogram be renamed?
+AC95-00211/06   2000-07-12 --  Can an abstract subprogram be renamed?
     Priority: Medium               Difficulty: Easy
     Class: Ramification                Status: Records of Response 2000  00-01-24
     RM References:  8.05.04 (7)  
 
-AI95-00212/01   2000-11-13 --  Restrictions on configuration pragmas.
+AC95-00212/01   2000-11-13 --  Restrictions on configuration pragmas.
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     00-11-13
     RM References:  10.01.05 (09)  
 
-AI95-00213/06   2000-07-12 --  Formal object matching for formal packages
+AC95-00213/06   2000-07-12 --  Formal object matching for formal packages
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  12.07 (05)   12.07 (06)  
 
-AI95-00214/01   1999-01-29 --  Distinct Names for Compilation Units (again).
+AC95-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/02   1999-08-31 --  Returning remote class-wide values
+AC95-00215/02   1999-08-31 --  Returning remote class-wide values
     Priority: Medium               Difficulty: Easy
     Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  E.04 (18)  
 
-AI95-00216/03   2000-11-15 --  Unchecked Unions -- Variant Records With No Run-Time Discriminant
+AC95-00216/03   2000-11-15 --  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/03   2000-04-13 --  Handling Mutually Dependent Type Definitions that Cross Packages
+AC95-00217/03   2000-04-13 --  Handling Mutually Dependent Type Definitions that Cross Packages
     Priority: High                 Difficulty: Hard
     Class: Amendment                   Status: Work Item     99-03-23
     RM References:  10.01.02 (01)   3.10.01 (02)  
 
-AI95-00218/03   1999-11-24 --  Accidental overloading when overriding
+AC95-00218/03   1999-11-24 --  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)  
 
-AI95-00219/01   1999-05-14 --  Conversions between related types.
+AC95-00219/01   1999-05-14 --  Conversions between related types.
     Priority: Medium               Difficulty: Easy
     Class: Binding Interpretation      Status: Work Item     99-05-14
     RM References:  4.06 (8-23)  
 
-AI95-00220/01   1999-05-27 --  Subprograms withing private compilation units
+AC95-00220/01   1999-05-27 --  Subprograms withing private compilation units
     Priority: High                 Difficulty: Easy
     Class: Binding Interpretation      Status: Work Item     99-05-27
     RM References:  10.01.02 (8)  
 
-AI95-00221/02   2000-04-12 --  Default_Bit_Order is static
+AC95-00221/02   2000-04-12 --  Default_Bit_Order is static
     Priority: Medium               Difficulty: Easy
     Class: Binding Interpretation      Status: ARG_Approved  8-0-0  00-03-31
     RM References:  13.07 (15)   13.07 (35)  
 
-AI95-00222/01   1999-06-25 --  Feature control
+AC95-00222/01   1999-06-25 --  Feature control
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     99-06-25
     RM References:  13.12 (1-11)  
 
-AI95-00223/02   2000-04-12 --  Line terminators are skipped by Get.
+AC95-00223/02   2000-04-12 --  Line terminators are skipped by Get.
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: ARG_Approved  5-0-2  00-03-31
     RM References:  A.10.06 (05)  
 
-AI95-00224/04   2000-11-03 --  pragma Unsuppress
+AC95-00224/04   2000-11-03 --  pragma Unsuppress
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     99-11-19
     RM References:  11.05 (1-8)   11.05 (27)  
 
-AI95-00225/01   1999-12-09 --  Aliased current instance for limited types
+AC95-00225/01   1999-12-09 --  Aliased current instance for limited types
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     99-12-09
     RM References:  3.10 (09)  
 
-AI95-00226/01   1999-12-09 --  Cyclic Elaboration Dependences
+AC95-00226/01   1999-12-09 --  Cyclic Elaboration Dependences
     Priority: Low                  Difficulty: Medium
     Class: Ramification                Status: Work Item     99-12-09
     RM References:  E.01 (10)  
 
-AI95-00227/04   2000-11-28 --  Behavior of Ada.Streams.Read when at the end of stream
+AC95-00227/04   2000-11-28 --  Behavior of Ada.Streams.Read when at the end of stream
     Priority: Medium               Difficulty: Easy
     Class: Binding Interpretation      Status: ARG_Approved  6-0-1  00-11-19
     RM References:  13.13.01 (4)   13.13.01 (5)   13.13.01 (8)  
 
-AI95-00228/00   2000-04-10 --  Premature use of "must be overridden" subprograms
+AC95-00228/00   2000-04-10 --  Premature use of "must be overridden" subprograms
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Received      00-04-10
     RM References:  3.09.03 (6)  
 
-AI95-00229/00   2000-04-10 --  Accessibility rules and generics
+AC95-00229/00   2000-04-10 --  Accessibility rules and generics
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Received      00-04-10
     RM References:  3.10.02 (32)  
 
-AI95-00230/01   2000-04-13 --  Implicit conversions between access types
+AC95-00230/01   2000-04-13 --  Implicit conversions between access types
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     00-04-13
     RM References:  10.01.02 (01)  
 
-AI95-00231/01   2000-04-13 --  Access-to-constant parameters
+AC95-00231/01   2000-04-13 --  Access-to-constant parameters
     Priority: Medium               Difficulty: Hard
     Class: Amendment                   Status: Work Item     00-04-13
     RM References:  3.10 (06)   3.10 (12)   4.06 (49)   8.06 (25)  
 
-AI95-00232/01   2000-04-13 --  Dispatching operation visibility and ambiguity
+AC95-00232/01   2000-04-13 --  Dispatching operation visibility and ambiguity
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: Work Item     00-04-13
     RM References:  10.01.02 (01)  
 
-AI95-00233/01   2000-10-03 --  Inheritance of components of generic formal derived types
+AC95-00233/01   2000-10-03 --  Inheritance of components of generic formal derived types
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     00-04-27
     RM References:  12.05 (08)   12.05.01 (20)   12.05.01 (21)  
 
-AI95-00234/02   2000-11-28 --  Unsigned integer types
+AC95-00234/02   2000-11-28 --  Unsigned integer types
     Priority: Low                  Difficulty: Hard
     Class: Amendment                   Status: No_Action     (9-0-1) 00-11-18
     RM References:  3.05.04 (00)  
 
-AI95-00235/04   2000-11-28 --  Resolving 'Access.
+AC95-00235/04   2000-11-28 --  Resolving 'Access.
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: ARG_Approved  8-0-3  00-11-19
     RM References:  3.10.02 (02)  
 
-AI95-00236/02   2000-11-19 --  Minimum criteria for metrics documentation
+AC95-00236/02   2000-11-19 --  Minimum criteria for metrics documentation
     Priority: Low                  Difficulty: Medium
     Class: Confirmation                Status: ARG_Approved  8-1-0  00-11-19
     RM References:  D (02)  
 
-AI95-00237/02   2000-06-01 --  Finalization of task attributes
+AC95-00237/02   2000-06-01 --  Finalization of task attributes
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     00-06-01
     RM References:  C.07.02 (17)  
 
-AI95-00238/00   2000-07-10 --  What is the lower bound of Ada.Strings.Bounded.Slice?
+AC95-00238/00   2000-07-10 --  What is the lower bound of Ada.Strings.Bounded.Slice?
     Priority: Low                  Difficulty: Medium
     Class: Confirmation                Status: Work Item     00-07-10
     RM References:  D (02)  
 
-AI95-00239/01   2000-07-20 --  Controlling inherited default expressions
+AC95-00239/01   2000-07-20 --  Controlling inherited default expressions
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     00-07-20
     RM References:  3.09.02 (18)  
 
-AI95-00240/01   2000-10-04 --  Stream attributes for limited types in Annex E
+AC95-00240/01   2000-10-04 --  Stream attributes for limited types in Annex E
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     00-10-04
     RM References:  E.02.02 (8)   E.02.02 (14)   E.02.03 (14)  
 
-AI95-00241/01   2000-10-04 --  Testing for Null_Occurrence
+AC95-00241/01   2000-10-04 --  Testing for Null_Occurrence
     Priority: Medium               Difficulty: Easy
     Class: Amendment                   Status: Work Item     00-10-04
     RM References:  11.04.01 (3)  
 
-AI95-00242/01   2000-10-04 --  Surprise behavior of Update
+AC95-00242/01   2000-10-04 --  Surprise behavior of Update
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     00-10-04
     RM References:  B.03.01 (18)   B.03.01 (19)   B.03.01 (43)   B.03.01 (45)   B.03.01 (46)   B.03.01 (47)   B.03.01 (48)   B.03.01 (49)   B.03.01 (50)  
 
-AI95-00243/01   2000-10-04 --  Is a subunit of a subunit of L also a subunit of L?
+AC95-00243/01   2000-10-04 --  Is a subunit of a subunit of L also a subunit of L?
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     00-10-04
     RM References:  10.01.03 (8)  
 
-AI95-00244/01   2000-10-30 --  Legal units which depend on illegal units
+AC95-00244/01   2000-10-30 --  Legal units which depend on illegal units
     Priority: Low                  Difficulty: Easy
     Class: Binding Interpretation      Status: Received      00-10-30
     RM References:  10.01.04 (05)   10.01.04 (06)  
 
-AI95-00245/01   2000-10-30 --  Consistency of inlined calls
+AC95-00245/01   2000-10-30 --  Consistency of inlined calls
     Priority: Low                  Difficulty: Medium
     Class: Confirmation                Status: Work Item     00-10-30
     RM References:  10.01.04 (07)  
 
-AI95-00246/02   2000-11-07 --  View conversions between arrays of a by-reference type
+AC95-00246/02   2000-11-07 --  View conversions between arrays of a by-reference type
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     00-10-31
     RM References:  4.06 (12)  
 
-AI95-00247/00   2000-11-01 --  Alignment of composite types
+AC95-00247/00   2000-11-01 --  Alignment of composite types
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     00-11-01
     RM References:  13.03 (26)  
 
-AI95-00248/01   2000-11-28 --  Directory Operations
+AC95-00248/01   2000-11-28 --  Directory Operations
     Priority: Medium               Difficulty: Easy
     Class: Amendment                   Status: Work Item     00-11-28
     RM References:  A.15 (00)  
+
+AC95-00249/01   2000-12-04 --  Ravenscar Profile for High-Integrity Systems
+    Priority: High                 Difficulty: Medium
+    Class: Amendment                   Status: Work Item     00-12-04
+    RM References:  D.02.02 (5)   D.07 (00)  
+
+AC95-00250/01   2000-11-21 --  Protected Types, Extensible, Tagged, Abstract
+    Priority: Medium               Difficulty: Hard
+    Class: Amendment                   Status: Work Item     00-12-04
+    RM References:  9.04 (04)   9.05.02 (02)  
+
+AC95-00251/01   2000-12-04 --  Tagged Types, Abstract Interface, Multiple Inheritance
+    Priority: High                 Difficulty: Hard
+    Class: Amendment                   Status: Work Item     00-12-04
+    RM References:  3.04 (02)   3.09.01 (02)  
+
+AC95-00252/01   2000-12-04 --  Tagged Types, Object.Operation Notation, Object-Oriented Programming
+    Priority: High                 Difficulty: Hard
+    Class: Amendment                   Status: Work Item     00-12-04
+    RM References:  4.01.03 (05)  
+
+AC95-00253/01   2000-12-06 --  The legality rules for pragmas Attach_Handler and Interrupt_Handler are similar
+
+    Class: Binding Interpretation      Status: Work Item     00-12-06
+    RM References:  C.03.01 (08)  
+
+AC95-00254/00   2000-12-06 --  Downward closures for access to subprogram types
+    Priority: Low                  Difficulty: Hard
+    Class: Amendment                   Status: Received      00-12-06
+    RM References:  3.10 (11)  
 

Questions? Ask the ACAA Technical Agent