ISO/IEC JTC1/SC22/WG9 N 324
Resolutions
Meeting #31 of ISO/IEC JTC1/SC22/WG9

Saturday, 7 December 1996
Philadelphia, Pennsylvania, USA

Reported by James W. Moore, Convener (Acting)
moorej@acm.org, 703.883.7396

1. WG9 approves the following AIs, which have been previously approved by the ARG:

• AI95-00003/00 -- Access types declared in shared passive generic packages
• AI95-00004/05 -- Conversions to types derived from remote access types
• AI95-00007/00 -- Typo: Enumeration_IO would allow instantiation for an [float] {integer} type
• AI95-00014/01 -- ... and {its calling convention} shall not be Intrinsic.
• AI95-00031/02 -- Unpacking a record type with primitive subprograms
• AI95-00035/03 -- Type descriptors can be laid out at compile time
• AI95-00037/06 -- In Interfaces.C, nul and wide_nul represent zero
• AI95-00040/04 -- A box for a formal subprogram_default freezes the actual
• AI95-00041/07 -- Program unit pragmas in generic units
• AI95-00044/04 -- Overriding by Implicit Declarations
• AI95-00048/07 -- An RCI unit can be a library subprogram
• AI95-00059/01 -- Specifying Storage size for tasks
• AI95-00063/04 -- Erroneous execution for closing default files
• AI95-00071/02 -- Correction to the Valid function in COBOL Interface
• AI95-00072/02 -- Clarification of result length for conversions in COBOL Interface
• AI95-00073/00 -- Pragmas are allowed in generic_formal_parts.
• AI95-00074/01 -- Pragma Inline Requires an Argument
• AI95-00087/02 -- Saving and restoring Current_Output
• AI95-00089/04 -- Float_Random.Value, Discrete_Random.Value
• AI95-00092/05 -- Priority changes due to Set_Priority and Hold are not transitive
• AI95-00106/05 -- Freezing Rules
• AI95-00107/05 -- Base attribute for non-scalar subtypes?
• AI95-00108/02 -- Inheritance of Stream Attributes for Type Extensions
• AI95-00110/03 -- No Constraint Check on 'out' Parameter of an Access Type
• AI95-00112/03 -- Wide_String file names
• AI95-00115/00 -- Controlled types in language-defined generic packages
• AI95-00118/03 -- Termination signals query of Terminate attribute
• AI95-00127/04 -- Expected type of a 'Access attribute
• AI95-00134/01 -- Source Representation
• AI95-00136/05 -- Placement of Program Unit Pragmas in Generic Packages
• AI95-00137/01 -- Attribute definition clause for Stream Attributes
• AI95-00139/02 -- Interfaces.C.Strings.Value Raises Constraint_Error when Length is 0
• AI95-00140/01 -- Semantics of Interfaces.C.Strings.To_Char_Ptr when Nul_Check is False

2. WG9 approves the following confirmation AIs, which have been previously approved by the ARG:

• AI95-00006/01 -- private child in with_clause
• AI95-00018/03 -- Inconsistency with Ada 83 in the definition of exponentiation
• AI95-00025/02 -- Matching rules for generic formal access-to-constant types
• AI95-00032/01 -- visible part of a renaming
• AI95-00042/02 -- use of incomplete types
• AI95-00045/02 -- Servicing of entry calls is part of a protected action
• AI95-00077/02 -- Separate compilation of generic bodies
• AI95-00078/02 -- semantic dependence on illegal or obsolete units

3. WG9 approves the following AIs, which have been previously approved by the ARG:

• AI95-00033/04 -- delayed declaration of inherited primitive subprograms
• AI95-00034/02 -- Unconstrained Formal types
• AI95-00095/02 -- Modular types on one's complement machines.
• AI95-00097/05 -- Conversions between access types with different representations.
• AI95-00121/04 -- Pragma Attach_Handler on Nested Objects
• AI95-00124/03 -- The AE characters are allowed in identifiers
• AI95-00145/02 -- Profile of predefined operators for scalar types

4. WG9 thanks the retiring convener, Robert Mathis, for his work and leadership, including the behind-the-scenes efforts we could not see, for more than ten years in support of Ada standardization.