> - If it was allowed to USE the interface for the subroutine itself
> in the subroutine declaration. =
>
> - And if the language incorporated that when the subroutine contains an
> interface to itself then the compiler must verify that the interface is
> correct with respect to the actual declared dummy arguments. =
>
> - Then the circle would be closed and the interface would be forced to be
> coherent to the subroutine.
Exactly. This is what is needed.
> Also this change to the language would make it easier in the case where
> you have a set of interfaces declared in a module and you want to
> use these interfaces in a subroutine but this subroutine happens to be
> one of the subroutines that is declared in the interface module. Today
> you need to do:
>
> use interface_module, ALL_BUT: Myself
>
> Since there is no ALL_BUT qualifier, but only an ONLY there is no easy
> way to do this.
What about
use interface_module, but_not => Myself
Won't this make Myself invisible? Of course, but_not is never
referenced.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|