[J3] Small problem with characteristics of procedures?

[Clune, Thomas L. (GSFC-6101)]

Section 15.3.1 Characteristics of procedures states that one of the characteristics is “whether it has the BIND attribute”.

“The characteristics of a procedure are the classification of the procedure as a function or subroutine, whether it
is pure, whether it is simple, whether it is elemental, whether it has the BIND attribute, the characteristics of its
dummy arguments, and the characteristics of its function result if it is a function.”

Then section 15.3.2.3 Characteristics of a dummy procedure

“The characteristics of a dummy procedure are the explicitness of its interface (15.4.2), its characteristics as a
procedure if the interface is explicit, whether it is a pointer, and whether it is optional (8.5.12, 8.6.10).”

And finally, in 15.5.2.10 Actual arguments associated with dummy procedures

“If the interface of a dummy procedure is explicit, its characteristics as a procedure (15.3.1) shall be the same as those of its effective argument, except that a pure effective argument may be associated with a dummy argument that is not pure, a simple effective argument may be associated with a dummy argument that is not simple, and an elemental intrinsic actual procedure may be associated with a dummy procedure (which cannot be elemental).”

I had expected to see another exception in 15.5.2.0 for the BIND attribute.    Is this an unintended omission?


  *   Tom






-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.j3-fortran.org/pipermail/j3/attachments/20240422/43153c1d/attachment.htm>