From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: "shadow" package hierarchy using renaming of child packages
Date: Mon, 1 Jul 2013 02:37:23 -0700 (PDT)
Date: 2013-07-01T02:37:23-07:00 [thread overview]
Message-ID: <736ca511-696e-47c0-9936-5f6ce0128138@googlegroups.com> (raw)
In-Reply-To: <b5c3aebb-1857-4c25-8ec7-fbddec11794a@googlegroups.com>
On Monday, July 1, 2013 10:29:25 AM UTC+2, Oliver Kellogg wrote:
> Understood. Still, even just one level of child packages would seem interesting. For this to work, IMHO there must be some notion of "structural equivalence" of the shadow root with respect to the original root. In the example, apparently the declaration "subtype T is Foo.T;" in the Shadow package spec creates the structural equivalence.
No, it hasn't anything to do with structural equivalence. Just compare:
with P1; with P1;
package P2 is package P2.Ren renames P1;
package Ren renames P1;
end P2;
next prev parent reply other threads:[~2013-07-01 9:37 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-06-30 7:00 "shadow" package hierarchy using renaming of child packages Oliver Kellogg
2013-06-30 20:43 ` AdaMagica
2013-07-01 1:34 ` Shark8
2013-07-01 5:46 ` J-P. Rosen
2013-07-01 16:31 ` Adam Beneschan
2013-07-01 8:29 ` Oliver Kellogg
2013-07-01 9:37 ` AdaMagica [this message]
2013-07-01 11:14 ` Oliver Kellogg
2013-07-01 8:21 ` AdaMagica
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox