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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,deae7835ba212732
X-Google-Attributes: gid103376,public
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: Q. about generic child unit instantiation
Date: 1996/06/27
Message-ID: <DtnqxD.1DL@world.std.com>#1/1
X-Deja-AN: 162355112
references: <4qq38lINN641@snoopy.cis.ohio-state.edu>
 <DtM900.1D0@world.std.com> <4qsdjvINNsv0@bahama.cis.ohio-state.edu>
organization: The World Public Access UNIX, Brookline, MA
newsgroups: comp.lang.ada
Date: 1996-06-27T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <4qsdjvINNsv0@bahama.cis.ohio-state.edu>,
david scott gibson <dgibson@bahama.cis.ohio-state.edu> wrote:
>...  For example, inside
>P.C2 I might want an instance of P.C1 with P_Item instantiated with a
>different actual than the P_Item parameter of P.C2's parent unit.  Is
>this is impossible in Ada due to the recursive instantiation rules?

Yes.  You cannot have an instance of P inside P (which includes inside
P's children).

You could have an instance (call it I) of P outside P, and have an
instance of I.C1 inside P.C2.  Sounds kind of weird to me, but I don't
really know what you're trying to do.

- Bob