Re: Full view of limited extension?

["G.B." <bauhaus@futureapps.invalid>]

On 18.10.16 08:24, Maciej Sobczak wrote:

> The problem is (GNAT 5.4.0):
>
> $ gcc -c test.ads
> test.ads:11:04: full view of limited extension must be explicitly limited
>
> The "limited" keyword is already everywhere, there are no more places to put it. :-) Am I missing some dark language corners here?

I think its is non-limited full views for non-tagged types
only.  You could work around the redundancy in the names,
though...

with Ada.Finalization;

package Test is

    type Parent is limited interface;

    type Child is limited new Parent with private;

private
    subtype Unmovably_Controlled is Ada.Finalization.Limited_Controlled;
    type Child is limited
       new Unmovably_Controlled
       and Parent with record
       I : Integer;
    end record;

end Test;


-- 
"HOTDOGS ARE NOT BOOKMARKS"
Springfield Elementary teaching staff