Re: Dispatch on the result still does not work?

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

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.

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