Version 1.34 of acs/ac-summary.txt

Unformatted version of acs/ac-summary.txt version 1.34
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.)
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: 3.08 (12)
AC95-00082/01 2003-11-19 -- Increase uniformity of implementations
RM References: 3.08 (12)
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 -- Can't pass limited constants into a generic
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/02 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)

Questions? Ask the ACAA Technical Agent