Re: Derived private interface

[Simon Wright <simon@pushface.org>]

Georg Bauhaus <rm.dash-bauhaus@futureapps.de> writes:

> (The error message at L.26 and L.37, taken together, are---per
> se---confusing, aren't they?)

>     22.     package C1 is
>     23.
>     24.         type T1 is private;
>     25.         not overriding  -- E!  `Op` overrides invisibly (in private part)
>     26.         procedure Op (X : in out T1);
>                 |
>         >>> subprogram "Op" overrides inherited operation at line 29
>
>     27.
>     28.     private
>     29.         type T1 is new P1.T1 with null record;
>     30.     end C1;
>     31.
>     32.
>     33.     package C2 is
>     34.
>     35.         type T1 is private;
>     36.         overriding  -- E!  Overriding? Yes, but privately
>     37.         procedure Op (X : in out T1);
>                 |
>         >>> subprogram "Op" is not overriding
>
>     38.
>     39.     private
>     40.         type T1 is new P1.T1 with null record;
>     41.     end C2;

The compiler does seem to be a bit confused, but I wonder whether a
human reader might not be confused too? It might be good at least to say
"type T1 is tagged private;" (though it makes no difference to the
reported problem).