From: Adam Beneschan <adambeneschan@gmail.com>
Subject: Re: Suggestion: Allow functions returning abstract types in certain situations
Date: Wed, 21 May 2014 15:29:57 -0700 (PDT)
Date: 2014-05-21T15:29:57-07:00 [thread overview]
Message-ID: <a8331b67-208c-450f-a27a-cc878319471d@googlegroups.com> (raw)
In-Reply-To: <wccoayqzsw3.fsf@shell01.TheWorld.com>
On Wednesday, May 21, 2014 3:09:00 PM UTC-7, Robert A Duff wrote:
> Anyway, this:
>
> function Class_Wide_Func (X : Integer) return T1'Class; -- currently legal
>
> IS legal, and it CAN return an object whose tag is anything
> in the class. The size in this case is determined at the
> "return" in the body.
"Anything" in the class--you mean anything that isn't an abstract type, I presume? (And yes, I understand you're making a point about the size not needing to be known, and the reason we don't allow an abstract type to be returned has nothing to do with the size.)
-- Adam
next prev parent reply other threads:[~2014-05-21 22:29 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-05-21 14:52 Suggestion: Allow functions returning abstract types in certain situations Victor Porton
2014-05-21 16:10 ` Adam Beneschan
2014-05-21 19:09 ` Dan'l Miller
2014-05-21 22:09 ` Robert A Duff
2014-05-21 22:29 ` Adam Beneschan [this message]
2014-05-21 22:04 ` Robert A Duff
2014-05-21 22:33 ` Adam Beneschan
2014-05-21 23:19 ` Robert A Duff
2014-05-22 7:22 ` Dmitry A. Kazakov
2014-05-24 18:39 ` Robert A Duff
2014-05-24 19:20 ` Dmitry A. Kazakov
2014-05-22 14:47 ` Adam Beneschan
2014-05-24 18:45 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox