Re: Ada design bug or GNAT bug?

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

On Tue, 23 Jun 2015 13:45:35 +0200, G.B. wrote:

> On 22.06.15 20:16, Dmitry A. Kazakov wrote:
> 
>> with P1; use P1;
>> package P2 is
>>     type T3 is new T1 with private;
>> private
>>     type T3 is new T2 with null record;
>>     overriding function Foo return T3; -- ILLEGAL!
>> end P2;
> 
> Would this do, as it is, oddly maybe, accepted:
> 
> with P1;
> package P22 is
>     type T3 is new P1.T1 with private;
> private
>     package Layer is
>        type T22 is new P1.T2 with null record;
>     private
>        overriding function Foo return T22;
>     end Layer;
>     type T3 is new Layer.T22 with null record;
> end P22;

You must ask Randy, as he sees problems with overriding Foo. You might be
fool the compiler into accepting something that should be unacceptable
according to him. My point was that having it unacceptable was a language
design bug, access types or not regardless.

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