Re: question on using `with` without `use` and visibility of operators such as '*'

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Nasser M. Abbasi writes on comp.lang.ada:
> This is annoying. It means I have now to `use package_foo` to be able
> to write x*y, since "*" is defined in the package.
>
> Is there a way around this, so I can avoid using `use` but still be
> able to just write x * y (may be use something like `use
> package_foo("*") at the top if this possible)

package P is
   type T is private;
   function "*" (Left, Right : in T) return T;
end P;

wth P;
procedure Proc is
   Foo, Bar : P.T;
   use type P.T; -- <-- watch this!
   Baz : constant P.T := Foo * Bar; -- P."*" is now directly visible
begin
   null;
end Proc;

-- 
Ludovic Brenta.