(j3.2006) Whose bug is it?

[Aleksandar Donev]

On Tuesday 04 March 2008 23:04, Robert Corbett wrote:
> The user seems to think that the definition imported by the USE
> statement in the internal subroutine S should override the definition
> imported by the USE statement that appears directly in the main
> program. ?I think he is wrong.
I believe he is wrong too. All generic interfaces are based on the principle 
of lumping (agglomerating) specific interfaces. The very concept of 
"overriding" only exists for type-bound procedures and even in that case the 
overriding happens for specific procedures specified by the user. To even 
introduce a concept of "overriding specifics" in a generic block requires 
specifying (likely complex) rules about when it adds and when it replaces and 
if it replaces which one it replaces. Since I have not seen such rules in the 
standard I am fairly confident they do not exist.
Best,
Aleks