(j3.2006) (SC22WG5.4773) [ukfortran] [Letter ballot 3 on Fortran 2008interpretations]

[Malcolm Cohen]

Van Snyder wrote:
>My most fundamental objection to the interpretation is that it is
>inconsistent with the requirements of 4.1.2, 4.2, and 13.7.2.  According
>to 4.1.2 and 4.2, A type is characterized by a kind type parameter.  The
>type and kind type parameter value together specify a set of valid
>values.  According to 13.7.2, a function is required to return a value
>that is a member of the set of valid values for the type and kind of its
>result.  The interpretation violates this requirement.

That is simply not the case.  That is not what 13.7.2 says. either before or 
after other interps changed that wording.

Furthermore, even if it did, such an interpretation of the "valid values" 
wording would not result in "better answers" but (in the vast majority of cases) 
worse answers, quite apart from the effects on optimisation.

Cheers,
-- 
................................Malcolm Cohen, Nihon NAG, Tokyo.