Re: Propagation of unhandled exceptions during elaboration, in a tasking program

[Robert A Duff <bobduff@world.std.com>]

Robert Dewar <robert_dewar@my-deja.com> writes:

> Why the latter, this is most certainly not a target or
> implementation specific issue, but just one of standard
> Ada semantics (waiting for task termination).

But the issue was whether an error message got printed, and I don't
think the RM has anything to say about that.  To me, it seems friendly
to print the message *before* doing any task waiting.  After all, the
program might well wait forever, since the main procedure never causes
some tasks to go ahead.  Of course, it's not sensible to print *any*
messages on many embedded systems.

Also, there's an obscure Implementation Permission in 10.2(30), which
*allows* the implementation to abort all the tasks in this situation.
I don't think any implementations actually do that.

- Bob