Re: Suggestion: Allow functions returning abstract types in certain situations

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Adam Beneschan <adambeneschan@gmail.com> writes:

> Hmmm... I'd worry that if we allowed an object with an abstract-type
> tag to exist even for a little while, something in the language
> semantics might require Initialize, Adjust, or Finalize to be called
> on it, which could be bad if, for example, it tried to redispatch to
> an abstract body.

Not sure what you mean about "redispatch".  You can't [re]dispatch
without converting to class-wide.

But if (e.g.) Initialize itself is abstract, that would have to
be dealt with.  So it's not quite as simple as I made it out to be.

- Bob