From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Diamond diagram for 'with'
Date: Wed, 21 Feb 2018 17:20:33 +0100
Date: 2018-02-21T17:20:33+01:00 [thread overview]
Message-ID: <p6k68f$9li$1@gioia.aioe.org> (raw)
I would ask language lawyers regarding multiple with.
Consider this:
limited with Root.A;
package Root is
end Root;
package Root.A is
type T is ...;
end Root.A;
with Root.A;
package Root.B is
end Root.B;
Now Root.B has both limited (inherited from Root) and full "with" of
Root.A. So, may Root.B use Root.A.T? It cannot according to "limited
with" and it can due to full "with". Which one to win?
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next reply other threads:[~2018-02-21 16:20 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-21 16:20 Dmitry A. Kazakov [this message]
2018-02-22 1:38 ` Diamond diagram for 'with' Randy Brukardt
2018-02-22 8:33 ` Dmitry A. Kazakov
2018-02-22 9:27 ` J-P. Rosen
2018-02-22 23:29 ` Randy Brukardt
2018-02-22 10:53 ` briot.emmanuel
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox