From: "Matthew Heaney" <mheaney@on2.com>
Subject: Re: Inner generic package derivation
Date: Thu, 15 Nov 2001 19:41:14 -0500
Date: 2001-11-15T19:41:14-05:00 [thread overview]
Message-ID: <tv8nulpg5eni2c@corp.supernews.com> (raw)
In-Reply-To: 9t1lp3$16unne$2@ID-25716.news.dfncis.de
"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;
next prev parent reply other threads:[~2001-11-16 0:41 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-11-16 0:00 Inner generic package derivation Nick Roberts
2001-11-16 0:41 ` Matthew Heaney [this message]
2001-11-16 1:54 ` Nick Roberts
2001-11-16 3:06 ` Mark Lundquist
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox