There's code in name resolution that handles resolution of references
that appear in the definitions of derived types -- it checks for
existing components in the type being defined, as well as for
non-parent components in its ancestors. Special case code prevents
resolution of a name to the symbol of a procedure binding. This
code needs to be extended so that names of generic procedures
are similarly prevented from shadowing symbols in the scope around
the type.
Details
Details
Diff Detail
Diff Detail
Event Timeline
Comment Actions
Thank you for the test! If I understand it correctly, this allows resolving foo inside ext to the module's subroutine foo rather than to the generic identifier foo inside base.
LGTM