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

[Robert Dewar <robert_dewar@my-deja.com>]

In article <wcchfj4yg37.fsf@world.std.com>,
  Robert A Duff <bobduff@world.std.com> wrote:
> 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.


Interesting, actually it seems a good idea to take advantage of
this. A pity it is not more extensive, and would also apply to
the nested case (Constraint_Error raised, no CE handler
anywhere, but you get stuck waiting for an inner task to
terminate), not to mention the silent task termination case.

I really don't see generating junk output from a program whose
formal semantics is well defined and which is not expected to
generate any output.

However, I suppose an option to fix all three problems in the
obvious way at the same time would make sense if it is not the
standard mode.


Sent via Deja.com http://www.deja.com/
Before you buy.