|
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.
ACs listed in numeric orderAC95-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) |