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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: How to tell whether program finalization can be suppressed
Date: Mon, 4 Dec 2017 19:21:35 +0100
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <p043ng$to1$1@dont-email.me>
References: <lyzi729lh2.fsf@pushface.org>
 <ovslub$ajk$1@franka.jacob-sparre.dk>
 <ca4c9516-0781-4d72-97c4-b52004a502bb@googlegroups.com>
 <3dcad98b-d517-4c3a-a77b-dd584c143b2c@googlegroups.com>
 <d9039b0d-993b-49e1-9bde-6a079bddec65@googlegroups.com>
 <81ab6eef-e4e0-40d4-a90e-4c207fa67b3e@googlegroups.com>
 <c07c2ffa-1f0e-418f-b447-986db8ceb343@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 4 Dec 2017 18:21:36 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="7a69b3c1b562598e493b87522700acec";
	logging-data="30465"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18eUGy8GPYlrRns6/ql+XeF6ErbUO859c0="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.5.0
In-Reply-To: <c07c2ffa-1f0e-418f-b447-986db8ceb343@googlegroups.com>
Content-Language: en-US
Cancel-Lock: sha1:sKsNLAKXKy5D7xgFcXYmD8Kadg4=
Xref: reader02.eternal-september.org comp.lang.ada:49359
Date: 2017-12-04T19:21:35+01:00
List-Id: <comp.lang.ada>

On 12/04/2017 06:16 PM, AdaMagica wrote:
> 
> You don't get my point. Randy said, when the main exits, the env task completes, and that's not true as my example shows.

I suspect you're using a different definition of "completes" than the language 
lawyers. I think it means "terminates" to you, but not to them.

-- 
Jeff Carter
"I would never want to belong to any club that
would have someone like me for a member."
Annie Hall
41