Re: generic with procedure

[Stephen Leake <stephen_leake@acm.org>]

"Rick Santa-Cruz" <rick_santa_cruz75@msn.com> writes:

> But this has to be part of a procedure, so that it will compile
> correctly? 

Sorry. Here's a fully compileable example:

with Ada.Text_IO; use Ada.Text_IO;
procedure Rick
is
   generic
      type Element is private;
   package MyContainer_2a is
      generic
         with procedure Some_Proc(Item : Element);
      procedure Foo (Item : Element);
   end MyContainer_2a;

   package body MyContainer_2a is
      procedure Foo (Item : in Element)
      is begin
         Put_Line ("Foo 2a");
         Some_Proc (Item);
      end Foo;
   end MyContainer_2a;

   generic
      type Element is private;
   package MyContainer_2b is
      generic
      procedure Some_Proc(Item : Element);

   end MyContainer_2b;

   package body MyContainer_2b is
      procedure Some_Proc (Item : Element)
      is begin
         Put_Line ("Some_Proc 2b");
      end Some_Proc;

   end MyContainer_2b;


   package Container_2a is new MyContainer_2a (Integer);

   procedure Proc_2a (Item : Integer)
   is
      pragma Unreferenced (Item);
   begin
      Put_Line ("hello 2a");
   end Proc_2a;

   procedure Bar is new Container_2a.Foo (Proc_2a);

   package Container_2b is new MyContainer_2b (Integer);

   procedure Proc_2b is new Container_2b.Some_Proc;

begin

   Bar (1);
   Proc_2b (2);
end Rick;

-- 
-- Stephe