Actual subprogram and generic instantiation in same unit

[okellogg@freenet.de (Oliver Kellogg)]

To my amazement the following compiles:

-- file: inst.ads
with Generic_Package;  -- takes a parameterless generic formal procedure P

package Lump is

   procedure Manipulate;

   package Instantiation is new Generic_Package (P => Manipulate);

end Lump;


Poor compiler has to instantiate a package using a procedure
whose body it has not yet seen...

Is that considered good Ada style?
Are there cases where this lumping together could cause problems?

Thanks,

Oliver M. Kellogg