Re: another way to shoot yourself in the foot?

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

On Tue, 24 Jun 2008 07:59:35 -0700 (PDT), Adam Beneschan wrote:

> I've probably lost the plot of this thread.  But in regards to the
> example, I think the example is "no".  The semantics should be exactly
> the same as if Interesting's body were simply "return X : T;".  The
> first extended return statement that raises an exception doesn't have
> any effect, in terms of starting a new task or anything like that,
> because the RM explicitly says that task activation doesn't occur
> until after the function returns (6.5(7)).

OK, then the notorious problem of Ada 95, that a task cannot be
initialized, in the sense that upon initialization you could pass
parameters to it via a rendezvous, is still there. "Constructing functions"
do not help here, because you cannot engage a rendezvous before return. Too
bad.

Tasks finalization does not work either, because there is no destructing
functions ("malfunctions" to use the name Robert Duff suggested (:-))
anyway.

Task as a component is still no runner...

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