From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: GNAT GPL, generics
Date: Sun, 2 Oct 2005 12:06:06 +0200
Date: 2005-10-02T12:06:05+02:00 [thread overview]
Message-ID: <16j4jnn7wc70d.1arx5qc6ge5sg$.dlg@40tude.net> (raw)
In-Reply-To: 60bvjt9vl07y$.1nmt309hh2hhr.dlg@40tude.net
Here is one reduced example:
generic
type T is digits <>;
package A is
end A;
-----------------------------
with A;
generic
with package AA is new A (<>);
package B is
end B;
----------------------------
with B;
generic
with package BB is new B (<>);
package C is
X : BB.AA.T; -- This is OK
end C;
-------------------------------------------------------
Now add E:
-----------------------------
with A;
generic
with package AA is new A (<>);
package E is
end E;
--------------------------
with B, E;
generic
with package BB is new B (<>);
with package EE is new E (BB.AA);
package D is
X : BB.AA.T; -- "T" is not a visible entity of "AA"
end D;
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2005-10-02 10:06 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-10-02 9:15 GNAT GPL, generics Dmitry A. Kazakov
2005-10-02 9:24 ` Dmitry A. Kazakov
2005-10-02 10:06 ` Dmitry A. Kazakov [this message]
2005-10-03 8:36 ` Alex R. Mosteo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox