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: 3.08 (12) AC-00082/01 2003-11-19 -- Increase uniformity of implementations RM References: 3.08 (12) 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 -- Can't pass limited constants into a generic 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)