This is a cross reference of all Ada Commentaries. (Ada Commentaries are questions or proposals handled adequately in e-mail discussions, or judged of little interest. They probably will not be considered by the ARG.) For Ada 95 issues that have or will be considered by the ARG, look in the Ada 95 Issues Index. For Ada 2005 issues that have or will be considered by the ARG, look in the Ada 2005 Issues Index.

The Commentaries are indexed in numeric order by the class of issue, and by the section referenced.

ACs listed by Class

The classes are:

• Amendment
• Binding Interpretation
• Confirmation
• Ramification
• Presentation.

Confirmation

AC95-00001/01   2000-09-25 --  Resolution of the prefix of 'Address
    RM References:  8.06 (01)  

AC95-00002/01   2000-12-02 --  The conversions implicit in numeric type conversions do not cause freezing
    RM References:  3.05.04 (09)   3.05.07 (11)   3.05.09 (14)   3.05.09 (16)  

AC95-00004/01   2000-12-21 --  When do approved AIs take effect?
    RM References:  1.01.03 (00)  

AC95-00007/01   2001-02-12 --  Surprising results from floating point 'Remainder function
    RM References:  A.05.03 (45)  

AC95-00008/01   2001-05-31 --  Blocking calls in protected object subprograms
    RM References:  9.05.01 (8)  

AC95-00010/01   2001-09-05 --  Adjust Storage_Error gets converted to Program_Error
    RM References:  7.06.01 (16)  

AC95-00011/01   2001-09-19 --  Does Latin_1 include literals such as 'A', 'a' and '0'?
    RM References:  A.03.03 (09)   A.03.03 (11)  

AC95-00012/00   2001-09-20 --  Finalization called by aggregate during elaboration
    RM References:  7.06 (21)   7.06.01 (13)   7.06 (17.1)  

AC95-00013/00   2001-09-20 --  Finalization raises exception during assignment
    RM References:  7.06.01 ( 9)   7.06.01 (15)  

AC95-00014/01   2001-10-16 --  Visibility of parameter names
    RM References:  6.01 (17)  

AC95-00018/01   2001-11-07 --  Scope of use_clause
    RM References:  8.04 (06)  

AC95-00019/01   2001-11-20 --  Private part unseen by package body
    RM References:  7.03 (01)  

AC95-00020/01   2001-12-05 --  Instantiating a generic with the same name
    RM References:  8.02 (02)  

AC95-00022/01   2002-01-07 --  Query about placement of pragma Export
    RM References:  B.01 (06)  

AC95-00023/01   2002-01-23 --  Component alignment precedence: pragma Convention vs compiler default
    RM References:  B.01 (30)   B.01 (41)  

AC95-00024/01   2002-01-23 --  Visibility of predefined modular boolean operators
    RM References:  4.05 (09)   4.05.01 (2)  

AC95-00025/01   2002-01-23 --  Visibility of derived operations from private part of parent
    RM References:  3.04 (23)   7.03.01 (06)  

AC95-00031/01   2002-04-26 --  'ACCESS on generic formal objects
    RM References:  12.04 (10)  

AC95-00042/01   2002-07-11 --  Exception raised by Complex_IO.Get
    RM References:  G.01.03 (11-19)  

AC95-00045/01   2002-08-28 --  Reference to discriminant of incomplete private type
    RM References:  7.03 (05)  

AC95-00046/01   2002-08-28 --  Function on untagged partial view must be overridden?
    RM References:  3.09.03 (4-6)   3.09.02 (2)  

AC95-00047/01   2002-12-05 --  Converting from untagged to tagged type
    RM References:  4.06 (15)   4.06 (24)   4.06 (42)  

AC95-00048/01   2002-12-05 --  Holey enumeration types and array indexing
    RM References:  4.06 (15)   4.06 (24)   4.06 (42)  

AC95-00053/01   2003-06-23 --  How far does Unchecked_Access propagate?
    RM References:  13.10 (03)  

AC95-00054/01   2003-06-23 --  Address clauses and the linear elaboration model
    RM References:  13.14 (01)  

AC95-00055/01   2003-06-23 --  discriminant_association grammar rule found misleading
    RM References:  3.07.01 (03)  

AC95-00059/01   2003-07-24 --  discriminant_association grammar rule found misleading
    RM References:  13.13.01 (08)  

AC95-00063/01   2003-07-30 --  Ada compilers
    RM References:  1.01 (01)  

AC95-00069/01   2003-08-04 --  Generic formal package referring to enclosing generic
    RM References:  12.07 (04)  

AC95-00073/01   2003-09-12 --  Is this legal?
    RM References:  3.02.01 (03)  

AC95-00076/01   2003-09-12 --  Is there a requirement that equality must compose for "predefined types"?
    RM References:  4.05.02 (32.1/1)  

AC95-00077/01   2003-09-12 --  Pragma export on overloaded subprograms
    RM References:  B.01 (46)  

AC95-00094/01   2004-02-27 --  Exception raised in wrong place
    RM References:  B.01 (46)  

AC95-00095/01   2004-04-23 --  Compilation Environment
    RM References:  10.01.04 (3)   10.01.04 (5)   10.01.04 (6)   10.01.04 (7)   10.01.04 (9)  

AC95-00096/01   2004-04-23 --  Overlaying Address clause onto constant
    RM References:  13.01 (19)   13.01 (20)  

AC95-00098/01   2004-04-23 --  Unspecified behavior for numeric type conversions
    RM References:  4.06 (32)  

AC95-00099/01   2004-06-02 --  Possible hole related to AI83-00012
    RM References:  8.03 (12)   8.03 (13)   8.03 (26/1)  

AC95-00101/01   2004-10-05 --  New for constants
    RM References:  13.11 (24)  

AC95-00102/01   2004-10-05 --  Generic formal packages that can't be matched
    RM References:  12.07 (6)  

AC95-00103/01   2004-11-11 --  Record representation clauses on type extensions
    RM References:  13.05.01 (11)  

AC95-00105/01   2005-01-20 --  Appendix A para 3 - re-entrancy of language defined subprograms
    RM References:  A (3)  

AC95-00106/01   2005-01-20 --  Renaming-as-body can't rename inherited subprogram
    RM References:  8.05.04 (5)   6.03.01 (7)  

AC95-00107/01   2005-01-20 --  Allocators and maximum object size
    RM References:  13.11 (16)  

AC95-00108/01   2005-01-27 --  Unchecked_Conversion
    RM References:  13.09 (6)  

AC95-00128/01   2006-03-15 --  External Tags
    RM References:  13.03 (75/1)  

AC95-00129/01   2006-05-11 --  Resolving the prefix of an attribute
    RM References:  4.01.04 (6)  

AC95-00130/01   2006-05-11 --  Use type doesn't give you enumeration literals
    RM References:  8.04 (8)  

AC95-00131/01   2006-05-11 --  Elaboration checks and generic bodies
    RM References:  3.11 (13)   10.02 (9)  

AC95-00132/01   2006-06-02 --  Legality checking for implicitly declared generics
    RM References:  10.01.01 (19/2)   12.03 (11)  

AC95-00133/01   2006-11-06 --  Case statement anomolies
    RM References:  5.04 (6-10)   4.09   

AC95-00134/01   2006-11-06 --  Conformance rule for access-to-subprogram reference
    RM References:  3.10.02 (2.2/2)  

AC95-00138/01   2006-12-15 --  When should leap seconds be supported?
    RM References:  9.06.01 (89/2)  

AC95-00139/01   2007-01-22 --  Deallocating timing events in Ada.Real_Time.Timing_events timing event handler
    RM References:  D.15 (22/2)  

AC95-00140/01   2007-02-16 --  What is the accessibility of 'Unchecked_Access?
    RM References:  13.10 (3)  

AC95-00141/01   2007-04-06 --  Possible grammatical ambiguity
    RM References:  8.03.01 (5/2)  

AC95-00142/01   2007-05-04 --  Limited constants considered limiting
    RM References:  7.05 (2,1/2)  

AC95-00143/01   2007-08-03 --  Limited type extensions and build-in-place
    RM References:  7.05 (2.1/2)  

AC95-00144/01   2007-08-03 --  Build-in-place and extended return
    RM References:  7.05 (8.1/2)  

AC95-00145/01   2007-08-03 --  Add a way for a constraint to statically match
    RM References:  4.09.01 (1.2/2)  

AC95-00146/01   2007-08-03 --  Streaming access discriminants
    RM References:  4.09.01 (1.2/2)  

AC95-00147/01   2007-10-15 --  Limited types, initialization, and type conversion
    RM References:  4.09.01 (1.2/2)  

AC95-00148/01   2007-10-23 --  'Address of anonymous objects and tasks?
    RM References:  13.03 (16)  

AC95-00149/01   2007-10-24 --  Out of range array aggregates and build-in-place
    RM References:  7.05 (8.1/2)  

AC95-00150/01   2007-10-24 --  Import pragma in package body and overloading
    RM References:  B.01 (22)  

AC95-00151/01   2007-12-06 --  Standard_Output of different Text_IO packages
    RM References:  A.10 (5)  

AC95-00152/01   2007-12-06 --  Using floating point correctly is hard
    RM References:  3.02 (8)  

AC95-00153/01   2007-12-06 --  Access discriminants and accessibility levels
    RM References:  3.10.02 (12.4/2)   3.10.02 (5)   3.10.02 (7)   3.10.02 (15)   3.10.02 (16)  

AC95-00154/01   2007-12-06 --  Historical question: why are constraints ignored in renamings?
    RM References:  8.05.01 (6)   8.05.04 (7)  

AC95-00155/01   2008-01-16 --  Categorization of Strings.Wide_Maps and children
    RM References:  A.04.07 (46.2/2)  

Ramification

Binding Interpretation

AC95-00039/01   2002-06-11 --  Incomplete types and dispatching.
    RM References:  13.13.02   

AC95-00040/01   2002-06-13 --  Portability issue with non-generic equivalent library packages
    RM References:  A.05.01 (1)   A.05.01 (9)   A.05.01 (48)   A.10.08 (20-23)  

AC95-00057/01   2003-07-22 --  Warnings for unrecognized pragmas should be advice, not a requirement
    RM References:  2.08 (13)  

Amendment

AC95-00003/01   2000-10-30 --  Generic formal parameter control for generic sharing
    RM References:  12.05.02 (00)  

AC95-00005/01   2001-01-23 --  A general-purpose modular type ought to be predefined
    RM References:  3.05.04 (11)  

AC95-00006/01   2001-02-12 --  The Valid attribute should be defined for composite types
    RM References:  13.09.02 (02)  

AC95-00009/01   2001-06-01 --  Dynamic view conversion
    RM References:  4.06 (00)  

AC95-00015/01   2001-10-16 --  Unchecked attribute
    RM References:  13.09 (3)  

AC95-00016/01   2001-10-16 --  pragma Read_Only
    RM References:  6.03.02 (3)  

AC95-00017/01   2001-11-02 --  Are discriminant constraints required to be static?
    RM References:  4.03.01 (17)  

AC95-00026/01   2002-01-23 --  User-defined type conversion
    RM References:  4.06 (01)  

AC95-00027/01   2002-02-19 --  Profiling
    RM References:  11.04.01 (01)  

AC95-00028/01   2002-02-19 --  Splitting and Joining Strings
    RM References:  A.04.05 (00)  

AC95-00029/01   2002-02-19 --  Subprogram declaration completed by pragma
    RM References:  6.01 (20)   2.08 (17)   2.08 (18)  

AC95-00030/01   2002-04-23 --  Enhancements of the predefined language library?
    RM References:  A (1)  

AC95-00032/01   2002-04-26 --  Preferred interpretations for modular type operations
    RM References:  8.06 (29)  

AC95-00033/01   2002-05-03 --  Child packages of nested packages
    RM References:  10.01.01 (1)  

AC95-00034/01   2002-05-03 --  Does a body freeze an incomplete type?
    RM References:  13.14 ( 3)  

AC95-00035/01   2002-05-24 --  Protected Block
    RM References:  9.04   

AC95-00036/01   2002-05-24 --  Additional grouping characters
    RM References:  4.04   

AC95-00037/01   2002-05-28 --  Parenthesizing expression makes a difference
    RM References:  5.04 (7)  

AC95-00038/01   2002-05-30 --  Stream attributes on tasks, protected types?
    RM References:  13.13.02   

AC95-00041/01   2002-06-13 --  Incomplete types and dispatching.
    RM References:  9.05.02 (3)   9.05.02 (8)  

AC95-00044/01   2002-08-28 --  Addition of Current_Exception function to Ada.Exceptions package
    RM References:  11.04.01 (00)  

AC95-00049/01   2002-09-30 --  Private envelope types
    RM References:  7.04 (00)  

AC95-00050/01   2002-09-25 --  Controlled types declared in nested scopes
    RM References:  7.06 (00)  

AC95-00051/01   2003-01-23 --  Random number packages should be pure
    RM References:  A.05.02 (00)  

AC95-00052/01   2003-01-23 --  Private discrete types
    RM References:  7.03 (00)  

AC95-00056/01   2003-06-23 --  Base and class attributes
    RM References:  3.05 (15)   3.09 (14)  

AC95-00058/01   2003-07-22 --  Pragma Unreferenced
    RM References:  C.08 (01)  

AC95-00060/02   2003-09-29 --  (deleted)
    RM References:  13.14 (05)  

AC95-00061/01   2003-07-30 --  Bodyless packages
    RM References:  7.01 (01)  

AC95-00062/01   2003-07-30 --  Private with in a generic package
    RM References:  7.01 (01)  

AC95-00064/01   2003-07-31 --  Converting application types to Storage_Array
    RM References:  7.01 (01)  

AC95-00065/01   2003-07-31 --  Instantiation before package body is known to exist
    RM References:  12.03 (00)  

AC95-00066/01   2003-07-31 --  Instantiating generic with same name
    RM References:  8.02 (02)  

AC95-00067/01   2003-08-04 --  Ada should disallow syntactic and semantic extensions
    RM References:  1.01.03 (04)  

AC95-00068/01   2003-08-04 --  Too strict Unchecked_Conversion alignment requirement
    RM References:  13.09 (07)  

AC95-00070/01   2003-08-04 --  Number_Base enlargement
    RM References:  A.10.01 (06)  

AC95-00071/01   2003-08-04 --  Derived generic packages
    RM References:  12.03 (01)  

AC95-00072/01   2003-09-07 --  Initial values for types
    RM References:  3.02.01 (03)  

AC95-00074/01   2003-09-12 --  Aliased record components
    RM References:  3.10 (09)  

AC95-00075/01   2003-09-12 --  Special dope vector for pointers to unconstrained arrays
    RM References:  3.10 (09)  

AC95-00078/01   2003-09-07 --  Proposal for a "with and use" clause
    RM References:  3.02.01 (03)  

AC95-00079/01   2003-09-16 --  Aliased views
    RM References:  7.03 (02)  

AC95-00080/01   2003-09-17 --  Components of an array type
    RM References:  3.08 (12)  

AC95-00081/01   2003-09-17 --  (null array) aggregate
    RM References:  3.08 (12)  

AC95-00082/01   2003-11-19 --  Increase uniformity of implementations
    RM References:  3.08 (12)  

AC95-00083/01   2003-12-04 --  Statistics packages
    RM References:  A.05 (00)  

AC95-00084/01   2003-12-05 --  Performance of unconstrained function calls
    RM References:  6.04 (00)  

AC95-00085/01   2003-12-05 --  Can't pass limited constants into a generic
    RM References:  12.04 (08)  

AC95-00086/01   2003-12-05 --  Can't pass limited constants into a generic
    RM References:  12.06 (00)   3.09.02 (16)   3.04.01 (05)  

AC95-00087/01   2003-12-05 --  Universal integer ranges
    RM References:  4.05.02 (03)   3.05 (04)   3.05 (05)   4.04 (03)  

AC95-00088/01   2003-12-05 --  Unchecked type conversion
    RM References:  13.09 (06)   13.09 (08)  

AC95-00089/01   2003-12-05 --  Representation clause for nested records
    RM References:  13.05.01 (00)  

AC95-00090/01   2003-12-05 --  Literals for private types
    RM References:  7.03.01 (00)  

AC95-00091/01   2004-02-05 --  Some gripe about Alignment
    RM References:  13.03 (23)  

AC95-00092/01   2004-02-05 --  Default Out Parameters
    RM References:  6.01   

AC95-00093/01   2004-02-05 --  Limit attribute
    RM References:  3.05 (11)  

AC95-00097/01   2004-04-23 --  Database I/O
    RM References:  A.01   

AC95-00100/01   2004-06-02 --  Dereference hook
    RM References:  13.11   

AC95-00104/01   2004-11-14 --  Accessibility of anonymous function results
    RM References:  3.10.02 (13)  

AC95-00109/01   2005-01-27 --  Generic shift routines
    RM References:  B.02 (6)  

AC95-00110/01   2005-02-09 --  Revision timings
    RM References: 

AC95-00111/01   2005-09-16 --  Editorial comments on Draft 13
    RM References: 

AC95-00112/01   2005-10-20 --  Real Iterators for Ada
    RM References:  5.05 (00)  

AC95-00113/01   2005-10-20 --  Null procedures as completions
    RM References:  6.07 (00)  

AC95-00114/01   2005-10-21 --  Generic versions of Ada.Strings packages
    RM References:  A.04.03 (00)   A.04.04 (00)   A.04.05 (00)  

AC95-00115/01   2005-10-21 --  Pragma argument associations
    RM References:  2.08 (4)  

AC95-00116/01   2005-10-21 --  Difference between shared variables and protected components
    RM References:  9.10 (0)   9.05.01 (0)  

AC95-00117/01   2005-10-21 --  Unserialized access to protected components via access types
    RM References:  9.04 (0)   3.10.02 (0)  

AC95-00118/02   2006-03-15 --  (deleted)
    RM References:  4.01 (2)   4.07 (0)  

AC95-00119/01   2005-10-24 --  Extending a primitive routine
    RM References:  8.03.01 (0/2)  

AC95-00120/01   2005-10-24 --  (deleted)
    RM References:  A.18 (0/2)  

AC95-00121/02   2006-03-17 --  (deleted)
    RM References:  3.05 (13)  

AC95-00122/02   2006-03-17 --  (deleted)
    RM References:  13.13.02 (52/2)  

AC95-00123/01   2005-10-24 --  The "not private" part
    RM References:  7.01 (6)  

AC95-00124/01   2006-01-04 --  Real-time membership tests with multiple inheritance
    RM References:  4.05.02 (30/2)  

AC95-00125/01   2006-01-04 --  Access parameters for task entries
    RM References:  9.05.02 (13)  

AC95-00126/01   2006-01-06 --  Unspecified
    RM References:  H.02 (1)  

AC95-00127/01   2006-01-06 --  Line length, wide characters, and source representation
    RM References:  2.02 (14)  

AC95-00135/01   2006-11-06 --  Update to language interfaces annex sections?
    RM References:  B.05   

AC95-00136/01   2006-11-06 --  Ada should have elementary sets
    RM References:  3.05   

AC95-00137/01   2006-11-13 --  Specifying overloaded routines in a generic instance
    RM References:  12.03   

AC95-00156/01   2008-01-18 --  Contracts in Ada
    RM References:  11.04.02   

AC95-00157/01   2008-01-18 --  User-defined constraints
    RM References:  13.15   

AC95-00158/01   2008-03-05 --  Availability of stream attributes
    RM References:  13.13.02   

AC95-00159/01   2008-03-05 --  An expanded name in a protected body is an internal call
    RM References:  4.01.03 (4)  

Presentation

AC95-00021/01   2001-12-01 --  Presentation issues in the Consolidated RM
    RM References:  1.01 (00)  

AC95-00043/01   2002-08-28 --  Should all documentation requirements be in Annex M?
    RM References:  M (00)  

Other

ACs listed by Section Referenced

1.01

AC95-00021/01   2001-12-01 --  Presentation issues in the Consolidated RM
    RM References:  1.01 (00)  

AC95-00063/01   2003-07-30 --  Ada compilers
    RM References:  1.01 (01)  

1.01.03

AC95-00004/01   2000-12-21 --  When do approved AIs take effect?
    RM References:  1.01.03 (00)  

AC95-00067/01   2003-08-04 --  Ada should disallow syntactic and semantic extensions
    RM References:  1.01.03 (04)  

2.02

AC95-00127/01   2006-01-06 --  Line length, wide characters, and source representation
    RM References:  2.02 (14)  

2.08

AC95-00029/01   2002-02-19 --  Subprogram declaration completed by pragma
    RM References:  6.01 (20)   2.08 (17)   2.08 (18)  

AC95-00057/01   2003-07-22 --  Warnings for unrecognized pragmas should be advice, not a requirement
    RM References:  2.08 (13)  

AC95-00115/01   2005-10-21 --  Pragma argument associations
    RM References:  2.08 (4)  

3.02

AC95-00152/01   2007-12-06 --  Using floating point correctly is hard
    RM References:  3.02 (8)  

3.02.01

AC95-00072/01   2003-09-07 --  Initial values for types
    RM References:  3.02.01 (03)  

AC95-00073/01   2003-09-12 --  Is this legal?
    RM References:  3.02.01 (03)  

AC95-00078/01   2003-09-07 --  Proposal for a "with and use" clause
    RM References:  3.02.01 (03)  

3.04

AC95-00025/01   2002-01-23 --  Visibility of derived operations from private part of parent
    RM References:  3.04 (23)   7.03.01 (06)  

3.04.01

AC95-00086/01   2003-12-05 --  Can't pass limited constants into a generic
    RM References:  12.06 (00)   3.09.02 (16)   3.04.01 (05)  

3.05

AC95-00056/01   2003-06-23 --  Base and class attributes
    RM References:  3.05 (15)   3.09 (14)  

AC95-00087/01   2003-12-05 --  Universal integer ranges
    RM References:  4.05.02 (03)   3.05 (04)   3.05 (05)   4.04 (03)  

AC95-00093/01   2004-02-05 --  Limit attribute
    RM References:  3.05 (11)  

AC95-00121/02   2006-03-17 --  (deleted)
    RM References:  3.05 (13)  

AC95-00136/01   2006-11-06 --  Ada should have elementary sets
    RM References:  3.05   

3.05.04

AC95-00002/01   2000-12-02 --  The conversions implicit in numeric type conversions do not cause freezing
    RM References:  3.05.04 (09)   3.05.07 (11)   3.05.09 (14)   3.05.09 (16)  

AC95-00005/01   2001-01-23 --  A general-purpose modular type ought to be predefined
    RM References:  3.05.04 (11)  

3.05.07

AC95-00002/01   2000-12-02 --  The conversions implicit in numeric type conversions do not cause freezing
    RM References:  3.05.04 (09)   3.05.07 (11)   3.05.09 (14)   3.05.09 (16)  

3.05.09

AC95-00002/01   2000-12-02 --  The conversions implicit in numeric type conversions do not cause freezing
    RM References:  3.05.04 (09)   3.05.07 (11)   3.05.09 (14)   3.05.09 (16)  

3.07.01

AC95-00055/01   2003-06-23 --  discriminant_association grammar rule found misleading
    RM References:  3.07.01 (03)  

3.08

AC95-00080/01   2003-09-17 --  Components of an array type
    RM References:  3.08 (12)  

AC95-00081/01   2003-09-17 --  (null array) aggregate
    RM References:  3.08 (12)  

AC95-00082/01   2003-11-19 --  Increase uniformity of implementations
    RM References:  3.08 (12)  

3.09

AC95-00056/01   2003-06-23 --  Base and class attributes
    RM References:  3.05 (15)   3.09 (14)  

3.09.02

AC95-00046/01   2002-08-28 --  Function on untagged partial view must be overridden?
    RM References:  3.09.03 (4-6)   3.09.02 (2)  

AC95-00086/01   2003-12-05 --  Can't pass limited constants into a generic
    RM References:  12.06 (00)   3.09.02 (16)   3.04.01 (05)  

3.09.03

AC95-00046/01   2002-08-28 --  Function on untagged partial view must be overridden?
    RM References:  3.09.03 (4-6)   3.09.02 (2)  

3.10

AC95-00074/01   2003-09-12 --  Aliased record components
    RM References:  3.10 (09)  

AC95-00075/01   2003-09-12 --  Special dope vector for pointers to unconstrained arrays
    RM References:  3.10 (09)  

3.10.02

AC95-00104/01   2004-11-14 --  Accessibility of anonymous function results
    RM References:  3.10.02 (13)  

AC95-00117/01   2005-10-21 --  Unserialized access to protected components via access types
    RM References:  9.04 (0)   3.10.02 (0)  

AC95-00134/01   2006-11-06 --  Conformance rule for access-to-subprogram reference
    RM References:  3.10.02 (2.2/2)  

AC95-00153/01   2007-12-06 --  Access discriminants and accessibility levels
    RM References:  3.10.02 (12.4/2)   3.10.02 (5)   3.10.02 (7)   3.10.02 (15)   3.10.02 (16)  

3.11

AC95-00131/01   2006-05-11 --  Elaboration checks and generic bodies
    RM References:  3.11 (13)   10.02 (9)  

4.01

AC95-00118/02   2006-03-15 --  (deleted)
    RM References:  4.01 (2)   4.07 (0)  

4.01.03

AC95-00159/01   2008-03-05 --  An expanded name in a protected body is an internal call
    RM References:  4.01.03 (4)  

4.01.04

AC95-00129/01   2006-05-11 --  Resolving the prefix of an attribute
    RM References:  4.01.04 (6)  

4.03.01

AC95-00017/01   2001-11-02 --  Are discriminant constraints required to be static?
    RM References:  4.03.01 (17)  

4.04

AC95-00036/01   2002-05-24 --  Additional grouping characters
    RM References:  4.04   

AC95-00087/01   2003-12-05 --  Universal integer ranges
    RM References:  4.05.02 (03)   3.05 (04)   3.05 (05)   4.04 (03)  

4.05

AC95-00024/01   2002-01-23 --  Visibility of predefined modular boolean operators
    RM References:  4.05 (09)   4.05.01 (2)  

4.05.01

AC95-00024/01   2002-01-23 --  Visibility of predefined modular boolean operators
    RM References:  4.05 (09)   4.05.01 (2)  

4.05.02

AC95-00076/01   2003-09-12 --  Is there a requirement that equality must compose for "predefined types"?
    RM References:  4.05.02 (32.1/1)  

AC95-00087/01   2003-12-05 --  Universal integer ranges
    RM References:  4.05.02 (03)   3.05 (04)   3.05 (05)   4.04 (03)  

AC95-00124/01   2006-01-04 --  Real-time membership tests with multiple inheritance
    RM References:  4.05.02 (30/2)  

4.06

AC95-00009/01   2001-06-01 --  Dynamic view conversion
    RM References:  4.06 (00)  

AC95-00026/01   2002-01-23 --  User-defined type conversion
    RM References:  4.06 (01)  

AC95-00047/01   2002-12-05 --  Converting from untagged to tagged type
    RM References:  4.06 (15)   4.06 (24)   4.06 (42)  

AC95-00048/01   2002-12-05 --  Holey enumeration types and array indexing
    RM References:  4.06 (15)   4.06 (24)   4.06 (42)  

AC95-00098/01   2004-04-23 --  Unspecified behavior for numeric type conversions
    RM References:  4.06 (32)  

4.07

AC95-00118/02   2006-03-15 --  (deleted)
    RM References:  4.01 (2)   4.07 (0)  

4.09

AC95-00133/01   2006-11-06 --  Case statement anomolies
    RM References:  5.04 (6-10)   4.09   

4.09.01

AC95-00145/01   2007-08-03 --  Add a way for a constraint to statically match
    RM References:  4.09.01 (1.2/2)  

AC95-00146/01   2007-08-03 --  Streaming access discriminants
    RM References:  4.09.01 (1.2/2)  

AC95-00147/01   2007-10-15 --  Limited types, initialization, and type conversion
    RM References:  4.09.01 (1.2/2)  

5.04

AC95-00037/01   2002-05-28 --  Parenthesizing expression makes a difference
    RM References:  5.04 (7)  

AC95-00133/01   2006-11-06 --  Case statement anomolies
    RM References:  5.04 (6-10)   4.09   

5.05

AC95-00112/01   2005-10-20 --  Real Iterators for Ada
    RM References:  5.05 (00)  

6.01

AC95-00014/01   2001-10-16 --  Visibility of parameter names
    RM References:  6.01 (17)  

AC95-00029/01   2002-02-19 --  Subprogram declaration completed by pragma
    RM References:  6.01 (20)   2.08 (17)   2.08 (18)  

AC95-00092/01   2004-02-05 --  Default Out Parameters
    RM References:  6.01   

6.03.01

AC95-00106/01   2005-01-20 --  Renaming-as-body can't rename inherited subprogram
    RM References:  8.05.04 (5)   6.03.01 (7)  

6.03.02

AC95-00016/01   2001-10-16 --  pragma Read_Only
    RM References:  6.03.02 (3)  

6.04

AC95-00084/01   2003-12-05 --  Performance of unconstrained function calls
    RM References:  6.04 (00)  

6.07

AC95-00113/01   2005-10-20 --  Null procedures as completions
    RM References:  6.07 (00)  

7.01

AC95-00061/01   2003-07-30 --  Bodyless packages
    RM References:  7.01 (01)  

AC95-00062/01   2003-07-30 --  Private with in a generic package
    RM References:  7.01 (01)  

AC95-00064/01   2003-07-31 --  Converting application types to Storage_Array
    RM References:  7.01 (01)  

AC95-00123/01   2005-10-24 --  The "not private" part
    RM References:  7.01 (6)  

7.03

AC95-00019/01   2001-11-20 --  Private part unseen by package body
    RM References:  7.03 (01)  

AC95-00045/01   2002-08-28 --  Reference to discriminant of incomplete private type
    RM References:  7.03 (05)  

AC95-00052/01   2003-01-23 --  Private discrete types
    RM References:  7.03 (00)  

AC95-00079/01   2003-09-16 --  Aliased views
    RM References:  7.03 (02)  

7.03.01

AC95-00025/01   2002-01-23 --  Visibility of derived operations from private part of parent
    RM References:  3.04 (23)   7.03.01 (06)  

AC95-00090/01   2003-12-05 --  Literals for private types
    RM References:  7.03.01 (00)  

7.04

AC95-00049/01   2002-09-30 --  Private envelope types
    RM References:  7.04 (00)  

7.05

AC95-00142/01   2007-05-04 --  Limited constants considered limiting
    RM References:  7.05 (2,1/2)  

AC95-00143/01   2007-08-03 --  Limited type extensions and build-in-place
    RM References:  7.05 (2.1/2)  

AC95-00144/01   2007-08-03 --  Build-in-place and extended return
    RM References:  7.05 (8.1/2)  

AC95-00149/01   2007-10-24 --  Out of range array aggregates and build-in-place
    RM References:  7.05 (8.1/2)  

7.06

AC95-00012/00   2001-09-20 --  Finalization called by aggregate during elaboration
    RM References:  7.06 (21)   7.06.01 (13)   7.06 (17.1)  

AC95-00050/01   2002-09-25 --  Controlled types declared in nested scopes
    RM References:  7.06 (00)  

7.06.01

AC95-00010/01   2001-09-05 --  Adjust Storage_Error gets converted to Program_Error
    RM References:  7.06.01 (16)  

AC95-00012/00   2001-09-20 --  Finalization called by aggregate during elaboration
    RM References:  7.06 (21)   7.06.01 (13)   7.06 (17.1)  

AC95-00013/00   2001-09-20 --  Finalization raises exception during assignment
    RM References:  7.06.01 ( 9)   7.06.01 (15)  

8.02

AC95-00020/01   2001-12-05 --  Instantiating a generic with the same name
    RM References:  8.02 (02)  

AC95-00066/01   2003-07-31 --  Instantiating generic with same name
    RM References:  8.02 (02)  

8.03

AC95-00099/01   2004-06-02 --  Possible hole related to AI83-00012
    RM References:  8.03 (12)   8.03 (13)   8.03 (26/1)  

8.03.01

AC95-00119/01   2005-10-24 --  Extending a primitive routine
    RM References:  8.03.01 (0/2)  

AC95-00141/01   2007-04-06 --  Possible grammatical ambiguity
    RM References:  8.03.01 (5/2)  

8.04

AC95-00018/01   2001-11-07 --  Scope of use_clause
    RM References:  8.04 (06)  

AC95-00130/01   2006-05-11 --  Use type doesn't give you enumeration literals
    RM References:  8.04 (8)  

8.05.01

AC95-00154/01   2007-12-06 --  Historical question: why are constraints ignored in renamings?
    RM References:  8.05.01 (6)   8.05.04 (7)  

8.05.04

AC95-00106/01   2005-01-20 --  Renaming-as-body can't rename inherited subprogram
    RM References:  8.05.04 (5)   6.03.01 (7)  

AC95-00154/01   2007-12-06 --  Historical question: why are constraints ignored in renamings?
    RM References:  8.05.01 (6)   8.05.04 (7)  

8.06

AC95-00001/01   2000-09-25 --  Resolution of the prefix of 'Address
    RM References:  8.06 (01)  

AC95-00032/01   2002-04-26 --  Preferred interpretations for modular type operations
    RM References:  8.06 (29)  

9.04

AC95-00035/01   2002-05-24 --  Protected Block
    RM References:  9.04   

AC95-00117/01   2005-10-21 --  Unserialized access to protected components via access types
    RM References:  9.04 (0)   3.10.02 (0)  

9.05.01

AC95-00008/01   2001-05-31 --  Blocking calls in protected object subprograms
    RM References:  9.05.01 (8)  

AC95-00116/01   2005-10-21 --  Difference between shared variables and protected components
    RM References:  9.10 (0)   9.05.01 (0)  

9.05.02

AC95-00041/01   2002-06-13 --  Incomplete types and dispatching.
    RM References:  9.05.02 (3)   9.05.02 (8)  

AC95-00125/01   2006-01-04 --  Access parameters for task entries
    RM References:  9.05.02 (13)  

9.06.01

AC95-00138/01   2006-12-15 --  When should leap seconds be supported?
    RM References:  9.06.01 (89/2)  

9.10

AC95-00116/01   2005-10-21 --  Difference between shared variables and protected components
    RM References:  9.10 (0)   9.05.01 (0)  

10.01.01

AC95-00033/01   2002-05-03 --  Child packages of nested packages
    RM References:  10.01.01 (1)  

AC95-00132/01   2006-06-02 --  Legality checking for implicitly declared generics
    RM References:  10.01.01 (19/2)   12.03 (11)  

10.01.04

AC95-00095/01   2004-04-23 --  Compilation Environment
    RM References:  10.01.04 (3)   10.01.04 (5)   10.01.04 (6)   10.01.04 (7)   10.01.04 (9)  

10.02

AC95-00131/01   2006-05-11 --  Elaboration checks and generic bodies
    RM References:  3.11 (13)   10.02 (9)  

11.04.01

AC95-00027/01   2002-02-19 --  Profiling
    RM References:  11.04.01 (01)  

AC95-00044/01   2002-08-28 --  Addition of Current_Exception function to Ada.Exceptions package
    RM References:  11.04.01 (00)  

11.04.02

AC95-00156/01   2008-01-18 --  Contracts in Ada
    RM References:  11.04.02   

12.03

AC95-00065/01   2003-07-31 --  Instantiation before package body is known to exist
    RM References:  12.03 (00)  

AC95-00071/01   2003-08-04 --  Derived generic packages
    RM References:  12.03 (01)  

AC95-00132/01   2006-06-02 --  Legality checking for implicitly declared generics
    RM References:  10.01.01 (19/2)   12.03 (11)  

AC95-00137/01   2006-11-13 --  Specifying overloaded routines in a generic instance
    RM References:  12.03   

12.04

AC95-00031/01   2002-04-26 --  'ACCESS on generic formal objects
    RM References:  12.04 (10)  

AC95-00085/01   2003-12-05 --  Can't pass limited constants into a generic
    RM References:  12.04 (08)  

12.05.02

AC95-00003/01   2000-10-30 --  Generic formal parameter control for generic sharing
    RM References:  12.05.02 (00)  

12.06

AC95-00086/01   2003-12-05 --  Can't pass limited constants into a generic
    RM References:  12.06 (00)   3.09.02 (16)   3.04.01 (05)  

12.07

AC95-00069/01   2003-08-04 --  Generic formal package referring to enclosing generic
    RM References:  12.07 (04)  

AC95-00102/01   2004-10-05 --  Generic formal packages that can't be matched
    RM References:  12.07 (6)  

13.01

AC95-00096/01   2004-04-23 --  Overlaying Address clause onto constant
    RM References:  13.01 (19)   13.01 (20)  

13.03

AC95-00091/01   2004-02-05 --  Some gripe about Alignment
    RM References:  13.03 (23)  

AC95-00128/01   2006-03-15 --  External Tags
    RM References:  13.03 (75/1)  

AC95-00148/01   2007-10-23 --  'Address of anonymous objects and tasks?
    RM References:  13.03 (16)  

13.05.01

AC95-00089/01   2003-12-05 --  Representation clause for nested records
    RM References:  13.05.01 (00)  

AC95-00103/01   2004-11-11 --  Record representation clauses on type extensions
    RM References:  13.05.01 (11)  

13.09

AC95-00015/01   2001-10-16 --  Unchecked attribute
    RM References:  13.09 (3)  

AC95-00068/01   2003-08-04 --  Too strict Unchecked_Conversion alignment requirement
    RM References:  13.09 (07)  

AC95-00088/01   2003-12-05 --  Unchecked type conversion
    RM References:  13.09 (06)   13.09 (08)  

AC95-00108/01   2005-01-27 --  Unchecked_Conversion
    RM References:  13.09 (6)  

13.09.02

AC95-00006/01   2001-02-12 --  The Valid attribute should be defined for composite types
    RM References:  13.09.02 (02)  

13.10

AC95-00053/01   2003-06-23 --  How far does Unchecked_Access propagate?
    RM References:  13.10 (03)  

AC95-00140/01   2007-02-16 --  What is the accessibility of 'Unchecked_Access?
    RM References:  13.10 (3)  

13.11

AC95-00100/01   2004-06-02 --  Dereference hook
    RM References:  13.11   

AC95-00101/01   2004-10-05 --  New for constants
    RM References:  13.11 (24)  

AC95-00107/01   2005-01-20 --  Allocators and maximum object size
    RM References:  13.11 (16)  

13.13.01

AC95-00059/01   2003-07-24 --  discriminant_association grammar rule found misleading
    RM References:  13.13.01 (08)  

13.13.02

AC95-00038/01   2002-05-30 --  Stream attributes on tasks, protected types?
    RM References:  13.13.02   

AC95-00039/01   2002-06-11 --  Incomplete types and dispatching.
    RM References:  13.13.02   

AC95-00122/02   2006-03-17 --  (deleted)
    RM References:  13.13.02 (52/2)  

AC95-00158/01   2008-03-05 --  Availability of stream attributes
    RM References:  13.13.02   

13.14

AC95-00034/01   2002-05-03 --  Does a body freeze an incomplete type?
    RM References:  13.14 ( 3)  

AC95-00054/01   2003-06-23 --  Address clauses and the linear elaboration model
    RM References:  13.14 (01)  

AC95-00060/02   2003-09-29 --  (deleted)
    RM References:  13.14 (05)  

13.15

AC95-00157/01   2008-01-18 --  User-defined constraints
    RM References:  13.15   

A.01

AC95-00097/01   2004-04-23 --  Database I/O
    RM References:  A.01   

A.03.03

AC95-00011/01   2001-09-19 --  Does Latin_1 include literals such as 'A', 'a' and '0'?
    RM References:  A.03.03 (09)   A.03.03 (11)  

A.04.03

AC95-00114/01   2005-10-21 --  Generic versions of Ada.Strings packages
    RM References:  A.04.03 (00)   A.04.04 (00)   A.04.05 (00)  

A.04.04

AC95-00114/01   2005-10-21 --  Generic versions of Ada.Strings packages
    RM References:  A.04.03 (00)   A.04.04 (00)   A.04.05 (00)  

A.04.05

AC95-00028/01   2002-02-19 --  Splitting and Joining Strings
    RM References:  A.04.05 (00)  

AC95-00114/01   2005-10-21 --  Generic versions of Ada.Strings packages
    RM References:  A.04.03 (00)   A.04.04 (00)   A.04.05 (00)  

A.04.07

AC95-00155/01   2008-01-16 --  Categorization of Strings.Wide_Maps and children
    RM References:  A.04.07 (46.2/2)  

A.05

AC95-00083/01   2003-12-04 --  Statistics packages
    RM References:  A.05 (00)  

A.05.01

AC95-00040/01   2002-06-13 --  Portability issue with non-generic equivalent library packages
    RM References:  A.05.01 (1)   A.05.01 (9)   A.05.01 (48)   A.10.08 (20-23)  

A.05.02

AC95-00051/01   2003-01-23 --  Random number packages should be pure
    RM References:  A.05.02 (00)  

A.05.03

AC95-00007/01   2001-02-12 --  Surprising results from floating point 'Remainder function
    RM References:  A.05.03 (45)  

A.10

AC95-00151/01   2007-12-06 --  Standard_Output of different Text_IO packages
    RM References:  A.10 (5)  

A.10.01

AC95-00070/01   2003-08-04 --  Number_Base enlargement
    RM References:  A.10.01 (06)  

A.10.08

AC95-00040/01   2002-06-13 --  Portability issue with non-generic equivalent library packages
    RM References:  A.05.01 (1)   A.05.01 (9)   A.05.01 (48)   A.10.08 (20-23)  

A.18

AC95-00120/01   2005-10-24 --  (deleted)
    RM References:  A.18 (0/2)  

B.01

AC95-00022/01   2002-01-07 --  Query about placement of pragma Export
    RM References:  B.01 (06)  

AC95-00023/01   2002-01-23 --  Component alignment precedence: pragma Convention vs compiler default
    RM References:  B.01 (30)   B.01 (41)  

AC95-00077/01   2003-09-12 --  Pragma export on overloaded subprograms
    RM References:  B.01 (46)  

AC95-00094/01   2004-02-27 --  Exception raised in wrong place
    RM References:  B.01 (46)  

AC95-00150/01   2007-10-24 --  Import pragma in package body and overloading
    RM References:  B.01 (22)  

B.02

AC95-00109/01   2005-01-27 --  Generic shift routines
    RM References:  B.02 (6)  

B.05

AC95-00135/01   2006-11-06 --  Update to language interfaces annex sections?
    RM References:  B.05   

C.08

AC95-00058/01   2003-07-22 --  Pragma Unreferenced
    RM References:  C.08 (01)  

D.15

AC95-00139/01   2007-01-22 --  Deallocating timing events in Ada.Real_Time.Timing_events timing event handler
    RM References:  D.15 (22/2)  

G.01.03

AC95-00042/01   2002-07-11 --  Exception raised by Complex_IO.Get
    RM References:  G.01.03 (11-19)  

H.02

AC95-00126/01   2006-01-06 --  Unspecified
    RM References:  H.02 (1)