Version 1.62 of acs/ac-summary.txt

Unformatted version of acs/ac-summary.txt version 1.62
Other versions for file acs/ac-summary.txt

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)
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)

Questions? Ask the ACAA Technical Agent