visibility of private incomplete types

[Georg Bauhaus <sb463ba@uni-duisburg.de>]

hello,

is GNAT correct in compiling the following program
without complaints? (There is a complaint if the
function in the body of P is uncommented.)

package p is

   package inner is
   private
      type TI;
   end inner;

private
   type TI_Ptr is access constant inner.TI;
end p;

package body p is

   -----------
   -- inner --
   -----------

   package body inner is

      type TI is null record;

   end inner;

--   function test return TI_Ptr is
--   begin
--      return new inner.TI;
--   end test;

end p;


with p; 
procedure p_test is 
begin null; end;