Re: Dispatch on the result still does not work?

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Sat, 11 Jul 2009 04:32:49 -0700 (PDT), Hibou57 (Yannick Duch�ne) wrote:

> There is no tagged argument here which controls the dispatching.
[...]
> My personal opinion is that there is no trouble here, as there is no
> tagged type to control the execution. While in the mean time, I
> understand what you mean : you are consedering the return value target
> as the out parameter of a procedure. But this is not an out parameter
> of a procedure, this is a result returned by a function.

Yes the tagged "parameter" in this case is the result X, the target.
Conceptually there is no any difference between parameters and results of a
subprogram (I leave subtle issues about object constraints, which are
irrelevant here).

Since the target is class-wide of the type T'Class with the actual tag of
S'Tag, the call to Value should be considered dispatching, and resolved to
S'(Value).

Unfortunately it is still not. In Ada 95 it didn't work either. I don't
know if there is an AI to fix this problem, or it is still considered
"right" thing.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de