(j3.2006) Are IEEE inquiry functions actually inquiry functions

[Malcolm Cohen]

Dick Hendrickson wrote:
<<<
"The Fortran 2008 standard defines an inquiry function as an 'intrinsic 
function, or function in an intrinsic module, whose result depends on the 
properties of one or more of its arguments instead of their values'. I wonder: 
by that definition, how can the IEEE_SUPPORT_HALTING(FLAG) function from the 
IEEE_EXCEPTIONS intrinsic module be an inquiry function? Its result depends on 
the value of FLAG, not its properties. Am I overlooking something? Is this a 
defect of the standard?"

I think the question also applies to
IEEE_support_flag IEEE_support_halting IEEE_support_rounding c_associated 
c_funloc c_loc
where the result depends on argument value.

Should this be an interp? Or is it just editorial
>>>

This is a defect.

I am not sure whether there is a problem with C_LOC and C_FUNLOC, they certainly 
fit the definition.  OTOH there might be problems with the definitions of 
specification and constant expressions for these (as well as for the others).

This looks a bit beyond editorial.  Certainly the edits to fix the problems look 
nontrivial.

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