This is a summary 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.) AC-00001/01 2000-09-25 -- Resolution of the prefix of 'Address RM References: 8.06 (01) AC-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) AC-00003/01 2000-10-30 -- Generic formal parameter control for generic sharing RM References: 12.05.02 (00) AC-00004/01 2000-12-21 -- When do approved AIs take effect? RM References: 1.01.03 (00) AC-00005/01 2001-01-23 -- A general-purpose modular type ought to be predefined RM References: 3.05.04 (11) AC-00006/01 2001-02-12 -- The Valid attribute should be defined for composite types RM References: 13.09.02 (02) AC-00007/01 2001-02-12 -- Surprising results from floating point 'Remainder function RM References: A.05.03 (45) AC-00008/01 2001-05-31 -- Blocking calls in protected object subprograms RM References: 9.05.01 (8) AC-00009/01 2001-06-01 -- Dynamic view conversion RM References: 4.06 (00) AC-00010/01 2001-09-05 -- Adjust Storage_Error gets converted to Program_Error RM References: 7.06.01 (16) AC-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) AC-00012/00 2001-09-20 -- Finalization called by aggregate during elaboration RM References: 7.06 (21) 7.06.01 (13) 7.06 (17.1) AC-00013/00 2001-09-20 -- Finalization raises exception during assignment RM References: 7.06.01 ( 9) 7.06.01 (15) AC-00014/01 2001-10-16 -- Visibility of parameter names RM References: 6.01 (17) AC-00015/01 2001-10-16 -- Unchecked attribute RM References: 13.09 (3) AC-00016/01 2001-10-16 -- pragma Read_Only RM References: 6.03.02 (3) AC-00017/01 2001-11-02 -- Are discriminant constraints required to be static? RM References: 4.03.01 (17) AC-00018/01 2001-11-07 -- Scope of use_clause RM References: 8.04 (06) AC-00019/01 2001-11-20 -- Private part unseen by package body RM References: 7.03 (01) AC-00020/01 2001-12-05 -- Instantiating a generic with the same name RM References: 8.02 (02) AC-00021/01 2001-12-01 -- Presentation issues in the Consolidated RM RM References: 1.01 (00) AC-00022/01 2002-01-07 -- Query about placement of pragma Export RM References: B.01 (06) AC-00023/01 2002-01-23 -- Component alignment precedence: pragma Convention vs compiler default RM References: B.01 (30) B.01 (41) AC-00024/01 2002-01-23 -- Visibility of predefined modular boolean operators RM References: 4.05 (09) 4.05.01 (2) AC-00025/01 2002-01-23 -- Visibility of derived operations from private part of parent RM References: 3.04 (23) 7.03.01 (06) AC-00026/01 2002-01-23 -- User-defined type conversion RM References: 4.06 (01) AC-00027/01 2002-02-19 -- Profiling RM References: 11.04.01 (01) AC-00028/01 2002-02-19 -- Splitting and Joining Strings RM References: A.04.05 (00) AC-00029/01 2002-02-19 -- Subprogram declaration completed by pragma RM References: 6.01 (20) 2.08 (17) 2.08 (18) AC-00030/01 2002-04-23 -- Enhancements of the predefined language library? RM References: A (1) AC-00031/01 2002-04-26 -- 'ACCESS on generic formal objects RM References: 12.04 (10) AC-00032/01 2002-04-26 -- Preferred interpretations for modular type operations RM References: 8.06 (29) AC-00033/01 2002-05-03 -- Child packages of nested packages RM References: 10.01.01 (1) AC-00034/01 2002-05-03 -- Does a body freeze an incomplete type? RM References: 13.14 ( 3) AC-00035/01 2002-05-24 -- Protected Block RM References: 9.04 AC-00036/01 2002-05-24 -- Additional grouping characters RM References: 4.04 AC-00037/01 2002-05-28 -- Parenthesizing expression makes a difference RM References: 5.04 (7) AC-00038/01 2002-05-30 -- Stream attributes on tasks, protected types? RM References: 13.13.02 AC-00039/01 2002-06-11 -- Incomplete types and dispatching. RM References: 13.13.02 AC-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) AC-00041/01 2002-06-13 -- Incomplete types and dispatching. RM References: 9.05.02 (3) 9.05.02 (8) AC-00042/01 2002-07-11 -- Exception raised by Complex_IO.Get RM References: G.01.03 (11-19) AC-00043/01 2002-08-28 -- Should all documentation requirements be in Annex M? RM References: M (00) AC-00044/01 2002-08-28 -- Addition of Current_Exception function to Ada.Exceptions package RM References: 11.04.01 (00) AC-00045/01 2002-08-28 -- Reference to discriminant of incomplete private type RM References: 7.03 (05) AC-00046/01 2002-08-28 -- Function on untagged partial view must be overridden? RM References: 3.09.03 (4-6) 3.09.02 (2) AC-00047/01 2002-12-05 -- Converting from untagged to tagged type RM References: 4.06 (15) 4.06 (24) 4.06 (42) AC-00048/01 2002-12-05 -- Holey enumeration types and array indexing RM References: 4.06 (15) 4.06 (24) 4.06 (42) AC-00049/01 2002-09-30 -- Private envelope types RM References: 7.04 (00) AC-00050/01 2002-09-25 -- Controlled types declared in nested scopes RM References: 7.06 (00) AC-00051/01 2003-01-23 -- Random number packages should be pure RM References: A.05.02 (00) AC-00052/01 2003-01-23 -- Private discrete types RM References: 7.03 (00) AC-00053/01 2003-06-23 -- How far does Unchecked_Access propagate? RM References: 13.10 (03) AC-00054/01 2003-06-23 -- Address clauses and the linear elaboration model RM References: 13.14 (01) AC-00055/01 2003-06-23 -- discriminant_association grammar rule found misleading RM References: 3.07.01 (03) AC-00056/01 2003-06-23 -- Base and class attributes RM References: 3.05 (15) 3.09 (14) AC-00057/01 2003-07-22 -- Warnings for unrecognized pragmas should be advice, not a requirement RM References: 2.08 (13) AC-00058/01 2003-07-22 -- Pragma Unreferenced RM References: C.08 (01) AC-00059/01 2003-07-24 -- discriminant_association grammar rule found misleading RM References: 13.13.01 (08) AC-00060/02 2003-09-29 -- (deleted) RM References: 13.14 (05) AC-00061/01 2003-07-30 -- Bodyless packages RM References: 7.01 (01) AC-00062/01 2003-07-30 -- Private with in a generic package RM References: 7.01 (01) AC-00063/01 2003-07-30 -- Ada compilers RM References: 1.01 (01) AC-00064/01 2003-07-31 -- Converting application types to Storage_Array RM References: 7.01 (01) AC-00065/01 2003-07-31 -- Instantiation before package body is known to exist RM References: 12.03 (00) AC-00066/01 2003-07-31 -- Instantiating generic with same name RM References: 8.02 (02) AC-00067/01 2003-08-04 -- Ada should disallow syntactic and semantic extensions RM References: 1.01.03 (04) AC-00068/01 2003-08-04 -- Too strict Unchecked_Conversion alignment requirement RM References: 13.09 (07) AC-00069/01 2003-08-04 -- Generic formal package referring to enclosing generic RM References: 12.07 (04) AC-00070/01 2003-08-04 -- Number_Base enlargement RM References: A.10.01 (06) AC-00071/01 2003-08-04 -- Derived generic packages RM References: 12.03 (01) AC-00072/01 2003-09-07 -- Initial values for types RM References: 3.02.01 (03) AC-00073/01 2003-09-12 -- Is this legal? RM References: 3.02.01 (03) AC-00074/01 2003-09-12 -- Aliased record components RM References: 3.10 (09) AC-00075/01 2003-09-12 -- Special dope vector for pointers to unconstrained arrays RM References: 3.10 (09) AC-00076/01 2003-09-12 -- Is there a requirement that equality must compose for "predefined types"? RM References: 4.05.02 (32.1/1) AC-00077/01 2003-09-12 -- Pragma export on overloaded subprograms RM References: B.01 (46) AC-00078/01 2003-09-07 -- Proposal for a "with and use" clause RM References: 3.02.01 (03) AC-00079/01 2003-09-16 -- Aliased views RM References: 7.03 (02) AC-00080/01 2003-09-17 -- Components of an array type RM References: 3.08 (12) AC-00081/01 2003-09-17 -- (null array) aggregate RM References: 4.03.03 (2) AC-00082/01 2003-11-19 -- Increase uniformity of implementations RM References: 1.01.01 (01) AC-00083/01 2003-12-04 -- Statistics packages RM References: A.05 (00) AC-00084/01 2003-12-05 -- Performance of unconstrained function calls RM References: 6.04 (00) AC-00085/01 2003-12-05 -- Can't pass limited constants into a generic RM References: 12.04 (08) AC-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) AC-00087/01 2003-12-05 -- Universal integer ranges RM References: 4.05.02 (03) 3.05 (04) 3.05 (05) 4.04 (03) AC-00088/01 2003-12-05 -- Unchecked type conversion RM References: 13.09 (06) 13.09 (08) AC-00089/01 2003-12-05 -- Representation clause for nested records RM References: 13.05.01 (00) AC-00090/01 2003-12-05 -- Literals for private types RM References: 7.03.01 (00) AC-00091/01 2004-02-05 -- Some gripe about Alignment RM References: 13.03 (23) AC-00092/01 2004-02-05 -- Default Out Parameters RM References: 6.01 AC-00093/01 2004-02-05 -- Limit attribute RM References: 3.05 (11) AC-00094/01 2004-02-27 -- Exception raised in wrong place RM References: B.01 (46) AC-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) AC-00096/01 2004-04-23 -- Overlaying Address clause onto constant RM References: 13.01 (19) 13.01 (20) AC-00097/01 2004-04-23 -- Database I/O RM References: A.01 AC-00098/01 2004-04-23 -- Unspecified behavior for numeric type conversions RM References: 4.06 (32) AC-00099/01 2004-06-02 -- Possible hole related to AI83-00012 RM References: 8.03 (12) 8.03 (13) 8.03 (26/1) AC-00100/01 2004-06-02 -- Dereference hook RM References: 13.11 AC-00101/01 2004-10-05 -- New for constants RM References: 13.11 (24) AC-00102/01 2004-10-05 -- Generic formal packages that can't be matched RM References: 12.07 (6) AC-00103/01 2004-11-11 -- Record representation clauses on type extensions RM References: 13.05.01 (11) AC-00104/01 2004-11-14 -- Accessibility of anonymous function results RM References: 3.10.02 (13) AC-00105/01 2005-01-20 -- Appendix A para 3 - re-entrancy of language defined subprograms RM References: A (3) AC-00106/01 2005-01-20 -- Renaming-as-body can't rename inherited subprogram RM References: 8.05.04 (5) 6.03.01 (7) AC-00107/01 2005-01-20 -- Allocators and maximum object size RM References: 13.11 (16) AC-00108/01 2005-01-27 -- Unchecked_Conversion RM References: 13.09 (6) AC-00109/01 2005-01-27 -- Generic shift routines RM References: B.02 (6) AC-00110/01 2005-02-09 -- Revision timings RM References: AC-00111/01 2005-09-16 -- Editorial comments on Draft 13 RM References: AC-00112/01 2005-10-20 -- Real Iterators for Ada RM References: 5.05 (00) AC-00113/01 2005-10-20 -- Null procedures as completions RM References: 6.07 (00) AC-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) AC-00115/01 2005-10-21 -- Pragma argument associations RM References: 2.08 (4) AC-00116/01 2005-10-21 -- Difference between shared variables and protected components RM References: 9.10 (0) 9.05.01 (0) AC-00117/01 2005-10-21 -- Unserialized access to protected components via access types RM References: 9.04 (0) 3.10.02 (0) AC-00118/02 2006-03-15 -- (deleted) RM References: 4.01 (2) 4.07 (0) AC-00119/01 2005-10-24 -- Extending a primitive routine RM References: 8.03.01 (0/2) AC-00120/01 2005-10-24 -- (deleted) RM References: A.18 (0/2) AC-00121/02 2006-03-17 -- (deleted) RM References: 3.05 (13) AC-00122/02 2006-03-17 -- (deleted) RM References: 13.13.02 (52/2) AC-00123/01 2005-10-24 -- The "not private" part RM References: 7.01 (6) AC-00124/01 2006-01-04 -- Real-time membership tests with multiple inheritance RM References: 4.05.02 (30/2) AC-00125/01 2006-01-04 -- Access parameters for task entries RM References: 9.05.02 (13) AC-00126/01 2006-01-06 -- Unspecified RM References: H.02 (1) AC-00127/01 2006-01-06 -- Line length, wide characters, and source representation RM References: 2.02 (14) AC-00128/01 2006-03-15 -- External Tags RM References: 13.03 (75/1) AC-00129/01 2006-05-11 -- Resolving the prefix of an attribute RM References: 4.01.04 (6) AC-00130/01 2006-05-11 -- Use type doesn't give you enumeration literals RM References: 8.04 (8) AC-00131/01 2006-05-11 -- Elaboration checks and generic bodies RM References: 3.11 (13) 10.02 (9) AC-00132/01 2006-06-02 -- Legality checking for implicitly declared generics RM References: 10.01.01 (19/2) 12.03 (11) AC-00133/01 2006-11-06 -- Case statement anomolies RM References: 5.04 (6-10) 4.09 AC-00134/01 2006-11-06 -- Conformance rule for access-to-subprogram reference RM References: 3.10.02 (2.2/2) AC-00135/01 2006-11-06 -- Update to language interfaces annex sections? RM References: B.05 AC-00136/01 2006-11-06 -- Ada should have elementary sets RM References: 3.05 AC-00137/01 2006-11-13 -- Specifying overloaded routines in a generic instance RM References: 12.03 AC-00138/01 2006-12-15 -- When should leap seconds be supported? RM References: 9.06.01 (89/2) AC-00139/01 2007-01-22 -- Deallocating timing events in Ada.Real_Time.Timing_events timing event handler RM References: D.15 (22/2) AC-00140/01 2007-02-16 -- What is the accessibility of 'Unchecked_Access? RM References: 13.10 (3) AC-00141/01 2007-04-06 -- Possible grammatical ambiguity RM References: 8.03.01 (5/2) AC-00142/01 2007-05-04 -- Limited constants considered limiting RM References: 7.05 (2,1/2) AC-00143/01 2007-08-03 -- Limited type extensions and build-in-place RM References: 7.05 (2.1/2) AC-00144/01 2007-08-03 -- Build-in-place and extended return RM References: 7.05 (8.1/2) AC-00145/01 2007-08-03 -- Add a way for a constraint to statically match RM References: 4.09.01 (1.2/2) AC-00146/01 2007-08-03 -- Streaming access discriminants RM References: 4.09.01 (1.2/2) AC-00147/01 2007-10-15 -- Limited types, initialization, and type conversion RM References: 4.09.01 (1.2/2) AC-00148/01 2007-10-23 -- 'Address of anonymous objects and tasks? RM References: 13.03 (16) AC-00149/01 2007-10-24 -- Out of range array aggregates and build-in-place RM References: 7.05 (8.1/2) AC-00150/01 2007-10-24 -- Import pragma in package body and overloading RM References: B.01 (22) AC-00151/01 2007-12-06 -- Standard_Output of different Text_IO packages RM References: A.10 (5) AC-00152/01 2007-12-06 -- Using floating point correctly is hard RM References: 3.02 (8) AC-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) AC-00154/01 2007-12-06 -- Historical question: why are constraints ignored in renamings? RM References: 8.05.01 (6) 8.05.04 (7) AC-00155/01 2008-01-16 -- Categorization of Strings.Wide_Maps and children RM References: A.04.07 (46.2/2) AC-00156/01 2008-01-18 -- Contracts in Ada RM References: 11.04.02 AC-00157/01 2008-01-18 -- User-defined constraints RM References: 13.15 AC-00158/01 2008-03-05 -- Availability of stream attributes RM References: 13.13.02 AC-00159/01 2008-03-05 -- An expanded name in a protected body is an internal call RM References: 4.01.03 (4) AC-00160/01 2008-05-10 -- Dereference of 'Access attribute RM References: 3.10.02 (24) AC-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) AC-00162/01 2008-05-10 -- Clarification of 3.8(13) RM References: 3.08 (13) AC-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) AC-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) AC-00165/01 2008-07-12 -- Definition of primitive subprogram RM References: 3.02.03 (1) AC-00166/01 2008-08-08 -- Recursion and tag equality RM References: 3.09 (4/2) AC-00167/01 2008-10-06 -- Actual for generic formal abstract subprogram RM References: 12.06 (8.5/2) AC-00168/01 2008-10-06 -- Null procedures with "out" parameters RM References: 12.06 (8.5/2) AC-00169/01 2009-01-24 -- Static-bound array record components treated differently than simple variable RM References: 4.09 (14) AC-00170/01 2009-02-12 -- Storage pools for anonymous allocators RM References: 4.09 (14) AC-00171/01 2009-02-13 -- Static expressions that will never be evaluated RM References: 4.09 (14) AC-00172/01 2009-06-01 -- Generic formal objects and preelaborable generics RM References: 10.02.01 (11.1/2) AC-00173/01 2009-06-01 -- Preelaboration rules need loosening? RM References: 10.02.01 (5-9) AC-00174/01 2009-06-01 -- Improper use of null access RM References: 13.07.01 (7) AC-00175/01 2009-06-01 -- Interfaces in generic bodies RM References: 12.05.01 (17/2) AC-00176/01 2009-06-02 -- Calling anonymous subprograms RM References: 5.10 AC-00177/01 2009-06-08 -- Expanded_Name when inside of a loop RM References: 12.05.01 (17/2) AC-00178/01 2009-10-22 -- 'Max_Size_in_Storage_Elements on class-wide types RM References: 13.11.01 (3/2) AC-00179/01 2009-10-22 -- Behavior of Ada.Streams.Read when at the end of the stream RM References: 13.11.01 (3/2) AC-00180/01 2009-10-29 -- What does nonlimited type mean? RM References: 5.02 (5/2) AC-00181/01 2009-10-30 -- Entry call during task finalization? RM References: 7.06.01 (3) 9.05.03 (5-21) AC-00182/01 2010-01-15 -- Pragma Features RM References: 13.12 AC-00183/01 2010-02-08 -- Visibility and inherited operations RM References: 7.03.01 (6) 8.03 (10/1) AC-00184/01 2010-02-09 -- System of Units RM References: 4.05 AC-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) AC-00186/01 2010-02-12 -- Generic specialization RM References: 12.03 AC-00187/01 2010-02-13 -- Wording question about 6.5 RM References: 6.05 (5.2/3) AC-00188/01 2010-02-13 -- References to prior discriminants in discriminant part? RM References: 3.08 (12) AC-00189/01 2010-02-13 -- Import pragma on dynamically-sized array RM References: B.01 AC-00190/01 2010-02-13 -- Change type of Root_Stream_Type to interface RM References: 13.13.01 (3/2) AC-00191/01 2010-02-19 -- Image attribute for objects RM References: 3.05 (35) AC-00192/01 2010-02-19 -- Preconditions are actively harmful RM References: 13.03.02 (00) AC-00193/01 2010-02-22 -- 'Input on types that cannot be default initialized RM References: 13.13.02 (27/2) AC-00194/01 2010-02-22 -- Assignment to abstract view conversions RM References: 3.09.03 (8) AC-00195/01 2010-02-22 -- Interface types can be derived RM References: 3.04.01 (2/2) AC-00196/01 2010-10-20 -- Problems with A.5.1 language RM References: A.05.01 (15) A.05.01 (45) AC-00197/01 2010-10-21 -- Teaching profiles RM References: 1.01.01 (1) AC-00198/01 2010-10-21 -- String is packed RM References: 3.06.03 (4/2) AC-00199/01 2010-10-21 -- AI05 Spreadsheet RM References: 1.01.01 (1) AC-00200/01 2010-10-21 -- 'Access on a single task or protected object RM References: 3.10 (9) AC-00201/01 2010-10-21 -- Applying representation pragmas to instances RM References: 13.14 (5) AC-00202/01 2010-10-21 -- Ambiguities in the BNF grammar RM References: 12.03 (5) AC-00203/01 2010-10-21 -- Discriminant proposals for future Ada standards RM References: 12.03 (5) AC-00204/01 2010-10-22 -- Bad parameter name for Solve RM References: G.03.01 (24/2) AC-00205/01 2010-10-22 -- Ada Directories:Directory Separator RM References: A.16 (1/2) AC-00206/01 2010-10-22 -- Containers and type Cursor RM References: A.18.03 (90/2) AC-00207/01 2011-01-26 -- Preelaborable initialization RM References: 10.02.01 (11.4/2) AC-00208/01 2011-01-26 -- S'Parent attribute RM References: 13.03.02 (00) AC-00209/01 2011-01-28 -- Storage pool pathology (not!) RM References: 7.06.01 (11/2) AC-00210/01 2011-01-28 -- Subaggregate that is a string literal of length 0 or 1 RM References: 4.03.03 (20) AC-00211/01 2011-01-28 -- Ranges of the Vectors output of Eigensystem RM References: G.03.01 (78/3) G.03.02 (146/3) AC-00212/01 2011-01-28 -- Organization of Clause A.18 RM References: A.18 (00) AC-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) AC-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) AC-00215/01 2011-03-31 -- Positional record aggregates and record extensions RM References: 4.03.01 (11) AC-00216/01 2011-03-31 -- Missing checks in 11.5?? RM References: 11.05 (19) AC-00217/01 2011-03-31 -- Locking of tags table RM References: 3.09 (26/2) AC-00218/00 2012-01-06 -- Atomic aspect for generic formals? RM References: 13.03.01 (17/3) C.06 (6.2/3) AC-00219/00 2012-01-06 -- Proposal Ada 2012 concerning Ada.Exceptions.Exception_Infomation RM References: 11.04.01 (13/2) AC-00220/00 2012-01-06 -- Function bodies for enumeration literals RM References: 13.04 (4) AC-00221/00 2012-01-06 -- "Some" should not be reserved RM References: 2.09 (2/3) AC-00222/00 2012-01-21 -- Freezing rules in pragmas RM References: 13.14 (8) AC-00223/00 2012-01-21 -- New attribute 'Default RM References: 6.01 (19) AC-00224/00 2012-01-21 -- Ada Directories is unable to copy a directory tree RM References: A.16 (69/2) AC-00225/00 2012-01-21 -- Dated example for Annex E RM References: E.04.02 (2) AC-00226/00 2012-01-21 -- Brain malfunction (are generic declarations preelaborable?) RM References: 10.02.01 (5) AC-00227/00 2012-01-21 -- Return null RM References: 6.05 (2.1/2) AC-00228/00 2012-02-11 -- Priorities work differently for protected types and task types RM References: D.03 (6.1/3) AC-00229/00 2012-02-15 -- Value of Width attribute for a type with aspect Discard_Names RM References: C.05 (7) AC-00230/00 2012-02-18 -- When is the execution time initialized? RM References: D.14 (14.1/3) AC-00231/00 2012-05-01 -- Using 'Range in type declarations RM References: 6.05 (2.1/2) AC-00232/00 2012-05-02 -- Side effects in assertions RM References: 11.04.02 (27/3) AC-00233/00 2012-05-11 -- Missing "else" in a conditional expression RM References: 4.05.07 (18/3) AC-00234/00 2012-05-11 -- Thank you RM References: 1 (1) AC-00235/00 2012-06-06 -- Allow subprogram declaration to be completed by instantiation RM References: 12.03 (12) AC-00236/00 2012-06-06 -- Aliased variables in Shared_Passive packages? RM References: E.02.01 AC-00237/00 2012-08-13 -- There is no Preelaborate_Initialization aspect in Ada 2012 RM References: 10.02.01 (4.2/2) AC-00238/00 2012-11-21 -- Aliased variables in Shared_Passive packages? RM References: E.02.01 AC-00239/00 2012-11-21 -- Ravenscar profile and Partition Elaboration_Policy RM References: H.06 AC-00240/00 2013-01-08 -- Generalized fixed/integer multiplication and division RM References: 4.05.05 AC-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) AC-00242/00 2013-01-08 -- Active priority in a preconditon of a protected subprogram RM References: 6.01.01 (34/3) D.03 (12) AC-00243/00 2013-01-14 -- Possible errors in the RM examples RM References: 5.01 (16) 6.03.01 (8) AC-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) AC-00245/00 2013-01-31 -- Line length and identifier length the same? RM References: 2.02 (14) AC-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) AC-00247/00 2013-05-09 -- Question about extent of tampering checks for formal subprograms RM References: A.18.04 (75.1/3) AC-00248/00 2013-05-09 -- Predicate checking and inherited subprograms RM References: 3.04 (27/2) 3.02.04 (31/3) AC-00249/00 2013-05-09 -- Trees RM References: A.18.10 (5/3) AC-00250/00 2013-05-17 -- Incompatiblity in Ada 2012 obsolescent features RM References: 13.12.01 (4/3) AC-00251/00 2013-06-10 -- Why Wide_Wide_Character? RM References: 3.05.02 (4/2) AC-00252/00 2013-10-24 -- Possible hole with functions that require overriding RM References: 3.09.03 (4/3) AC-00253/00 2013-10-24 -- Remainder attribute RM References: A.05.03 (47) AC-00254/00 2013-10-24 -- Parenthesized expressions RM References: 3.03 (15-22) AC-00255/00 2013-11-04 -- RM References: A.18.04 (15.1/3) A.18.04 (97.1/3) AC-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) AC-00257/00 2014-02-09 -- Thoughts on containers RM References: A.18 AC-00258/00 2014-02-09 -- Universal fixed-fixed operation and universal real result RM References: G.02.03 (4) AC-00259/00 2014-05-09 -- bounded containers as bounded lists for low memory usage RM References: A.04.04 (1) AC-00260/00 2014-05-09 -- Why isn't 'Size static? RM References: 4.09 (2-13) AC-00261/00 2014-06-19 -- State of Ada 2005 Conformity Assessment? RM References: 1.01 AC-00262/00 2014-10-09 -- We should introduce aliased types RM References: 3.10 (9/3) AC-00263/00 2014-10-09 -- Add Element_Access function to Containers.Indefinite_Holders RM References: A.18.18 (5/3) AC-00264/00 2014-10-09 -- Ada.Direct_IO: Index after Create or Open RM References: A.08.02 (3/2) A.08.02 (7) AC-00265/00 2014-12-04 -- Type invariant rules RM References: 7.03.02 (10/3) 7.03.02 (12/3) AC-00266/00 2015-01-29 -- Storage Pool Aspect not defined RM References: A.08.02 (3/2) A.08.02 (7) AC-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) AC-00268/00 2015-06-03 -- Is a formal package a package? RM References: 12.07 (4) 12.07 (9) AC-00269/00 2015-06-04 -- Constant_Indexing question RM References: 4.01.06 (2/3) AC-00270/00 2015-06-17 -- Bounded indefinite containers RM References: A.18 AC-00271/00 2015-06-17 -- Does a formal_package_declaration freeze the name template package? RM References: 4.01.06 (2/3)