Re: Dispatch on the result still does not work?

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

On Sat, 11 Jul 2009 11:08:55 -0700 (PDT), Hibou57 (Yannick Duch�ne) wrote:

> Yes, but how would you initialize a limited type another way, while it
> cannot be assigned by copy?

I would not. A limited object (actually any object) is to be constructed,
by a constructor, which cannot be a function or procedure. (The current
solution is like a conceptual Swiss cheese)

> This is a mandatory semantic requirement.
> But the function still acts as an initializer expression in the user's
> view point.

It does not return any object in this case.

If a function can act as an "initializer", it can also act as the right
side of the assignment in a dispatching way. (I am not sure if I really
wanted this, just out of curiosity.)

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