From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!reality.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: Tero Koskinen <tero.koskinen@iki.fi>
Newsgroups: comp.lang.ada
Subject: Re: Full view of limited extension?
Date: Tue, 18 Oct 2016 18:22:56 +0300
Organization: JSA Research & Innovation
Message-ID: <nu5ene$4ml$1@franka.jacob-sparre.dk>
References: <121792c4-3f9d-4d89-8ac5-88375ffb1110@googlegroups.com>
NNTP-Posting-Host: 178-55-38-41.bb.dnainternet.fi
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: franka.jacob-sparre.dk 1476804142 4821 178.55.38.41 (18 Oct 2016
 15:22:22 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Tue, 18 Oct 2016 15:22:22 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101
 Thunderbird/45.4.0
In-Reply-To: <121792c4-3f9d-4d89-8ac5-88375ffb1110@googlegroups.com>
Xref: news.eternal-september.org comp.lang.ada:32121
Date: 2016-10-18T18:22:56+03:00
List-Id: <comp.lang.ada>

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