Another clarification about local names

[kevinhely]

Hi again,

The language definition states:

The use of the procedure identifier in a call within its declaration implies recursive activation of the
procedure.

That would seem to rule this out as legitimate code:

Code: Select all

PROCEDURE P;
    PROCEDURE P; END P; (*local*)
BEGIN P (*which P does this refer to?*)
END P;

(In earler times, the local declaration would have 'hidden' the name of the outer procedure.)
Do you agree? (I won't keep posting questions like this!)

Regards

[cfbsoftware]

The outer P (a global object) would still be hidden by the inner P (a local object) wouldn't it?

[kevinhely]

I would have thought so but it contradicts the quoted statement.

[augustk]

We could also conclude that it is undefined which procedure is called. In practice, using the same name for a local procedure would only be confusing.