Re: Full view of limited extension?

[Tero Koskinen <tero.koskinen@iki.fi>]

Hi,

18.10.2016, 9.24, Maciej Sobczak wrote:
> Consider file test.ads:
>
> with Ada.Finalization;
>
> package Test is
>
>    type Parent is limited interface;
>
>    type Child is limited new Parent with private;
>
> private
>
>    type Child is
>       new Ada.Finalization.Limited_Controlled
>       and Parent with record
>       I : Integer;
>    end record;
>
> end Test;
>
> 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?

This issue has interesting story:

GNAT didn't have the check until about two years ago.

I was testing your code (YAMI) and noticed that Irvine ICCAda
complained about the code, but GNAT accepted it. So, I went
and filed a bug about it to Adacore:
https://groups.google.com/d/msg/comp.lang.ada/y2FvCsze8AI/ptml4ftJy98J

I happily forgot to do the last step:
Report the problem to YAMI author (you), but apparently
you finally found it by yourself! ;)

Yours,
  Tero