PowerAda Separate Compilation of Generics
The compiler supports separately compiled generics. You can compile generic specifications in different files from their respective generic bodies.
If you plan to compile generics separately, compile the generic body before you attempt to instantiate the generic. The generic body must be compiled and visible in the library before the instantiation can occur.
You can compile instantiations before you compile the generic body; however the compiler issues a warning in this case. All instantiations of the generic become obsolete when you compile its body. Recompile all instantiations of the generic after you compile a new generic body.
To compile the instantiation before you compile the body, place the generic specification, the generic body, and the instantiation in the same source file.