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=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,de13c8b74c430de7
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-11-15 16:37:42 PST
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!sn-post-02!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "Matthew Heaney" <mheaney@on2.com>
Newsgroups: comp.lang.ada
Subject: Re: Inner generic package derivation
Date: Thu, 15 Nov 2001 19:41:14 -0500
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <tv8nulpg5eni2c@corp.supernews.com>
References: <9t1lp3$16unne$2@ID-25716.news.dfncis.de>
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4807.1700
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4807.1700
X-Complaints-To: newsabuse@supernews.com
Xref: archiver1.google.com comp.lang.ada:16601
Date: 2001-11-15T19:41:14-05:00
List-Id: <comp.lang.ada>


"Nick Roberts" <nickroberts@adaos.worldonline.co.uk> wrote in message
news:9t1lp3$16unne$2@ID-25716.news.dfncis.de...
>    premature derivation of derived or private type
>
> Is this a bug in: (a) GNAT; (b) the RM95; or (c) my brain?

No, this is not a bug.  You can't declare the full view of type U until
after the declaration of the full view of type T.

That's why this is legal:

package P is
   type T is tagged private;
   type NT is new T with private;
private
   type T is tagged null record;
   type NT is new T with null record;
end;

and this is not legal:

package P is
   type T is tagged private;
   type NT is new T with null record;
private
   type T is tagged null record;
end;