why does this work? private new types.

["chris.danx" <spamoff.danx@ntlworld.com>]

Hi,

This example code will explain it better than I can.


with hash_tables;  -- generic
package blah is

   subtype word is string (some_range);

   type table is private;

   procedure add (a : in word;
                  t : in out table);

   ...

   private
      ... -- some functions in here

      package tables is new hash_tables
         (items => word,
          size => 100, -- for quickyness!
          hash_function => hash_function,
          equals => equals, to_string => to_string);

      type table is new tables.hash_table;

end blah;


package body blah is

   procedure add (a : in word;
                  t : in out table) is
   begin
      insert (a, t); -- *** here ***
   end add;

end blah;


insert is defined in hash_tables, so why can it be used in the body of blah
without "using" it?  Is it implicitly "used" when table is defined as a
'new' hash_table (i.e. it's allowed to be used .  That'd kindof make sense,
but is this the correct way to think of it, or is there a better way?

Seems like you learn new things about Ada every day!


Thanks,
Chris