[J3] RECURSIVE

[Steve Lionel]

I am not finding words in F2018 that say what the RECURSIVE attribute on
a subprogram means. F2008 said (12.6.2.1p3):

"The RECURSIVE prefix-spec shall appear if any procedure defined by the
subprogram directly or indirectly invokes itself or any other procedure
defined by the subprogram."

The corresponding text in F2018 (15.6.2.1p3) says:

"The NON_RECURSIVE prefix-spec shall not appear if any procedure defined
by the subprogram directly or indirectly invokes itself or any other
procedure defined by the subprogram."

(Oddly, the words "or any other procedure defined by the subprogram."
are in deprecated small font - is that deliberate?)

I searched the entire 18-007r1 for "recursive" and never found a
statement of what RECURSIVE indicated outside of the Introduction (which
says it is "advisory only" - is this normative?), though there were lots
of words about NON_RECURSIVE. It seems weird to me that we never say
outright in the main text that the RECURSIVE keyword is a no-op. I
looked at the papers for this change and the edits generally just
replaced RECURSIVE with NON_RECURSIVE (and reversed the condition).

Your thoughts?

Steve
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.j3-fortran.org/pipermail/j3/attachments/20190306/b2e59870/attachment.html>