From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Controlled types as interfaces
Date: Wed, 20 Aug 2014 09:29:22 +0200
Date: 2014-08-20T09:29:22+02:00 [thread overview]
Message-ID: <17zg1do470nci.15209dgoz3ktk.dlg@40tude.net> (raw)
In-Reply-To: lt0sfv$dp$1@speranza.aioe.org
On Wed, 20 Aug 2014 04:09:15 +0300, Victor Porton wrote:
> Victor Porton wrote:
>> I think in Ada 202X we can invent Limited_Controlled_Interface and
>> Controlled_Interface types derived from which could become controlled.
Yes, but that would be very complicated, because you could add an interface
very late, making a descendant of a non-controlled type controlled.
A better solution would be fixing initialization (AKA constructors) and
leaving controlled kludge as is.
>> The Limited_Controlled and Controlled types would also inherit from these
>> interfaces.
>>
>> I think, this is backward compatible.
>
> A similar thing can be made with Root_Stream_Type making it derived from
> Root_Stream_Interface interface.
Yes, of course. It was proposed multiple times, as I remember. But rejected
as "not backward compatible." Though the compatibility issue was quite
minor if any.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2014-08-20 7:29 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-08-20 1:05 Controlled types as interfaces Victor Porton
2014-08-20 1:09 ` Victor Porton
2014-08-20 7:29 ` Dmitry A. Kazakov [this message]
2014-08-20 12:49 ` Victor Porton
2014-08-20 13:47 ` Dmitry A. Kazakov
2014-08-21 23:16 ` Randy Brukardt
2014-08-29 15:01 ` Robert A Duff
2014-08-29 23:54 ` Randy Brukardt
2014-08-20 12:50 ` Victor Porton
2014-08-20 13:38 ` Dmitry A. Kazakov
2014-08-20 13:56 ` Brad Moore
2014-08-21 22:48 ` Randy Brukardt
2014-08-20 1:41 ` Victor Porton
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox