Re: Dispatching Example

[Florian Weimer <fw@deneb.enyo.de>]

Tucker Taft <stt@avercom.net> writes:

> However, I believe the original question related to an
> assignment statement rather than an initialization.
> With an assignment statement, the LHS already has a value,
> and hence a tag, and the implementation uses that tag
> to control the dispatch.  In an initialization, the LHS
> doesn't have a tag yet, so the tag is statically determined
> by the "compile-time" return type of Is_Item.

Hmm, the whole discussion reminds me of the Ada reference in the
famous 'Real Programmers Don't Use Pascal' paper. ;-)