From: Georg Bauhaus <sb463ba@d2-hrz.uni-duisburg.de>
Subject: Re: Generic child units
Date: Fri, 16 May 2003 23:47:28 +0000 (UTC)
Date: 2003-05-16T23:47:28+00:00 [thread overview]
Message-ID: <ba3tag$prs$2@a1-hrz.uni-duisburg.de> (raw)
In-Reply-To: uhe7ud7a6.fsf@nasa.gov
Stephen Leake <Stephe.Leake@nasa.gov> wrote:
: Robert A Duff <bobduff@shell01.TheWorld.com> writes:
:
:> Rodrigo Garc?a <rodrigo.garcia.ARROBA.epfl.ch> writes:
:>
:> > Stephen Leake wrote:
:
:> > > with Parent.Child;
:> > > procedure Foo is
:> > > package Par is new Parent (Elem => Integer);
:> > > package Chi is new Par.Child;
:> > > begin
:> > > ...
:> > > end Foo;
:>
:> Here's the AARM text:
:>
:> 18 A child of a parent generic package shall be instantiated or renamed
:> only within the declarative region of the parent generic.
:
: But in my code above, Chi is an instantiation of "a child of a parent
: generic package", and it is _not_ "within the declarative region of
: the parent generic".
Isn't the declarative region of Parent included by "with Parent.Child"?
-- Georg
next prev parent reply other threads:[~2003-05-16 23:47 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-05-13 17:46 Generic child units
2003-05-13 18:38 ` Stephen Leake
2003-05-13 19:18 ` David C. Hoos
2003-05-14 7:56 `
2003-05-15 16:30 ` Stephen Leake
2003-05-16 1:08 ` Robert A Duff
2003-05-16 19:24 ` Stephen Leake
2003-05-16 23:47 ` Georg Bauhaus [this message]
2003-05-17 0:57 ` Robert A Duff
2003-05-17 1:11 ` Georg Bauhaus
2003-05-17 1:04 ` Robert A Duff
2003-05-16 23:44 ` Georg Bauhaus
2003-05-17 0:23 ` Georg Bauhaus
2003-05-17 1:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox