ISO/IEC JTC1/SC22/WG9 N331 -- Resolutions from Meeting #32 RESOLUTION: The Minutes of Meeting #31 (N323) are approved with the following corrections: 1. his term will run though August 2000: though -> through 2. contains the Table of Contents, Forward, General, and: Forward -> Foreword 3. between 1.1.96 and 31.11.96: 31 -> 30 (Erhard said 31, but November has 30 days only.) 4. whether technical details of AIs should discussed at WG-9 meetings: should -> should be 5. Tom Plumb has replaced him: Plumb -> Plum RESOLUTION: Meetings #33 and #34 of ISO/IEC JTC1/SC22/WG9 are scheduled as follows: * Meeting #33: Friday, 14 Nov 1997, with Tri-Ada in St. Louis, Missouri, USA * Meeting #34: Friday, 12 June 1998, with Ada-Europe, Uppsala, Sweden Rapporteur Groups are encouraged to meet in Ottawa, Canada in conjunction with the SC22 Plenary meeting, 18-22 August 1997. The point of contact for arranging meetings is Steve Michell. RESOLUTION: The following Ada Issues, previously approved by the ARG, are approved by WG9: * AI95-00001 -- Ada.Streams.Stream_IO.Stream can raise Status_Error * AI95-00012 -- The first subtype of a type defined by an access[_type]_definition * AI95-00054 -- When is a Small clause allowed? * AI95-00060 -- No Predefined 'Truncate Attribute on Fixed-Point Types * AI95-00064 -- Elaboration checks for renamings-as-body * AI95-00086 -- Passing generic formal packages with (<>) * AI95-00094 -- Exponentiation: 0.0 ** 0.0 raises Argument_Error. * AI95-00099 -- Accuracy requirements for elementary functions * AI95-00123 -- Equality for Composite Types * AI95-00125 -- Order of Size and Small Clauses for Fixed Point Types * AI95-00128 -- String Packages * AI95-00135 -- Circular Renamings as Body * AI95-00157 -- Visibility of Inherited Private Components * AI95-00163 -- User-defined fixed, fixed multiplying op * AI95-00180 -- Pragma Elaborate for Child Units RESOLUTION: The following guidance is provided to the Ada Rapporteur Group in dealing with Ada Issues: it should be possible to write portable bindings to C programs. The Ada Rapporteur Group is requested to propose an appropriate mechanism. RESOLUTION: WG9 forwards a proposed New Work Item, "Guidance for the Use of Ada in High Integrity Systems," to ISO/IEC JTC1/SC22 and recommends that SC22 propose its approval by JTC1. WG9 is prepared to accept the responsibility for the performance of this project. [The submission will be modified to delete the reference to the Wichmann paper and the expressions of national body support will be added.] RESOLUTION: WG9 provides the following direction to the Annex H Rapporteur Group (HRG) for the performance of any project resulting from approval of the proposed New Work Item on "Guidance for the Use of Ada in High Integrity Systems": WG9 directs the HRG to present the resolution of this Work Item in a positive fashion which includes some abstraction of the regulatory rules; the resolution shall demonstrate: 1. how Ada supports these abstractions 2. how other languages support these abstractions 3. usage paradigms for resolutions of these abstractions with a subset of Ada RESOLUTION: The disposition of comments on the ASIS Working Draft ballot is approved by WG9 and the Project Editor of project 15291 is authorized to forward Version 2.0.N of the draft to the SC22 secretariat for CD registration. RESOLUTION: WG9 authorizes the Convener, in his judgment, to request simultaneous processing of any or all of the following steps in the progress of project 15291: CD registration, CD ballot, final CD ballot. RESOLUTION: Having completed its chartered mission, the Real-Time Rapporteur Group is discharged, as of Meeting #31, with the grateful appreciation of ISO/IEC JTC1/SC22/WG9. The RRG has made important contributions to Ada technology through the drafting of Type 2 Technical Report 11735, describing real-time extensions suitable for use with Ada. RESOLUTION: Having completed its chartered mission, the SQL Rapporteur Group is discharged with the grateful appreciation of ISO/IEC JTC1/SC22/WG9. The SRG has made important contributions to Ada technology through the drafting of the SAMeDL standard, IS 12227. RESOLUTION: Having completed its chartered mission, the Numerics Rapporteur Group is discharged with the grateful appreciation of ISO/IEC JTC1/SC22/WG9. The NRG has made important contributions to Ada technology through: (1) the drafting of supplementary arithmetic standards 11430 and 11729; (2) the drafting of the Numerics Annex of the Ada 95 standard; and (3) the drafting of two DIS documents for Complex Arithmetic. The NRG's achievements have been widely recognized including recognition as recipients of an Ada Distinguished Service Award, presented by SIGAda. RESOLUTION: Having completed its chartered mission, the Uniformity Rapporteur Group is discharged, as of Meeting #30, with the grateful appreciation of ISO/IEC JTC1/SC22/WG9. The URG has made important contributions to Ada technology through the promotion of uniform implementation of Ada language features. RESOLUTION: ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Chris Anderson and Tucker Taft for their accomplishments as Project Editors of IS 8652:1995. RESOLUTION: ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Currie Colket for his service as liaison to SC21/WG3 (IRDS). RESOLUTION: ISO/IEC JTC1/SC22/WG9 expresses its grateful appreciation to Clyde Roby for developing and maintaining the WG9 Web Page. ADMINISTRATIVE ACTIONS The following administrative actions were taken by the convener: The following Rapporteur Group Chairs were reappointed: Erhard Ploedereder (ARG), Currie Colket (ASIS RG), and Brian Wichmann (Annex H RG). Subject to approval by SC22, the convener appointed Andreas Koeller as Project Editor to perform the continuing responsibilities associated with IS 12227:1995. Subject to approval by SC22, the convener appointed Erhard Ploedereder and Bob Duff as Project Editors to perform the continuing responsibilities associated with IS 8652:1995.