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!.POSTED!not-for-mail
From: "Alejandro R. Mosteo" <alejandro@mosteo.com>
Newsgroups: comp.lang.ada
Subject: Re: Generic private type declaration
Date: Mon, 28 Nov 2016 16:05:27 +0100
Organization: A noiseless patient Spider
Message-ID: <o1hh1b$13v$1@dont-email.me>
References: <o19sod$ug2$1@dont-email.me>
 <877f7qy6hf.fsf@adaheads.sparre-andersen.dk>
 <o1cn4b$c5f$1@franka.jacob-sparre.dk>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 28 Nov 2016 15:04:11 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="3237df158612239f87cf0330feb8bd63";
	logging-data="1151"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19oDx48/RlhYqo4GoJ5YJ3h"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.4.0
In-Reply-To: <o1cn4b$c5f$1@franka.jacob-sparre.dk>
Cancel-Lock: sha1:tlwLe6sKFh1JWGJ4ddKui7lQyIA=
Xref: news.eternal-september.org comp.lang.ada:32489
Date: 2016-11-28T16:05:27+01:00
List-Id: <comp.lang.ada>

On 26/11/16 20:18, Tero Koskinen wrote:
> 26.11.2016, 10.45, Jacob Sparre Andersen wrote:
>> Alejandro R. Mosteo wrote:
>>
>>> I get in both gnat 4.9.3 and gpl2016 the following error:
>>>
>>> b001_tagged.adb:15:04: instantiation error at line 7
>>> b001_tagged.adb:15:04: type derived from tagged type must have extension
>>> gnatmake: "b001_tagged.adb" compilation error
> ...
>> I suspect that this is an error due to how GNAT expands generics.  It
>> might be useful to try to see how Janus/Ada and ICC/Ada treats it.  If I
>> remember correctly, Janus/Ada implements generics differently from GNAT.
>
> Janus/Ada 3.1.2c result here, just a warning on line 13:
> Input File Is C:\Work\mosteo-generic\B001_TAGGED.ADB
> Pass II
> Expected J2inst duplication to be the same
>
>
> In File C:\Work\mosteo-generic\B001_TAGGED.ADB(13)
> --------------
>    12:
>    13:     type Void is tagged null record;
> ----------------^
> *WARNING* Construct allowed only in a package specification (6.4.9)
> Expected J2inst duplication to be the same
> Bad or locked TREEFLAG.IN file -- see J3Tree_Debug
> Pass III - JCode
> Pass IV - 80386 Family
> Creating C:\Work\mosteo-generic\B001_TAG.SRL
> Thank You For Using JANUS/Ada
> (...)

Thanks to everyone that answered/took the time to test.

So, to summarize: Janus/Ada accepts it, Gnat does not, and some other 
compiler used by G.B. also rejects it.

Cheers,
Alex.

>
>>
>> Greetings,
>>
>> Jacob
>>
>
> Yours,
>  Tero
>