Re: Interesting containers problem.

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Mon, 20 Apr 2015 18:39:54 -0500, Randy Brukardt wrote:

> What you are talking about would help in an antique language that doesn't 
> support any overloading, but I would hope that people in this group are 
> beyond that. :-)

We could introduce "checked use" as compared the "unchecked" one Ada has.
The difference would be that if "use P" would hide anything in the scope
the language would require explicit renaming. E.g.

package P is
   X : Integer;
end P;

package Q is
   X : Integer;
end Q;

not overriding use P, Q; -- Illegal
package R is
   ...
end R;

not overriding use P, Q with Y renames Q.X; -- That's OK
package R is
   -- X means P.X
   -- Y means Q.X
   ...
end R;

The same keyword could be used with the keywords introducing a declaration
scope (e.g. "declare") to ensure that any declarations in that scope hiding
anything will be rejected.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de