CVS difference for ais/ai-summary.txt

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

--- ais/ai-summary.txt	1999/07/28 00:08:45	1.42
+++ ais/ai-summary.txt	1999/07/29 00:51:02	1.43
@@ -3,22 +3,22 @@
 
 AI95-00001/06   1999-07-20 --  Ada.Streams.Stream_IO.Stream can raise Status_Error
 
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-06-02
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-06-02
     RM References:  A.12.01 (29)   13.13.01 (08)   13.13.01 (09)  
 
 AI95-00002/03   1999-06-24 --  Subunits of a preelaborated subprogram
 
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-24
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  10.02.01 (11)  
 
 AI95-00003/01   1999-07-07 --  Access types declared in shared passive generic packages
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-24
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  E.02.01 (07)  
 
 AI95-00004/06   1999-07-07 --  Conversions to types derived from remote access types
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-24
+    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
@@ -28,12 +28,12 @@
 
 AI95-00007/01   1999-06-25 --  Typo: Enumeration_IO would allow instantiation for an [float] {integer} type
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-24
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  A.10.10 (17)  
 
 AI95-00012/03   1999-06-24 --  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
+    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.
@@ -61,11 +61,21 @@
     Class: Confirmation                Status: WG9_Approved  95-06-14
     RM References:  A.12.02 (03)  
 
+AI95-00028/01   1999-07-28 --  Typo: "pragma" should be in boldface
+
+    Class: Presentation                Status: Corrigendum 2000  99-07-28
+    RM References:  G.01.01 (02)  
+
 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-00030/01   1999-07-28 --  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/03   1999-07-08 --  Unpacking a record type with primitive subprograms
     Priority: Low                  Difficulty: Easy
     Class: Confirmation                Status: WG9_Approved  96-12-07
@@ -76,9 +86,9 @@
     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
+AI95-00033/05   1999-07-28 --  delayed declaration of inherited primitive subprograms
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: WG9_Approved  96-12-07
+    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/03   1999-05-27 --  Unconstrained Formal types
@@ -91,14 +101,14 @@
     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?
+AI95-00036/04   1996-07-28 --  What are the rules for named notation in pragmas?
 
-    Class: Binding Interpretation      Status: WG9_Approved  95-06-14
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  2.08 (04)  
 
 AI95-00037/07   1999-07-09 --  In Interfaces.C, nul and wide_nul represent zero
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-24
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  B.03 (20)   B.03 (31)  
 
 AI95-00038/03   1999-07-08 --  Mapping between Interfaces.C.char and Standard.Character
@@ -108,7 +118,7 @@
 
 AI95-00039/03   1999-06-25 --  Effect of Update(Null_Ptr,...)
 
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-24
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  B.03.01 (44)  
 
 AI95-00040/05   1999-05-27 --  A box for a formal subprogram_default freezes the actual
@@ -118,7 +128,7 @@
 
 AI95-00041/09   1999-06-25 --  Program unit pragmas in generic units
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-24
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  8.03 (16)   8.03 (18)   10.01.05 (02)   10.01.05 (07)   12.03 (13)   12.03 (14)  
 
 AI95-00042/03   1999-07-08 --  use of incomplete types
@@ -126,14 +136,14 @@
     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
+AI95-00043/03   1999-07-28 --  Predefined Operators for Generic Formal Array Types
 
-    Class: Binding Interpretation      Status: WG9_Approved  95-06-14
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  12.05 (08)  
 
 AI95-00044/05   1999-07-20 --  Overriding by Implicit Declarations
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-20
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-20
     RM References:  8.03 (09)  
 
 AI95-00045/03   1999-07-08 --  Servicing of entry calls is part of a protected action
@@ -153,7 +163,7 @@
 
 AI95-00048/08   1999-07-07 --  An RCI unit can be a library subprogram
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-24
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  E.02.03 (07)  
 
 AI95-00049/03   1999-05-27 --  Reserved_128, etc.
@@ -163,7 +173,7 @@
 
 AI95-00050/03   1999-07-09 --  External files of Standard_Input and Standard_Output
 
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-24
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  A.10.03 (25)   A.14 (03)   A.10 (05)  
 
 AI95-00051/09   1999-03-22 --  Size and Alignment Clauses for Objects
@@ -193,7 +203,7 @@
 
 AI95-00057/03   1999-06-25 --  Text_IO.Flush should use IN mode
 
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-24
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  A.10.01 (21)  
 
 AI95-00058/07   1999-03-22 --  Accessibility Rules for Shared_Passive Packages
@@ -213,17 +223,17 @@
 
 AI95-00062/04   1999-07-20 --  Derived access types share the same pool
 
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-20
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-20
     RM References:  3.04 (31)  
 
 AI95-00063/05   1999-07-09 --  Erroneous execution for closing default files
     Priority: Low                  Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-24
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  A.10.03 (23)  
 
 AI95-00064/07   1999-06-25 --  Elaboration checks for renamings-as-body
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-24
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-24
     RM References:  3.11 (09)  
 
 AI95-00065/01   1995-09-05 --  (Deleted)
@@ -231,24 +241,39 @@
     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)
+AI95-00066/01   1999-07-28 --  Incorrect syntax in example -- remove "limited"
+
+    Class: Presentation                Status: Corrigendum 2000  99-07-28
+    RM References:  13.11 (39)  
+
+AI95-00067/03   1999-07-28 --  Pragma Restrictions(Max_Tasks, Max_Asynchronous_Select_Nesting)
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: WG9_Approved   97-11-14
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  D.07 (00)  
 
+AI95-00068/01   1999-07-28 --  "It also defines [one such policy]{two such policies}."
+
+    Class: Presentation                Status: Corrigendum 2000  99-07-28
+    RM References:  D.04 (01)  
+
 AI95-00069/02   1999-07-08 --  One queuing policy per partition.
 
     Class: Confirmation                Status: WG9_Approved  95-06-14
     RM References:  D.04 (15)  
 
+AI95-00070/01   1999-07-28 --  Incorrect Picture String Example
+
+    Class: Presentation                Status: Corrigendum 2000  99-07-28
+    RM References:  F.03.02 (74)  
+
 AI95-00071/03   1999-07-09 --  Correction to the Valid function in COBOL Interface
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-25
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  B.04 (63)  
 
 AI95-00072/03   1999-07-09 --  Clarification of result length for conversions in COBOL Interface
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-25
+    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.
@@ -276,14 +301,19 @@
     Class: Confirmation                Status: WG9_Approved  96-12-07
     RM References:  10.01.04 (05)  
 
+AI95-00081/01   1999-07-28 --  Integer_Text_IO, etc. not listed in A(2)
+
+    Class: Presentation                Status: Corrigendum 2000  99-07-28
+    RM References:  A (02)  
+
 AI95-00082/02   1999-07-08 --  The PCS may be defined by the user.
 
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-08
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-08
     RM References:  E.04 (20)  
 
-AI95-00083/02   1996-06-05 --  Aggregates of a controlled type
+AI95-00083/03   1999-07-28 --  Aggregates of a controlled type
 
-    Class: Binding Interpretation      Status: WG9_Approved  95-06-14
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  7.06 (21)  
 
 AI95-00084/03   1999-07-08 --  Questions about Generic_Elementary_Functions
@@ -296,7 +326,7 @@
     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 (<>)
+AI95-00086/04   1999-07-28 --  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)  
@@ -308,7 +338,7 @@
 
 AI95-00089/05   1999-07-09 --  Float_Random.Value, Discrete_Random.Value
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-25
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  A.05.02 (40)  
 
 AI95-00090/04   1996-02-06 --  (Deleted)
@@ -318,17 +348,17 @@
 
 AI95-00091/02   1999-07-20 --  Pragma Locking_Policy Cannot Be "In" a Program Unit
 
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-25
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  D.03 (06)  
 
 AI95-00092/06   1999-07-20 --  Priority changes due to Set_Priority and Hold are not transitive
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-25
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  D.11 (05)  
 
 AI95-00093/03   1999-07-27 --  Float_Type'Small
 
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-27
+    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.
@@ -338,7 +368,7 @@
 
 AI95-00095/03   1999-05-25 --  Modular types on one's complement machines.
     Priority: High                 Difficulty: Medium
-    Class: Ramification                Status: Corrigendum  2000 99-05-25
+    Class: Ramification                Status: Corrigendum 2000  99-05-25
     RM References:  3.05.04 (07)  
 
 AI95-00096/03   1999-07-08 --  sparse case statements
@@ -353,7 +383,7 @@
 
 AI95-00098/02   1999-06-24 --  unknown_discriminant_parts on generic formal types.
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-25
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  12.05 (08)  
 
 AI95-00099/02   1999-07-08 --  Accuracy requirements for elementary functions
@@ -368,7 +398,7 @@
 
 AI95-00101/05   1999-07-20 --  Abort_Task has a parameter of mode 'in'.
 
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-25
+    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.
@@ -383,7 +413,7 @@
 
 AI95-00104/07   1999-07-07 --  Version and Body_Version attributes
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-25
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  E.03 (04)  
 
 AI95-00105/04   1999-05-27 --  extra negative value
@@ -393,7 +423,7 @@
 
 AI95-00106/06   1999-06-25 --  Freezing Rules
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-25
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  13.14 (06)  
 
 AI95-00107/06   1999-05-28 --  Base attribute for non-scalar subtypes?
@@ -403,7 +433,7 @@
 
 AI95-00108/03   1999-06-25 --  Inheritance of Stream Attributes for Type Extensions
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-06-02
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-06-02
     RM References:  13.13.02 (09)  
 
 AI95-00109/06   1999-03-22 --  Size and Alignment Attributes for Subtypes
@@ -416,6 +446,11 @@
     Class: Confirmation                Status: WG9_Approved  96-12-07
     RM References:  6.04.01 (13)  
 
+AI95-00111/01   1999-07-28 --  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
     Priority: Low                  Difficulty: Medium
     Class: Confirmation                Status: WG9_Approved  96-12-07
@@ -423,7 +458,7 @@
 
 AI95-00113/03   1999-07-20 --  Exception raised by Month, Day, Seconds in Ada.Calendar?
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-20
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-20
     RM References:  9.06 (26)  
 
 AI95-00114/00   1996-10-04 --  Editorial Comments on AARM
@@ -436,19 +471,19 @@
     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
+AI95-00116/03   1999-07-28 --  Elaboration of a task with no task_definition
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: WG9_Approved  98-06-12
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  9.01 (02)  
 
 AI95-00117/05   1999-07-27 --  Calling Conventions
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  3.09.02 (10)  
 
-AI95-00118/03   1996-11-16 --  Termination signals query of Terminate attribute
+AI95-00118/04   1999-07-28 --  Termination signals query of Terminate attribute
     Priority: Medium               Difficulty: Hard
-    Class: Binding Interpretation      Status: WG9_Approved  96-12-07
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  9.10 (11)  
 
 AI95-00119/03   1999-07-27 --  Is Normal Termination an "External Interaction"?
@@ -461,9 +496,9 @@
     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
+AI95-00121/05   1999-07-28 --  Pragma Attach_Handler on Nested Objects
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: WG9_Approved  96-12-07
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  C.03.01 (07)  
 
 AI95-00122/03   1999-05-28 --  Use_type_clause where First Subtype is not Directly Visible
@@ -471,14 +506,14 @@
     Class: Confirmation                Status: WG9_Approved  98-06-12
     RM References:  8.04 (08)  
 
-AI95-00123/07   1997-05-27 --  Equality for Composite Types
+AI95-00123/08   1999-07-28 --  Equality for Composite Types
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: WG9_Approved  (8-0-0) 97-07-04
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  4.05.02 (24)  
 
-AI95-00124/03   1996-11-16 --  The AE characters are allowed in identifiers
+AI95-00124/04   1999-06-28 --  The AE characters are allowed in identifiers
     Priority: High                 Difficulty: Easy
-    Class: Binding Interpretation      Status: WG9_Approved  96-12-07
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  2.01 (08)  
 
 AI95-00125/02   1999-05-27 --  Order of Size and Small Clauses for Fixed Point Types
@@ -488,12 +523,12 @@
 
 AI95-00126/09   1999-07-20 --  Classification of Language-Defined Packages
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-20
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-20
     RM References:  E.02.02 (08)  
 
 AI95-00127/05   1999-06-25 --  Expected type of a 'Access attribute
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-25
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-25
     RM References:  3.10.02 (27)  
 
 AI95-00128/04   1997-03-19 --  String Packages
@@ -508,17 +543,17 @@
 
 AI95-00130/05   1999-07-20 --  Enforcing Restrictions might violate the generic contract model.
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-20
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-20
     RM References:  H.04 (08)  
 
 AI95-00131/09   1999-07-20 --  Interface to C -- passing records as parameters of mode 'in'
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-20
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-20
     RM References:  B.01 (13-18)  
 
-AI95-00132/03   1998-06-12 --  Exception Raised at End of Stream
+AI95-00132/04   1999-07-28 --  Exception Raised at End of Stream
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: WG9_Approved  98-06-12
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  A.13 (13)  
 
 AI95-00133/02   1998-03-27 --  controlling bit ordering
@@ -538,12 +573,12 @@
 
 AI95-00136/06   1999-06-25 --  Placement of Program Unit Pragmas in Generic Packages
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-27
     RM References:  10.01.05 (05)  
 
-AI95-00137/01   1996-07-23 --  Attribute definition clause for Stream Attributes
+AI95-00137/02   1999-07-28 --  Attribute definition clause for Stream Attributes
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: WG9_Approved  96-12-07
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  13.01 (10)  
 
 AI95-00138/03   1999-05-28 --  Null String Literals when the Index Type is Modular
@@ -553,12 +588,12 @@
 
 AI95-00139/03   1999-07-08 --  Interfaces.C.Strings.Value Raises Constraint_Error when Length is 0
     Priority: Medium               Difficulty: Easy
-    Class: Ramification                Status: Corrigendum  2000 99-06-02
+    Class: Ramification                Status: Corrigendum 2000  99-06-02
     RM References:  B.03.01 (36)  
 
 AI95-00140/02   1999-07-20 --  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
+    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
@@ -566,6 +601,11 @@
     Class: Confirmation                Status: WG9_Approved   97-11-14
     RM References:  B.03 (00)  
 
+AI95-00142/01   1999-07-28 --  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
     Priority: Medium               Difficulty: Easy
     Class: Confirmation                Status: WG9_Approved  98-06-12
@@ -578,7 +618,7 @@
 
 AI95-00145/03   1999-07-27 --  Profile of predefined operators for scalar types
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  3.05 (15)  
 
 AI95-00146/00   1997-11-14 --  Controlled Components are Finalized
@@ -608,7 +648,7 @@
 
 AI95-00151/03   1999-06-25 --  Bounds of string returned by Ada.Strings.Maps.To_Range
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-27
     RM References:  A.04.02 (63)  
 
 AI95-00152/05   1999-05-28 --  Operators not inherited from root numeric types
@@ -618,7 +658,7 @@
 
 AI95-00153/02   1999-07-27 --  Picture String Grammar or Composition Rules Need Tightening
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-27
+    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)
@@ -628,7 +668,7 @@
 
 AI95-00156/04   1999-07-07 --  Polar implementation of complex exponentiation for negative exponents
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-27
     RM References:  G.01.01 (55)  
 
 AI95-00157/04   1999-05-28 --  Visibility of Inherited Private Components
@@ -643,10 +683,10 @@
 
 AI95-00159/05   1999-07-20 --  Shared Variables in Shared_Passive?
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-20
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-20
     RM References:  9.10 (00)  
 
-AI95-00160/01   1999-06-12 --  Daylight savings & Ada.Calendar
+AI95-00160/02   1999-07-28 --  Daylight savings & Ada.Calendar
     Priority: Medium               Difficulty: Medium
     Class: Confirmation                Status: WG9_Approved  99-06-12
     RM References:  9.06 (24)  
@@ -668,17 +708,17 @@
 
 AI95-00164/04   1999-07-27 --  Definition of remote access type
     Priority: High                 Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  E.02.02 (09)  
 
-AI95-00165/04   1998-06-12 --  Recursive use of task attributes isn't considered
+AI95-00165/05   1999-07-28 --  Recursive use of task attributes isn't considered
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: WG9_Approved  98-06-12
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  C.07.02 (16)  
 
 AI95-00166/04   1999-07-27 --  Parameterless_Handler values designating default treatment
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  C.03.02 (18)  
 
 AI95-00167/01   1998-03-18 --  Scalar unchecked conversion is never erroneous
@@ -688,12 +728,12 @@
 
 AI95-00168/04   1999-07-27 --  Aliased objects cannot have discriminants modified
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  4.06 (00)  
 
-AI95-00169/02   1999-06-12 --  Exceptions raised by Adjust/Finalize -- Missing cases
+AI95-00169/03   1999-07-28 --  Exceptions raised by Adjust/Finalize -- Missing cases
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: WG9_Approved  99-06-12
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  7.06.01 (14)  
 
 AI95-00170/02   1999-07-27 --  Can an attribute defined in an annex be set in an attribute definition clause?
@@ -723,17 +763,17 @@
 
 AI95-00175/03   1999-06-25 --  Full conformance of expressions with attributes
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-06-25
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-06-25
     RM References:  6.03.01 (19)  
 
 AI95-00176/05   1999-06-25 --  Access_Check is performed for access discriminants
     Priority: Low                  Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-27
     RM References:  11.05 (11)  
 
 AI95-00177/03   1999-07-20 --  Interfaces.C.Strings.Value with len returning String
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-27
     RM References:  B.03.01 (40)  
 
 AI95-00178/00   1997-03-19 --  Which I/O operations are potentially blocking?
@@ -753,12 +793,12 @@
 
 AI95-00181/03   1999-06-25 --  components of Stream_Element_Array should be Aliased
     Priority: High                 Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-05-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-05-27
     RM References:  13.13.01 (04)  
 
-AI95-00182/03   1997-11-14 --  Extension aggregates with controlled subcomponents
+AI95-00182/04   1999-07-28 --  Extension aggregates with controlled subcomponents
     Priority: High                 Difficulty: Easy
-    Class: Binding Interpretation      Status: WG9_Approved   97-11-14
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  7.06 (11)  
 
 AI95-00183/03   1999-05-28 --  Primitive operations declared before it is known if the type is tagged
@@ -768,7 +808,7 @@
 
 AI95-00184/05   1999-07-27 --  Definiteness and type derivation
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  4.06 (54)  
 
 AI95-00185/00   1997-03-19 --  Branch cuts of inverse trigonometric and hyperbolic functions
@@ -798,7 +838,7 @@
 
 AI95-00190/03   1999-07-27 --  Compile-time enforcement of pragma Restrictions
     Priority: Medium               Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  13.12 (0) (00)   D.07 (15)  
 
 AI95-00191/00   1997-08-19 --  An OBJECTive View
@@ -808,17 +848,17 @@
 
 AI95-00192/03   1999-07-08 --  A library subprogram_body should replace, not complete, an instance
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-08
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-08
     RM References:  6.03 (04)  
 
 AI95-00193/05   1999-07-27 --  Initialize, Adjust, and exceptions
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  7.06.01 (04)   7.06.01 (16)  
 
 AI95-00194/02   1999-07-27 --  Typo in Standard_Error Definition
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  A.10.03 (12)  
 
 AI95-00195/04   1999-03-12 --  Streams
@@ -836,14 +876,14 @@
     Class: Binding Interpretation      Status: ARG_Approved    7-0-0  98-10-08
     RM References:  7.06 (21)  
 
-AI95-00198/01   1999-06-12 --  pragma Convention(Intrinsic) is not a completion
+AI95-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/04   1999-07-27 --  Pragma Convention for a generic unit applies to its instances
     Priority: High                 Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  13.09 (03)  
 
 AI95-00200/01   1999-03-14 --  Generic formal subprograms as dispatching operations
@@ -856,14 +896,14 @@
     Class: Confirmation                Status: No_Action      10-0-2  98-04-01
     RM References:  4.06 (16)  
 
-AI95-00202/03   1999-06-12 --  Primitives of formal type derived from another formal type
+AI95-00202/04   1999-07-28 --  Primitives of formal type derived from another formal type
     Priority: Medium               Difficulty: Hard
-    Class: Binding Interpretation      Status: WG9_Approved  99-06-12
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  12.05.01 (21)  
 
 AI95-00203/03   1999-07-27 --  S'Digits when T'Machine_Radix is 10.
     Priority: Medium               Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  3.05.08 (02)  
 
 AI95-00204/01   1999-02-02 --  Interfaces.Fortran must be absent, right?
@@ -873,7 +913,7 @@
 
 AI95-00205/02   1999-07-27 --  Priority changes in abortable part
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  D.04 (10)   D.04 (11)  
 
 AI95-00206/02   1999-07-27 --  Ada.Task_Identification.Is_Callable for the environment task
@@ -881,14 +921,14 @@
     Class: Ramification                Status: WG9_Approved  99-06-12
     RM References:  C.07.01 (10)  
 
-AI95-00207/02   1999-06-12 --  Pragma Inspection_Point affects only the current unit
+AI95-00207/03   1999-07-28 --  Pragma Inspection_Point affects only the current unit
     Priority: Medium               Difficulty: Medium
-    Class: Binding Interpretation      Status: WG9_Approved  99-06-12
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-28
     RM References:  H.03.02 (5)   H.03.02 (8)  
 
 AI95-00208/05   1999-07-27 --  What is the meaning of "same representation" in all partitions?
     Priority: Medium               Difficulty: Hard
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  E.02 (13)  
 
 AI95-00209/01   1999-02-05 --  pragma Reviewable; can objects become uninitialized?
@@ -896,7 +936,7 @@
     Class: Binding Interpretation      Status: Work Item     99-02-05
     RM References:  H.03.01 (8)  
 
-AI95-00210/02   1999-06-12 --  Questions on pragma Restriction No_Recursion and No_Reentrancy
+AI95-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)  
@@ -913,7 +953,7 @@
 
 AI95-00213/04   1999-07-27 --  Formal object matching for formal packages.
     Priority: High                 Difficulty: Medium
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-27
+    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).
@@ -923,7 +963,7 @@
 
 AI95-00215/02   1999-07-27 --  Returning remote class-wide values.
     Priority: Medium               Difficulty: Easy
-    Class: Binding Interpretation      Status: Corrigendum  2000 99-07-27
+    Class: Binding Interpretation      Status: Corrigendum 2000  99-07-27
     RM References:  E.04 (18)  
 
 AI95-00216/01   1999-03-23 --  Unchecked Unions -- Variant Records With No Run-Time Discriminant

Questions? Ask the ACAA Technical Agent