From owner-sc22wg5@open-std.org  Tue Feb  9 13:36:09 2010
Return-Path: <owner-sc22wg5@open-std.org>
X-Original-To: sc22wg5-dom8
Delivered-To: sc22wg5-dom8@www2.open-std.org
Received: by www2.open-std.org (Postfix, from userid 521)
	id F0ADBC178DF; Tue,  9 Feb 2010 13:36:08 +0100 (CET)
X-Original-To: sc22wg5@open-std.org
Delivered-To: sc22wg5@open-std.org
Received: from gloin.rl.ac.uk (gloin.rl.ac.uk [130.246.135.201])
	by www2.open-std.org (Postfix) with ESMTP id 71050C178DC
	for <sc22wg5@open-std.org>; Tue,  9 Feb 2010 13:36:05 +0100 (CET)
X-RAL-MFrom: <John.Reid@stfc.ac.uk>
X-RAL-Connect: <jkr.cse.rl.ac.uk [130.246.9.202]>
Received: from jkr.cse.rl.ac.uk (jkr.cse.rl.ac.uk [130.246.9.202])
	by gloin.rl.ac.uk (8.12.11.20060308/8.12.11) with ESMTP id o19CZskC030178;
	Tue, 9 Feb 2010 12:35:54 GMT
Received: from jkr.cse.rl.ac.uk (localhost.localdomain [127.0.0.1])
	by jkr.cse.rl.ac.uk (Postfix) with ESMTP id D8667560E2;
	Tue,  9 Feb 2010 12:35:54 +0000 (GMT)
Message-ID: <4B7156AA.6020303@stfc.ac.uk>
Date: Tue, 09 Feb 2010 12:35:54 +0000
From: John Reid <John.Reid@stfc.ac.uk>
Reply-To: John.Reid@stfc.ac.uk
Organization: Rutherford Appleton Laboratory
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.1.19) Gecko/20090108 Fedora/1.1.14-4.fc10 SeaMonkey/1.1.14
MIME-Version: 1.0
To: WG5 <sc22wg5@open-std.org>
Subject: WG5 letter ballot 7 on Fortran 2003 interpretations
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-CCLRC-SPAM-report: -4.399 : ALL_TRUSTED,BAYES_00
X-Scanned-By: MIMEDefang 2.61 on 130.246.135.201
Sender: owner-sc22wg5@open-std.org
Precedence: bulk



Yes  No Number     Title
-Y- ---  F95/0098 Are dummy functions returning assumed-length character legal?
-Y- ---  F03/0022 Coexistence of IEEE and non-IEEE kinds
-Y- ---  F03/0024 DEALLOCATE and array pointers
-Y- ---  F03/0034 IEEE_LOGB()
-N- ---  F03/0039 HYPOT()
-Y- ---  F03/0063 Procedure pointers in BLOCK DATA program units
-Y- ---  F03/0071 Subroutine/function ambiguity in generics
-Y- ---  F03/0078 IEEE_SUPPORT_DATATYPE vs. mathematical equivalence
-Y- ---  F03/0090 Polymorphic array constructors
-Y- ---  F03/0112 Attributes allowed for dummy arguments in defined assignments
-Y- ---  F03/0119 Elemental procedures and deferred length character components
-Y- ---  F03/0122 When do objects of sequence derived type have the same type?
-Y- ---  F03/0125 Definitions of EXTENDS_TYPE_OF and SAME_TYPE_AS
-Y- ---  F03/0126 References to VOLATILE variables in pure procedures
-Y- ---  F03/0127 Duration of procedure execution
-N- ---  F03/0129 C_LOC of character substrings
-Y- ---  F03/0130 Elemental specific intrinsic procedure characteristics
-Y- ---  F03/0131 SAVE attribute and EQUIVALENCE
-Y- ---  F03/0132 Unformatted i/o and private components
-Y- ---  F03/0133 Is unlimited polymorphic allowed in COMMON?
-Y- ---  F03/0134 Implicit typing of procedure pointers
-N- ---  F03/0135 Interaction between RESULT, recursion, and host generic
-Y- ---  F03/0136 Are subroutines distinguishable from arrays?
-Y- ---  F03/0137 Dummy procedure type compatibility
-Y- ---  F03/0138 External <procedure-name> as <proc-target>
-C- ---  F03/0139 Functions returning procedure pointers
-Y- ---  F03/0140 Type of nested construct entities
-Y- ---  F03/0141 More than one specific interface for a procedure



Reasons for no votes

F03/0039
The IEEE floating-point is carefully designed to handle NaNs and infinities
in the hardware. It is inappropriate to add explicit code that duplicates it.
It is specially inappropriate in this case, where the aim is for fast
execution whenever possible. The intended effect on the reader may be achieved
with this alternative for the first edit.
[page 389]. Subclause 14.11, Note 14.17, after the comment
     "! The processor clears the flags on entry"
   insert
     "! If either X or Y is a NaN, the first executable statement
      ! will set HYPOT to a NaN without signaling an exception."

F03/0129
The third edit should be
[396:5-7] Replace "; if ... one." with
   ".  If the type is character, it is interoperable if and only if the value
   of its length type parameter is one."
Reason: It makes no sense to talk about the length type parameter being
interoperable.

F03/0135
A subprogram and its scoping unit are not the same thing, see the definition
at [12:1]. In both edits, add "of" after "scoping unit is".

Comment
F03/0139
In the edit for [407:21-22] change "which" to "that".

