Re: Recommendation of safe subset of Ada to use?

["Randy Brukardt" <randy@rrsoftware.com>]

"onox" <denkpadje@gmail.com> wrote in message 
news:3d48e916-7ec1-4e01-9a9d-1d8c3c81061f@googlegroups.com...
...
>   function Inner (Value : access procedure (P2 : Integer)) return 
> Proc_Access is
>   begin
>      return Value;
>   end Inner;

I believe this is outright illegal; the accessibility of an anonymous 
access-to-subprogram is "infinite", and the accessibility of Proc_Access is 
not, so it is not allowed. There's not supposed to be any legal conversion 
to "regular" access-to-subprogram types.

Again, if allowed, report it as a bug.

                 Randy.