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: Generic private type declaration
Date: Sat, 26 Nov 2016 21:18:26 +0200
Organization: JSA Research & Innovation
Message-ID: <o1cn4b$c5f$1@franka.jacob-sparre.dk>
References: <o19sod$ug2$1@dont-email.me>
 <877f7qy6hf.fsf@adaheads.sparre-andersen.dk>
NNTP-Posting-Host: 37-33-108-27.bb.dnainternet.fi
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: franka.jacob-sparre.dk 1480187851 12463 37.33.108.27 (26 Nov 2016
 19:17:31 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Sat, 26 Nov 2016 19:17:31 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101
 Thunderbird/45.5.0
In-Reply-To: <877f7qy6hf.fsf@adaheads.sparre-andersen.dk>
Xref: news.eternal-september.org comp.lang.ada:32471
Date: 2016-11-26T21:18:26+02:00
List-Id: <comp.lang.ada>

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


"Bad or locked TREEFLAG.IN file" seems to be some
fancy/harmless (debug?) info. I can link and run
the executable just fine.

>
> Greetings,
>
> Jacob
>

Yours,
  Tero