From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,c33f8f65997c21d0
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.181.11.234 with SMTP id el10mr588075wid.2.1348950360487;
        Sat, 29 Sep 2012 13:26:00 -0700 (PDT)
Path: 
 q10ni31165777wif.0!nntp.google.com!feeder2.cambriumusenet.nl!feed.tweaknews.nl!85.12.40.130.MISMATCH!xlned.com!feeder1.xlned.com!newsfeed.xs4all.nl!newsfeed6.news.xs4all.nl!xs4all!newspeer1.nac.net!news.mi.ras.ru!goblin-spool!goblin2!goblin.stu.neva.ru!feeder.erje.net!news2.arglkargh.de!news.glorb.com!solaris.cc.vt.edu!news.vt.edu!newsfeed-00.mathworks.com!nntp.TheWorld.com!.POSTED!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Problem with task component
Date: Mon, 24 Sep 2012 13:53:44 -0400
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wccwqzjcno7.fsf@shell01.TheWorld.com>
References: <m2ehlx50vk.fsf@pushface.org>
 <1667b8e2qt7ei$.1gg1h3hrp9amz$.dlg@40tude.net> <m2a9wl4ugn.fsf@pushface.org>
 <187uk10m6z8xj.yr1cpbgrdur$.dlg@40tude.net> <m262794rbn.fsf@pushface.org>
 <k3or1c$v1i$1@dont-email.me> <m2r4pr7rsa.fsf@pushface.org>
 <k3pnmv$o94$1@dont-email.me>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
X-Trace: pcls6.std.com 1348509224 4852 192.74.137.71 (24 Sep 2012 17:53:44
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Mon, 24 Sep 2012 17:53:44 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:+LC41wiIytJQC9XYwoLqGvKILqc=
Content-Type: text/plain; charset=us-ascii
Date: 2012-09-24T13:53:44-04:00
List-Id: <comp.lang.ada>

"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