Re: Inner generic package derivation

["Nick Roberts" <nickroberts@adaos.worldonline.co.uk>]

Thanks, Matt.

However, I also want to know: (a) exactly what combination of rules in the
RM95 enforce it; (b) why.

--
Best wishes,
Nick Roberts



"Matthew Heaney" <mheaney@on2.com> wrote in message
news:tv8nulpg5eni2c@corp.supernews.com...
>
> "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;