Re: Problem with task component

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"J-P. Rosen" <rosen@adalog.fr> writes:

> * except for the infamous "rosen pathology" in Ada 83 that was
> exterminated in Ada 95

Which pathology are you referring to?  Returning a task from
a function?

    function F return Task_Type is
        T: Task_Type;
    begin
        return T;
    end F;

I don't see what that has to do with terminate alternatives,
because T is necessarily terminated when F returns to its
caller.  The problem with that pathology is that it's difficult
to implement without leaking memory.

Or did you mean some other pathology?

- Bob