Re: little precision about anonymous access types

[Mehdi Saada <00120260a@gmail.com>]

Also, why that:
procedure main is
   B: access INTEGER;
begin
   declare
      type A_TYPE is access INTEGER;
      A : A_TYPE := new INTEGER'(7);
   begin
      B := A;
   end;
end main;
is ILLEGAL (cannot convert local pointer to non-local access type) ? It seems that B's type's scope is LONGER than A_type's.

whereas that:
procedure main is
   type A_TYPE is access all INTEGER;
   A : A_TYPE;
begin
   declare
      B: access INTEGER := new INTEGER'(7);
   begin
      A := A_TYPE(B);
   end;
   if A.all > 8 then null; end if;
end main;
is legal (yet needs "all" for a reason unknown to me) ?
Since B dies before A, where does go B's memory content, so that A can still refer to it after the "end;" ?