comp.lang.ada
 help / color / mirror / Atom feed
From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: How to tell whether program finalization can be suppressed
Date: Mon, 4 Dec 2017 09:16:49 -0800 (PST)
Date: 2017-12-04T09:16:49-08:00	[thread overview]
Message-ID: <c07c2ffa-1f0e-418f-b447-986db8ceb343@googlegroups.com> (raw)
In-Reply-To: <81ab6eef-e4e0-40d4-a90e-4c207fa67b3e@googlegroups.com>

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 library-level finalization."
> > So what did he want to say? Main resp. env task exits, completes, terminates... Normally, Randy is precise in what he says.
> 
> I wasn't disagreeing with Randy, except maybe to make it clearer that library level tasks can continue to run after the main program completes.  I was disagreeing with your statement that the main program is the master of library-level tasks.  Didn't matter in your example, but I could probably gin up an example.  Hmm.  Something with Ada.Text_IO.File_Types and reassignment of Current_Output? I usually keep the main program around to print out a message when the program completes successfully, but that's personal style.

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.

  reply	other threads:[~2017-12-04 17:16 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-12-01 21:39 How to tell whether program finalization can be suppressed Simon Wright
2017-12-01 22:43 ` Randy Brukardt
2017-12-02  9:48   ` Simon Wright
2017-12-04 20:18     ` Randy Brukardt
2017-12-04 22:41     ` Simon Wright
2017-12-02 11:12   ` AdaMagica
2017-12-03 17:16     ` Robert Eachus
2017-12-04 11:58       ` AdaMagica
2017-12-04 14:36         ` Robert Eachus
2017-12-04 17:16           ` AdaMagica [this message]
2017-12-04 18:21             ` Jeffrey R. Carter
2017-12-04 20:25             ` Randy Brukardt
2017-12-04 20:22         ` Randy Brukardt
2017-12-02  3:08 ` Robert Eachus
2017-12-27 15:49 ` Simon Wright
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox