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: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Full view of limited extension?
Date: Wed, 19 Oct 2016 19:40:36 -0500
Organization: JSA Research & Innovation
Message-ID: <nu93p3$gd6$1@franka.jacob-sparre.dk>
References: <121792c4-3f9d-4d89-8ac5-88375ffb1110@googlegroups.com>
NNTP-Posting-Host: rrsoftware.com
X-Trace: franka.jacob-sparre.dk 1476924003 16806 24.196.82.226 (20 Oct 2016
 00:40:03 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 20 Oct 2016 00:40:03 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:32141
Date: 2016-10-19T19:40:36-05:00
List-Id: <comp.lang.ada>

"Maciej Sobczak" <see.my.homepage@gmail.com> wrote in message 
news:121792c4-3f9d-4d89-8ac5-88375ffb1110@googlegroups.com...
> 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?

There's clearly one more place to put it, since there existing a type 
definition in the above code that doesn't include the word "limited". :-)

And the error message is clear enough: the full view must be explicitly 
limited. That is, the word "limited" must appear in it.

You probably are in a "dark language corner",  though, given the reason for 
this requirement doesn't come to mind. If you care, I'd spend some time 
reading the rules in 7.3.1 (use the AARM, so you can find the associated AIs 
and their examples).

                                             Randy.