From: "Kevin J. Weise" <kweise@c3i-ccmail.sed.redstone.army.mil>
Subject: Re: Instantiation of child generics?
Date: 1996/07/26
Date: 1996-07-26T00:00:00+00:00 [thread overview]
Message-ID: <4taqvl$i11@michp1.redstone.army.mil> (raw)
In-Reply-To: Dv5LDM.IsI.0.-s@inmet.camb.inmet.com
stt@henning.camb.inmet.com (Tucker Taft) wrote:
>Dale Stanbrough (dale@goanna.cs.rmit.edu.au) wrote:
>: ... Also I don't really understand the rules for
>: instantiaion of child generics. Can anyone explain them?
>
>You should think of a child of a generic as a nested generic,
>which is only visible to those who choose to mention it in a with clause.
>Since it is conceptually a nested generic, you can only instantiate
>it once you have already instantiated the enclosing generic.
...
>
>We struggled during the 9X process with children of generics, since
>it is certainly a bit counterintuitive that you "with" "queues.bounded"
>whereas you instantiate "queue_inst.bounded." However, if you think
>of a "with" clause as having the effect of "plugging" a child into
>its parent unit, then you should be able to understand why children of
>generics work the way they do.
>
FWIW, Mr. Taft, I don't think it is counterintuitive at all. If the effect
is the same as if the child generic unit were nested within the parent
generic unit, you would still follow the same process: instantiate the
parent first, then instantiate the child WRT the instance of the parent.
I think the Ada9X team did a great job on child units.
Now, if you want counterintuitive, I think there are some other areas that
may qualify. But they've probably already been hashed over & certainly
belong in a different thread.
--------------------------------------------------------------------------
Kevin J. Weise email: kweise@sed.redstone.army.mil
COLSA Corp. voice: (205) 842-9083
Huntsville, AL
.. standard disclaimers apply
next prev parent reply other threads:[~1996-07-26 0:00 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-07-26 0:00 Instantiation of child generics? Dale Stanbrough
1996-07-26 0:00 ` Tucker Taft
1996-07-26 0:00 ` Kevin J. Weise [this message]
1996-07-27 0:00 ` Robert A Duff
1996-07-30 0:00 ` Dale Stanbrough
1996-07-30 0:00 ` Robert A Duff
1996-07-26 0: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