From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: limited types (Was: Records that could be arrays)
Date: Tue, 28 Feb 2006 20:06:50 +0100
Date: 2006-02-28T20:06:51+01:00 [thread overview]
Message-ID: <w24tvc9hkds7.1y1te44mfoup5$.dlg@40tude.net> (raw)
In-Reply-To: 1141147475.263018.23440@u72g2000cwu.googlegroups.com
On 28 Feb 2006 09:24:35 -0800, Matthew Heaney wrote:
> Dmitry A. Kazakov wrote:
>>
>> Instantiate Generic_Algorithm with some T and CT. Then put a constraint on
>> T, that will be a subtype S or a derived type. Now how to get CS from CT?
>
> Easy: instantiate Generic_Algorithm again, on type S.
I still don't see CS.
BTW, if I had CS, would need not to instantiate Generic_Algorithm once
more.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2006-02-28 19:06 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-02-24 16:51 limited types (Was: Records that could be arrays) Thierry Bernier
2006-02-24 21:57 ` Randy Brukardt
2006-02-25 2:21 ` Matthew Heaney
2006-02-25 3:38 ` Matthew Heaney
2006-02-25 11:06 ` Dmitry A. Kazakov
2006-02-25 15:05 ` Matthew Heaney
2006-02-26 1:01 ` Randy Brukardt
2006-02-26 9:00 ` Dmitry A. Kazakov
2006-02-26 18:20 ` Matthew Heaney
2006-02-26 20:52 ` Dmitry A. Kazakov
2006-02-26 22:07 ` Matthew Heaney
2006-02-27 9:11 ` Dmitry A. Kazakov
2006-02-27 14:34 ` Georg Bauhaus
2006-02-27 16:05 ` Dmitry A. Kazakov
2006-02-27 16:52 ` Matthew Heaney
2006-02-27 20:21 ` Dmitry A. Kazakov
2006-02-27 21:40 ` Georg Bauhaus
2006-02-28 9:38 ` Dmitry A. Kazakov
2006-02-27 23:00 ` Matthew Heaney
2006-02-28 9:39 ` Dmitry A. Kazakov
2006-02-28 17:24 ` Matthew Heaney
2006-02-28 19:06 ` Dmitry A. Kazakov [this message]
2006-02-28 19:58 ` Matthew Heaney
2006-02-28 21:03 ` Dmitry A. Kazakov
2006-02-28 21:51 ` limited types Simon Wright
2006-03-01 1:59 ` Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox