ACAA Header
 
This is an index 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. For Ada 2012 issues that have or will be considered by the ARG, look in the Ada 2012 Issues Index. For Ada 2022 issues that have or will be considered by the ARG, look in the Ada 2022 Issues Index.
The Commentaries are indexed in numeric order by the class of issue, and by the section referenced.

ACs listed in numeric order

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-00003/01   2000-10-30 -- Generic formal parameter control for generic sharing
    RM References:  12.05.02 (00)  
AC95-00004/01   2000-12-21 -- When do approved AIs take effect?
    RM References:  1.01.03 (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-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-00009/01   2001-06-01 -- Dynamic view conversion
    RM References:  4.06 (00)  
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-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-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-00021/01   2001-12-01 -- Presentation issues in the Consolidated RM
    RM References:  1.01 (00)  
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-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-00031/01   2002-04-26 -- 'ACCESS on generic formal objects
    RM References:  12.04 (10)  
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-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-00041/01   2002-06-13 -- Incomplete types and dispatching.
    RM References:  9.05.02 (3)   9.05.02 (8)  
AC95-00042/01   2002-07-11 -- Exception raised by Complex_IO.Get
    RM References:  G.01.03 (11-19)  
AC95-00043/01   2002-08-28 -- Should all documentation requirements be in Annex M?
    RM References:  M (00)  
AC95-00044/01   2002-08-28 -- Addition of Current_Exception function to Ada.Exceptions package
    RM References:  11.04.01 (00)  
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-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-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-00056/01   2003-06-23 -- Base and class attributes
    RM References:  3.05 (15)   3.09 (14)  
AC95-00057/01   2003-07-22 -- Warnings for unrecognized pragmas should be advice, not a requirement
    RM References:  2.08 (13)  
AC95-00058/01   2003-07-22 -- Pragma Unreferenced
    RM References:  C.08 (01)  
AC95-00059/01   2003-07-24 -- discriminant_association grammar rule found misleading
    RM References:  13.13.01 (08)  
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-00063/01   2003-07-30 -- Ada compilers
    RM References:  1.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-00069/01   2003-08-04 -- Generic formal package referring to enclosing generic
    RM References:  12.07 (04)  
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-00073/01   2003-09-12 -- Is this legal?
    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-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-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:  4.03.03 (2)  
AC95-00082/01   2003-11-19 -- Increase uniformity of implementations
    RM References:  1.01.01 (01)  
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 -- "=" on class-wide types as generic actual subprogram
    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-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-00097/01   2004-04-23 -- Database I/O
    RM References:  A.01   
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-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-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-00104/01   2004-11-14 -- Accessibility of anonymous function results
    RM References:  3.10.02 (13)  
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-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-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-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-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)  
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)  
AC95-00160/01   2008-05-10 -- Dereference of 'Access attribute
    RM References:  3.10.02 (24)  
AC95-00161/01   2008-05-10 -- Query on stream routines in Ada.Exceptions
    RM References:  11.04.01 (6.1/2)   11.04.01 (6.2/2)  
AC95-00162/01   2008-05-10 -- Clarification of 3.8(13)
    RM References:  3.08 (13)  
AC95-00163/01   2008-05-10 -- Useless USE TYPE's in "limited with" cases
    RM References:  10.01.02 (19)   10.01.02 (20)   10.01.02 (21)   10.01.02 (22)  
AC95-00164/01   2008-06-15 -- Can X'Access be used in universal_access equality?
    RM References:  3.10.02 (2/2)   4.05.02 (9.5/2)   4.05.02 (9.6/2)  
AC95-00165/01   2008-07-12 -- Definition of primitive subprogram
    RM References:  3.02.03 (1)  
AC95-00166/01   2008-08-08 -- Recursion and tag equality
    RM References:  3.09 (4/2)  
AC95-00167/01   2008-10-06 -- Actual for generic formal abstract subprogram
    RM References:  12.06 (8.5/2)  
AC95-00168/01   2008-10-06 -- Null procedures with "out" parameters
    RM References:  12.06 (8.5/2)  
AC95-00169/01   2009-01-24 -- Static-bound array record components treated differently than simple variable
    RM References:  4.09 (14)  
AC95-00170/01   2009-02-12 -- Storage pools for anonymous allocators
    RM References:  4.09 (14)  
AC95-00171/01   2009-02-13 -- Static expressions that will never be evaluated
    RM References:  4.09 (14)  
AC95-00172/01   2009-06-01 -- Generic formal objects and preelaborable generics
    RM References:  10.02.01 (11.1/2)  
AC95-00173/01   2009-06-01 -- Preelaboration rules need loosening?
    RM References:  10.02.01 (5-9)  
AC95-00174/01   2009-06-01 -- Improper use of null access
    RM References:  13.07.01 (7)  
AC95-00175/01   2009-06-01 -- Interfaces in generic bodies
    RM References:  12.05.01 (17/2)  
AC95-00176/01   2009-06-02 -- Calling anonymous subprograms
    RM References:  5.10   
AC95-00177/01   2009-06-08 -- Expanded_Name when inside of a loop
    RM References:  12.05.01 (17/2)  
AC95-00178/01   2009-10-22 -- 'Max_Size_in_Storage_Elements on class-wide types
    RM References:  13.11.01 (3/2)  
AC95-00179/01   2009-10-22 -- Behavior of Ada.Streams.Read when at the end of the stream
    RM References:  13.11.01 (3/2)  
AC95-00180/01   2009-10-29 -- What does nonlimited type mean?
    RM References:  5.02 (5/2)  
AC95-00181/01   2009-10-30 -- Entry call during task finalization?
    RM References:  7.06.01 (3)   9.05.03 (5-21)  
AC95-00182/01   2010-01-15 -- Pragma Features
    RM References:  13.12   
AC95-00183/01   2010-02-08 -- Visibility and inherited operations
    RM References:  7.03.01 (6)   8.03 (10/1)  
AC95-00184/01   2010-02-09 -- System of Units
    RM References:  4.05   
AC95-00185/01   2010-02-10 -- New dependent task created during task finalization
    RM References:  4.08 (10.3/2)   9.02 (6/3)   9.03 (5)  
AC95-00186/01   2010-02-12 -- Generic specialization
    RM References:  12.03   
AC95-00187/01   2010-02-13 -- Wording question about 6.5
    RM References:  6.05 (5.2/3)  
AC95-00188/01   2010-02-13 -- References to prior discriminants in discriminant part?
    RM References:  3.08 (12)  
AC95-00189/01   2010-02-13 -- Import pragma on dynamically-sized array
    RM References:  B.01   
AC95-00190/01   2010-02-13 --  Change type of Root_Stream_Type to interface
    RM References:  13.13.01 (3/2)  
AC95-00191/01   2010-02-19 --  Image attribute for objects
    RM References:  3.05 (35)  
AC95-00192/01   2010-02-19 -- Preconditions are actively harmful
    RM References:  13.03.02 (00)  
AC95-00193/01   2010-02-22 -- 'Input on types that cannot be default initialized
    RM References:  13.13.02 (27/2)  
AC95-00194/01   2010-02-22 -- Assignment to abstract view conversions
    RM References:  3.09.03 (8)  
AC95-00195/01   2010-02-22 -- Interface types can be derived
    RM References:  3.04.01 (2/2)  
AC95-00196/01   2010-10-20 -- Problems with A.5.1 language
    RM References:  A.05.01 (15)   A.05.01 (45)  
AC95-00197/01   2010-10-21 -- Teaching profiles
    RM References:  1.01.01 (1)  
AC95-00198/01   2010-10-21 -- String is packed
    RM References:  3.06.03 (4/2)  
AC95-00199/01   2010-10-21 -- AI05 Spreadsheet
    RM References:  1.01.01 (1)  
AC95-00200/01   2010-10-21 -- 'Access on a single task or protected object
    RM References:  3.10 (9)  
AC95-00201/01   2010-10-21 -- Applying representation pragmas to instances
    RM References:  13.14 (5)  
AC95-00202/01   2010-10-21 -- Ambiguities in the BNF grammar
    RM References:  12.03 (5)  
AC95-00203/01   2010-10-21 -- Discriminant proposals for future Ada standards
    RM References:  12.03 (5)  
AC95-00204/01   2010-10-22 -- Bad parameter name for Solve
    RM References:  G.03.01 (24/2)  
AC95-00205/01   2010-10-22 -- Ada Directories:Directory Separator
    RM References:  A.16 (1/2)  
AC95-00206/01   2010-10-22 -- Containers and type Cursor
    RM References:  A.18.03 (90/2)  
AC95-00207/01   2011-01-26 -- Preelaborable initialization
    RM References:  10.02.01 (11.4/2)  
AC95-00208/01   2011-01-26 -- S'Parent attribute
    RM References:  13.03.02 (00)  
AC95-00209/01   2011-01-28 -- Storage pool pathology (not!)
    RM References:  7.06.01 (11/2)  
AC95-00210/01   2011-01-28 -- Subaggregate that is a string literal of length 0 or 1
    RM References:  4.03.03 (20)  
AC95-00211/01   2011-01-28 -- Ranges of the Vectors output of Eigensystem
    RM References:  G.03.01 (78/3)   G.03.02 (146/3)  
AC95-00212/01   2011-01-28 -- Organization of Clause A.18
    RM References:  A.18 (00)  
AC95-00213/01   2011-01-28 -- Overriding indicators on protected subprogram/entry bodies
    RM References:  8.03.01 (3-4)   9.04 (11.10)   9.04 (11.11)   9.05.02 (5)  
AC95-00214/01   2011-01-28 -- Conflict between inherited subprogram and label
    RM References:  8.03.01 (3-4)   9.04 (11.10)   9.04 (11.11)   9.05.02 (5)  
AC95-00215/01   2011-03-31 -- Positional record aggregates and record extensions
    RM References:  4.03.01 (11)  
AC95-00216/01   2011-03-31 -- Missing checks in 11.5??
    RM References:  11.05 (19)  
AC95-00217/01   2011-03-31 -- Locking of tags table
    RM References:  3.09 (26/2)  
AC95-00218/00   2012-01-06 -- Atomic aspect for generic formals?
    RM References:  13.03.01 (17/3)   C.06 (6.2/3)  
AC95-00219/00   2012-01-06 -- Proposal Ada 2012 concerning Ada.Exceptions.Exception_Infomation
    RM References:  11.04.01 (13/2)  
AC95-00220/00   2012-01-06 -- Function bodies for enumeration literals
    RM References:  13.04 (4)  
AC95-00221/00   2012-01-06 -- "Some" should not be reserved
    RM References:  2.09 (2/3)  
AC95-00222/00   2012-01-21 -- Freezing rules in pragmas
    RM References:  13.14 (8)  
AC95-00223/00   2012-01-21 -- New attribute 'Default
    RM References:  6.01 (19)  
AC95-00224/00   2012-01-21 -- Ada Directories is unable to copy a directory tree
    RM References:  A.16 (69/2)  
AC95-00225/00   2012-01-21 -- Dated example for Annex E
    RM References:  E.04.02 (2)  
AC95-00226/00   2012-01-21 -- Brain malfunction (are generic declarations preelaborable?)
    RM References:  10.02.01 (5)  
AC95-00227/00   2012-01-21 -- Return null
    RM References:  6.05 (2.1/2)  
AC95-00228/00   2012-02-11 -- Priorities work differently for protected types and task types
    RM References:  D.03 (6.1/3)  
AC95-00229/00   2012-02-15 -- Value of Width attribute for a type with aspect Discard_Names
    RM References:  C.05 (7)  
AC95-00230/00   2012-02-18 -- When is the execution time initialized?
    RM References:  D.14 (14.1/3)  
AC95-00231/00   2012-05-01 -- Using 'Range in type declarations
    RM References:  6.05 (2.1/2)  
AC95-00232/00   2012-05-02 -- Side effects in assertions
    RM References:  11.04.02 (27/3)  
AC95-00233/00   2012-05-11 -- Missing "else" in a conditional expression
    RM References:  4.05.07 (18/3)  
AC95-00234/00   2012-05-11 -- Thank you
    RM References:  1 (1)  
AC95-00235/00   2012-06-06 -- Allow subprogram declaration to be completed by instantiation
    RM References:  12.03 (12)  
AC95-00236/00   2012-06-06 -- Aliased variables in Shared_Passive packages?
    RM References:  E.02.01   
AC95-00237/00   2012-08-13 -- There is no Preelaborate_Initialization aspect in Ada 2012
    RM References:  10.02.01 (4.2/2)  
AC95-00238/00   2012-11-21 -- Aliased variables in Shared_Passive packages?
    RM References:  E.02.01   
AC95-00239/00   2012-11-21 -- Ravenscar profile and Partition Elaboration_Policy
    RM References:  H.06   
AC95-00240/00   2013-01-08 -- Generalized fixed/integer multiplication and division
    RM References:  4.05.05   
AC95-00241/00   2013-01-08 -- Cannot determine the base priority of a task in Ravenscar
    RM References:  D.05.01 (8)   D.13 (6/3)  
AC95-00242/00   2013-01-08 -- Active priority in a preconditon of a protected subprogram
    RM References:  6.01.01 (34/3)   D.03 (12)  
AC95-00243/00   2013-01-14 -- Possible errors in the RM examples
    RM References:  5.01 (16)   6.03.01 (8)  
AC95-00244/00   2013-01-14 -- Stand-along objects of anonymous access-to-subprogram types
    RM References:  3.10.02 (13.2/3)   3.10.02 (19.1/3)  
AC95-00245/00   2013-01-31 -- Line length and identifier length the same?
    RM References:  2.02 (14)  
AC95-00246/00   2013-05-09 -- Types with immutably limited components
    RM References:  7.05 (8.1/3)   7.05 (8.2/3)   7.05 (8.3/3)   7.05 (8.4/3)   7.05 (8.5/3)   7.05 (8.6/3)  
AC95-00247/00   2013-05-09 -- Question about extent of tampering checks for formal subprograms
    RM References:  A.18.04 (75.1/3)  
AC95-00248/00   2013-05-09 -- Predicate checking and inherited subprograms
    RM References:  3.04 (27/2)   3.02.04 (31/3)  
AC95-00249/00   2013-05-09 -- Trees
    RM References:  A.18.10 (5/3)  
AC95-00250/00   2013-05-17 -- Incompatiblity in Ada 2012 obsolescent features
    RM References:  13.12.01 (4/3)  
AC95-00251/00   2013-06-10 -- Why Wide_Wide_Character?
    RM References:  3.05.02 (4/2)  
AC95-00252/00   2013-10-24 -- Possible hole with functions that require overriding
    RM References:  3.09.03 (4/3)  
AC95-00253/00   2013-10-24 -- Remainder attribute
    RM References:  A.05.03 (47)  
AC95-00254/00   2013-10-24 -- Parenthesized expressions
    RM References:  3.03 (15-22)  
AC95-00255/00   2013-11-04 -- Nested Container Operations
    RM References:  A.18.04 (15.1/3)   A.18.04 (97.1/3)  
AC95-00256/00   2014-02-09 -- Inherited ignored subtype predicates
    RM References:  3.02.04 (7/3)   3.02.04 (8/3)   3.02.04 (11/3)  
AC95-00257/00   2014-02-09 -- Thoughts on containers
    RM References:  A.18   
AC95-00258/00   2014-02-09 -- Universal fixed-fixed operation and universal real result
    RM References:  G.02.03 (4)  
AC95-00259/00   2014-05-09 -- bounded containers as bounded lists for low memory usage
    RM References:  A.04.04 (1)  
AC95-00260/00   2014-05-09 -- Why isn't 'Size static?
    RM References:  4.09 (2-13)  
AC95-00261/00   2014-06-19 -- State of Ada 2005 Conformity Assessment?
    RM References:  1.01   
AC95-00262/00   2014-10-09 -- We should introduce aliased types
    RM References:  3.10 (9/3)  
AC95-00263/00   2014-10-09 -- Add Element_Access function to Containers.Indefinite_Holders
    RM References:  A.18.18 (5/3)  
AC95-00264/00   2014-10-09 -- Ada.Direct_IO: Index after Create or Open
    RM References:  A.08.02 (3/2)   A.08.02 (7)  
AC95-00265/00   2014-12-04 -- Type invariant rules
    RM References:  7.03.02 (10/3)   7.03.02 (12/3)  
AC95-00266/00   2015-01-29 -- Storage Pool Aspect not defined
    RM References:  A.08.02 (3/2)   A.08.02 (7)  
AC95-00267/00   2015-06-03 -- Pre'Class and LSP when partial view is untagged
    RM References:  6.01.01 (3/3)   6.01.01 (18/4)  
AC95-00268/00   2015-06-03 -- Is a formal package a package?
    RM References:  12.07 (4)   12.07 (9)  
AC95-00269/00   2015-06-04 -- Constant_Indexing question
    RM References:  4.01.06 (2/3)  
AC95-00270/00   2015-06-17 -- Bounded indefinite containers
    RM References:  A.18   
AC95-00271/00   2015-06-17 -- Does a formal_package_declaration freeze the name template package?
    RM References:  4.01.06 (2/3)  
AC95-00272/00   2015-10-05 -- Known and unknown Discriminants
    RM References:  3.07 (4)  
AC95-00273/00   2015-10-05 -- Discriminants would be more useful if they could be used in static expressions
    RM References:  3.08 (12/3)  
AC95-00274/00   2016-01-07 -- First-class functions
    RM References:  3.10 (0)  
AC95-00275/00   2016-03-22 -- Predicate_Failure - expected type is String
    RM References:  3.02.04 (14.3/4)   3.02.04 (44/4)   11.03 (2.1/4)  
AC95-00276/00   2016-03-22 -- Ada.Text_IO.Get_Line corner case
    RM References:  A.10.07 (20)  
AC95-00277/00   2016-05-31 -- Allow Synchronous_Barriers in Ravenscar
    RM References:  D.13 (6/4)  
AC95-00278/00   2016-06-06 -- Extending case statements
    RM References:  5.04 (0)  
AC95-00279/00   2016-06-06 -- Ada OOP and final statement
    RM References:  3.09.02 (2)  
AC95-00280/00   2016-06-06 -- Do subtypes count for determining prefix notation?
    RM References:  3.07 (4)  
AC95-00281/00   2016-08-18 -- Downward conversions
    RM References:  4.06 (50)  
AC95-00282/00   2016-08-18 -- Allow the use of case statements in generic instantiations
    RM References:  12.03 (5)  
AC95-00283/00   2016-08-18 -- Enhancements to standard containers
    RM References:  3.10.01 (10/3)  
AC95-00284/00   2016-12-15 -- Specifiable type for generalized iterator
    RM References:  5.05.02 (2/3)  
AC95-00285/00   2016-12-15 -- Is Bit_Order an aspect?
    RM References:  13.05.03 (4)   K.01 (10/3)  
AC95-00286/00   2017-01-10 -- Generating version 4 of the ARM
    RM References:  1.01 (1/3)  
AC95-00287/00   2017-04-06 -- Problem with subpools?
    RM References:  13.11.04 (6/3)  
AC95-00288/00   2017-04-06 -- Providing an indication of when daylight savings begins/ends
    RM References:  9.06.01 (4/2)   9.06.01 (6/2)  
AC95-00289/00   2017-04-06 -- Legality of static attributes
    RM References:  4.09 (33/3)   4.09 (34/3)   4.09 (35/3)  
AC95-00290/00   2017-04-18 -- Proposal for a simple language change
    RM References:  13.04 (1)   13.05.01 (1)  
AC95-00291/00   2017-09-05 -- Proposal for new function in Interfaces.C.Strings
    RM References:  B.03.01 (16)  
AC95-00292/00   2017-09-05 -- Need a way to convert a constant to a variable
    RM References:  4.06 (24.12/2)  
AC95-00293/00   2017-09-05 -- Convention=>C for enumeration types
    RM References:  B.01 (14.1/4)  
AC95-00294/00   2017-09-07 -- Preconditions for accessibility of function results
    RM References:  6.04.01 (6.4/3)   6.05 (20.1/2)  
AC95-00295/00   2017-09-07 -- Block comments
    RM References:  2.07 (1)  
AC95-00296/00   2017-10-05 -- Support type invariants for null type extensions
    RM References:  7.03.02 (2-3/3)  
AC95-00297/00   2017-10-05 -- Counted strings
    RM References:  3.06.03 (4/2)  
AC95-00298/00   2018-01-11 -- Back and forth conversions between access and address
    RM References:  13.07.02 (5)  
AC95-00299/00   2018-01-11 -- Maximum alignment for an allocator
    RM References:  13.11 (21.5/3)  
AC95-00300/00   2018-01-11 -- Private entities in the middle
    RM References:  8.02 (3)  
AC95-00301/00   2018-01-11 -- Proposal for Ada.Directories
    RM References:  A.16 (27/2)  
AC95-00302/00   2018-01-12 -- Wide_Wide_Character and Wide_Wide_String encoding
    RM References:  2.05 (2)   2.06 (3)  
AC95-00303/00   2018-01-12 -- Restricting overload of concatenation operator
    RM References:  6.06 (5)  
AC95-00304/00   2018-02-21 -- Universal numeric data type
    RM References:  3.05.06 (3)  
AC95-00305/00   2018-02-21 -- Bit Order issues
    RM References:  13.02    13.05.01   
AC95-00306/00   2018-03-28 -- Defining when default initialization happens in a container
    RM References:  A.18.32 (0)  
AC95-00307/00   2018-07-27 -- Non-default bit order
    RM References:  13.05.01 (13.4/2)   13.05.03 (2)   13.05.03 (4)   13.05.03 (5)  
AC95-00308/00   2018-12-14 -- New Idea for coroutines
    RM References:  4.05.09 (0)  
AC95-00309/00   2018-12-14 -- Better Ada
    RM References:  1 (0)  
AC95-00310/00   2018-12-14 -- Mixing square and round brackets in a single aggregate
    RM References:  4.03.05 (0)  
AC95-00311/00   2018-12-14 -- allow exit in reduction expressions?
    RM References:  4.05.09 (0)  
AC95-00312/00   2018-12-14 -- Equality Operator
    RM References:  4.05.02 (7)  
AC95-00313/00   2019-01-04 -- Evaluation of enumeration literals
    RM References:  3.05.01 (11)   4.01 (11/2)  
AC95-00314/00   2019-01-04 -- '@' strikes again
    RM References:  5.02.01 (07)  
AC95-00315/00   2019-01-08 -- AI12-0020 streams and text encodings
    RM References:  4.05.02 (7)  
AC95-00316/00   2019-02-01 -- Two spaces are better (?) than one
    RM References:  1 (1)  
AC95-00317/00   2019-03-08 -- Fun facts about the Ada Reference Manual
    RM References:  1.01.02 (0)  
AC95-00318/00   2019-09-04 -- PCTE Ada Binding
    RM References:  1.01 (0)  
AC95-00319/00   2019-09-04 -- Problem with 3.10.1
    RM References:  3.10.01 (2.4/3)  
AC95-00320/00   2019-09-05 -- Provide Accessibility_Level attribute
    RM References:  4.05.02 (7)  
AC95-00321/00   2020-01-14 -- Prototypes of System.Atomic_Operations
    RM References:  C.06.01    C.06.02    C.06.03    C.06.04   
AC95-00322/00   2020-01-14 -- Generic signature package subprogram visibility
    RM References:  12.07 (10/2)  
AC95-00323/00   2020-01-29 -- Intro/Rationale for the Global aspect and Compound objects
    RM References:  6.01.02 (0)  
AC95-00324/00   2020-01-31 -- SPARK unable to work under No_Implementation_Aspect_Specifications & No_Implemen
    RM References:  13.12.01 (1.1/3)   13.12.01 (3/2)  
AC95-00325/00   2020-01-31 -- Simplified string splitting / tokenizing with Procedural Iterators
    RM References:  A.04.03 (16)  
AC95-00326/00   2020-03-05 -- Subpools and Deallocation
    RM References:  13.11.04 (35/4)  
AC95-00327/00   2020-03-09 -- Non-contiguous range of enumeration types
    RM References:  3.02.04 (15/3)   5.04 (7/4)   13.09.02 (3/4)  
AC95-00328/00   2020-03-22 -- Extended number bases
    RM References:  2.04.02 (6)  
AC95-00329/00   2020-06-05 -- Declare expressions with exception handlers
    RM References:  4.05.09 (2/5)  
AC95-00330/00   2020-09-03 -- Prefix Big_ is incorrect
    RM References:  A.05.05 (0)   A.05.06 (0)   A.05.07 (0)  
AC95-00331/00   2020-09-03 -- Calendar.Formatting.Image contract improvements
    RM References:  9.06.01 (35/2)   9.06.01 (36/2)  
AC95-00332/00   2020-09-03 -- Unchecked_Union query
    RM References:  B.03.03 (20/2)   B.03.03 (22/2)   B.03.03 (23/2)  
AC95-00333/00   2020-09-04 -- PAda 2x AIs that AdaCore will not implement
    RM References:  5.05 (0)  
AC95-00334/00   2020-10-14 -- Periods inside or outside quotes?
    RM References:  1.01 (0)  
AC95-00335/00   2020-10-14 -- Query about the Nonblocking aspect
    RM References:  9.05 (32/5)   9.05 (33/5)  
AC95-00336/00   2020-10-14 -- Query about Test_And_Set
    RM References:  C.06.03 (0)  
AC95-00337/00   2020-12-02 -- Importance of "cosmetic" changes
    RM References:  1.01.03 (0)  
AC95-00338/00   2021-11-11 -- Spaces in To_Quotient_String
    RM References:  A.05.07 (19/5)  
AC95-00339/00   2021-11-11 -- Erroneousness of functions of Task_Id
    RM References:  C.07.01 (18)  
AC95-00340/00   2022-01-24 -- Lower bound of Ada.Strings.Overwrite
    RM References:  A.04.03 (82/3)