Re: Dispatch on the result still does not work?

[Chris Moore <zmower@ntlworld.com>]

Dmitry A. Kazakov wrote:
> On Sat, 11 Jul 2009 20:54:05 +0200, Georg Bauhaus wrote:
> 
>> Dmitry A. Kazakov wrote:
> 
>>> Considering this one:
>>> I would expect it rather dispatching on the tag of X, i.e. selecting Value,
>>> which returns S.
>> Another one, I don't like to call this a solution,
>> and the running program differs per compiler
>> used. But both compilers compile the units without errors:
> [...]
> 
> I am not sure that it indeed should be resolved. The question is whether
> there exist or should exist cases where one could indeed dispatch on the
> result's type. The construct with assignment was admittedly artificial, it
> was first that came to mind.
> 

But the results type is T'Class.  It is not S.  The original object to
which X refers is of type S.  But this is destroyed prior to the
assignment of the value returned by Value.  This can be either S or T.

With Georg's solution you now have three answers of the Ada way to
resolve the ambiguity.