Re: advice on package design

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> Presently it is not explicit. Syntactically overriding is undistinguishable
> from declaring a new operation. This is IMO bad. It should be sort of:
> 
> procedure Override (X : Object) is ????;
>    -- Overriding intended, fails if base types have no primitive Override
> procedure Override (X : Object);
>    -- Overloading intended, fails if it hides any other Override

I think Ada 2005 has something like that.

> I agree with the idea, but I think that hiding should appear in a
> declarative part. Less probably it should also qualify the thing being
> hidden (like renames does):

I don't believe in declarative parts.  I think declare/begin/end
should not be required just because I want to declare a constant
or something.

- Bob