From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Why does `Unchecked_Deallocation` need the access type?
Date: Thu, 30 Jul 2015 08:19:54 +0200
Date: 2015-07-30T08:19:54+02:00 [thread overview]
Message-ID: <qu3xwvjelyd4.1oc1w8tvvvk65.dlg@40tude.net> (raw)
In-Reply-To: mpbe4l$1aa$1@loke.gir.dk
On Wed, 29 Jul 2015 15:47:15 -0500, Randy Brukardt wrote:
> And both attributes are
> annoying when there is no parent, as in:
>
> type P is tagged private;
>
> as they have to be illegal in that case, causing generic contract problems.
To me it is simply no P'Parent, just as the contract says. Tagged or not
type P is private;
it does not make difference.
A generic contract that requires a parent is only
type P is new Q with private;
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
prev parent reply other threads:[~2015-07-30 6:19 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-07-26 7:11 Why does `Unchecked_Deallocation` need the access type? EGarrulo
2015-07-26 8:54 ` Dmitry A. Kazakov
2015-07-26 11:16 ` Niklas Holsti
2015-07-27 22:38 ` Jeremiah
2015-07-27 20:20 ` Randy Brukardt
2015-07-28 7:40 ` Dmitry A. Kazakov
2015-07-28 21:25 ` Randy Brukardt
2015-07-29 6:28 ` Dmitry A. Kazakov
2015-07-29 20:47 ` Randy Brukardt
2015-07-30 6:19 ` Dmitry A. Kazakov [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox