Generic and visibility...

["e.coli" <maurizio.ferracini@gmail.com>]

my program is structured like this:

--bar.ads
package Bar is
   generic
      with procedure Quuz;
   package Baz is

      task type Dummy is
         entry Run;
      end Dummy;

      type Ptr_Dummy is access Dummy;

      procedure Quz (
            X :    out Ptr_Dummy );

   end Baz;
 end Bar;

--bar.adb
with Ada.Text_Io;

package body Bar is
    T_Array : array (Integer range 1 .. 10) of Baz.Ptr_Dummy; --error
   package body Baz is

      task body Dummy is
      begin
         accept Run do
            Ada.Text_Io.Put_Line
               (Item => "Hello, Word!");
            Quuz; --generic procedure
         end Run;
      end Dummy;

      procedure Quz (
            X :    out Ptr_Dummy ) is
      begin
         X := new Dummy;
      end Quz;

   end Baz;
end Bar;


why i can't acces to Baz.Ptr_Dummy?
my deal is see the task pointer X outside Baz package.

thanks