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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.107.149.140 with SMTP id x134mr13956127iod.65.1512407809516; Mon, 04 Dec 2017 09:16:49 -0800 (PST) X-Received: by 10.157.33.82 with SMTP id l18mr681779otd.6.1512407809372; Mon, 04 Dec 2017 09:16:49 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.kjsl.com!usenet.stanford.edu!193no1170426itr.0!news-out.google.com!s63ni3609itb.0!nntp.google.com!193no1170422itr.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 4 Dec 2017 09:16:49 -0800 (PST) In-Reply-To: <81ab6eef-e4e0-40d4-a90e-4c207fa67b3e@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=2003:c7:83d0:5ce1:f437:98fe:9073:e3b9; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf NNTP-Posting-Host: 2003:c7:83d0:5ce1:f437:98fe:9073:e3b9 References: <3dcad98b-d517-4c3a-a77b-dd584c143b2c@googlegroups.com> <81ab6eef-e4e0-40d4-a90e-4c207fa67b3e@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: How to tell whether program finalization can be suppressed From: AdaMagica Injection-Date: Mon, 04 Dec 2017 17:16:49 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:49356 Date: 2017-12-04T09:16:49-08:00 List-Id: Am Montag, 4. Dezember 2017 15:36:18 UTC+1 schrieb Robert Eachus: > > But that's what Randy wrote: > > "When the main program exits, of course the environment task completes = and then > > terminates. It's the completion of the environment task that starts lib= rary-level finalization." > > So what did he want to say? Main resp. env task exits, completes, termi= nates... Normally, Randy is precise in what he says. >=20 > I wasn't disagreeing with Randy, except maybe to make it clearer that lib= rary level tasks can continue to run after the main program completes. I w= as disagreeing with your statement that the main program is the master of l= ibrary-level tasks. Didn't matter in your example, but I could probably gi= n up an example. Hmm. Something with Ada.Text_IO.File_Types and reassignm= ent of Current_Output? I usually keep the main program around to print out = a message when the program completes successfully, but that's personal styl= e. You don't get my point. Randy said, when the main exits, the env task compl= etes, and that's not true as my example shows.