Re: Got warnings when overriding Initialize and Finalize

["Hibou57 (Yannick Duchêne)" <yannick_duchene@yahoo.fr>]

On 10 juil, 17:34, Adam Beneschan <a...@irvine.com> wrote:
> There is a case, involving *untagged* types, where overriding an
> operation in the private part can lead to some unexpected results:
>
>    package Pak2 is
>       type T2 is new Pak1.T;
>       -- inherits operation Op
>    private
>       overriding procedure Op (X : T2);
>    end Pak2;
>
> Now, calling Op on an object of type T2 may give you either the
> inherited one or the overriding one, depending on whether the private
> part of Pak2 is visible at that point.
Indeed, this example is a bad practice

> It may be that the compiler,
> with this case in mind, displays a warning any time there's an
> override in the private part of a package
.... and it does not take care it is a tagged type so

Your idea of the reason why is clever