Title: Use procedureness in generic resolution.

Submitted By: UK

Status: For Consideration

Severity Level: 3.

Reference:

Basic Functionality:
Allow the procedureness of an argument to be used to disambiguate generic procedure 
references.

Rationale:
One can always tell whether a name (or designator) is that of a procedure or of a data 
object.  Users complain that since THEY can tell the difference, why can the compiler 
not?

Estimated Impact:
Localised change to 16.2.3.
Small effect on implementations.
  
Detailed Specification:
Allow whether an argument is a procedure to be used to disambiguate generic procedure 
references.  Deciding which specific procedure to invoke already takes account of this 
(it requires that the actual arguments be "consistent" with the specific), all we have 
to do is to allow a generic set to include specifics whose only difference is whether 
an argument is a procedure.

History: