Problem with Enumaration and visibility

[Preben Randhol <randhol+abuse@pvv.org>]

Hi

I have defined a Enumarated type in a package called setup. I need to
use this in another package called Examine. If I do as below, I get this
error from GNAT:

   examine.adb:130:17: operator for type "Method_Enum_Type" defined at
   setup.ads:64 is not directly visible

   examine.adb:130:17: use clause would make operation legal
   examine.adb:130:47: "Spell" is not visible
   examine.adb:130:47: non-visible declaration at setup.ads:64
   gnatmake: "examine.adb" compilation error
   make: *** [all] Error 4
   (3 of 8): 17: operator for type "Method_Enum_Type" defined at setup.ads:64 
   is not directly visible

if I add "use Setup;" in the Start procedure it works. Why do I have
to do this? Is there a different way without using use. I'm just
asking to understand how this works with enumarated types.

Thanks in advance.


-----setup.ads---
package Setup is
-- ...

type Method_Enum_Type is (Spell, MChoice);

procedure Get_Method return Method_Enum_Type;
-- ...
end Setup;

-----examine.adb---
with Setup;

package body Examine is

-- ...

   procedure Start is
      Method : Setup.Method_Enum_Type := Setup.Get_Method;
   begin
      if Method = Setup.Method_Enum_Type'(Spell) then
         Examine.Spelling.Start;
      end if;
   end Start;

-- ...

end Examine;
-- 
Please, stop bombing civilians in Afghanistan. One cannot write off
killing innocent children and other civilians as "collateral damage".
A civilian is a civilian whether he or she is American or from another
country in the world.           http://web.amnesty.org/11september.htm