Kinds and Procedures

Actual arguments must exactly match the dummy arguments in

• Type,
• Kind, and
• Rank (for array arguments).

Therefore, whenever we use parametrised declarations, we have to be consistent throughout the program. A good practice is to define the kind parameters in a module, and use it in all program units. Note that, since the intrinsic default types are processor dependent, a truly portable program needs to use parametrized declarations.

With generic interfaces (to be studied later), each kind value needs its own procedure declaration; we should not mix intrinsic and parametrized types in a generic interface, since on some systems the intrinsic kind can overlap one defined kind which results in an error in the interface.