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,XPRIO autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,de13c8b74c430de7,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-11-15 16:25:45 PST
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!fu-berlin.de!uni-berlin.de!ppp-1-117.cvx6.telinco.NET!not-for-mail
From: "Nick Roberts" <nickroberts@adaos.worldonline.co.uk>
Newsgroups: comp.lang.ada
Subject: Inner generic package derivation
Date: Fri, 16 Nov 2001 00:00:44 -0000
Message-ID: <9t1lp3$16unne$2@ID-25716.news.dfncis.de>
NNTP-Posting-Host: ppp-1-117.cvx6.telinco.net (212.1.156.117)
X-Trace: fu-berlin.de 1005869667 40853230 212.1.156.117 (16 [25716])
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4133.2400
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400
Xref: archiver1.google.com comp.lang.ada:16599
Date: 2001-11-16T00:00:44+00:00
List-Id: <comp.lang.ada>

When given the following:

   generic package Test2 is
      type T is abstract tagged limited private;
      procedure P (X: in T) is abstract;
      generic package Inner is
         type U is new T with private;
         procedure Q (X: in T);
      private
         type U is new T with -- error line
            record
               C: Integer;
            end record;
      end Inner;
   private
      type T is abstract tagged limited null record;
   end Test2;

GNAT 3.12p on Windows 95 gives the error:

   premature derivation of derived or private type

Is this a bug in: (a) GNAT; (b) the RM95; or (c) my brain?

Full detailed explanation welcome (if applicable).

--
Best wishes,
Nick Roberts