Re: Access to subprogram

["Grein, Christoph" <christoph.grein@eurocopter.com>]

> 
> What is the meaning of this
> " subprogram must not be deeper than access type"

package Pak is

  type Access_P is access procedure;
  Global: Access_P;

end Pak;

with Pak;
procedure Proc is

  procedure Local is separate;
  LA: Pak.Access_P := Local'Access;

begin
  Global := LA;
end Proc;

Here Local has a deeper level than Access_P, i.e. a shorter lifetime. The 
aforementioned rule forbids such a use as LA, since Global will point to a 
non-existing item after Porc has finished.