From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: T'Interface attribute
Date: Thu, 3 Aug 2017 14:52:59 +0200
Date: 2017-08-03T14:52:59+02:00 [thread overview]
Message-ID: <olv6ba$1cfa$1@gioia.aioe.org> (raw)
In-Reply-To: 38d8560e-7bb3-450c-9e49-229f8a7adea6@googlegroups.com
On 2017-08-02 16:23, Eryndlia Mavourneen wrote:
> Regarding discriminants: Yes, they should extend to T'Interface, and
> T'Interface should be able to add discriminants, as
> desired/necessary.
Yes. It seems that if T is an interface, then T and T'Interface must be
same exactly types. Therefore discriminants must be retained.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2017-08-03 12:52 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-08-02 13:43 T'Interface attribute Dmitry A. Kazakov
2017-08-02 14:23 ` Eryndlia Mavourneen
2017-08-03 12:52 ` Dmitry A. Kazakov [this message]
2017-08-03 4:46 ` Randy Brukardt
2017-08-03 7:26 ` Dmitry A. Kazakov
2017-08-04 23:51 ` Randy Brukardt
2017-08-05 7:49 ` Dmitry A. Kazakov
2017-08-07 22:59 ` Randy Brukardt
2017-08-08 6:13 ` Dmitry A. Kazakov
2017-08-09 0:38 ` Randy Brukardt
2017-08-09 7:06 ` Dmitry A. Kazakov
2017-08-09 23:03 ` Randy Brukardt
2017-08-10 7:13 ` Dmitry A. Kazakov
2017-08-11 0:33 ` Randy Brukardt
2017-08-11 6:55 ` Dmitry A. Kazakov
2017-08-11 20:49 ` Randy Brukardt
2017-08-03 17:27 ` Eryndlia Mavourneen
2017-08-05 0:09 ` Randy Brukardt
2017-08-05 19:02 ` Eryndlia Mavourneen
2017-08-07 22:49 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox