[net.lang.ada] Propagation of exceptions raised wi

stt@ada-uts (06/20/86)

Quoting from the Ada RM, 11.4.1:4,8 ...
"If an exception is raised in the sequence of statements of a frame
that does not have a handler for the exception [ e.g.
your "raise TASK_CRASHED" ], execution of this sequence
of statements is abandoned.  The next action depends on
the nature of the frame:

. . .
  (d)  For a task body, the task becomes completed."

In other words, exceptions are not propagated out of task bodies.
Even the "master" is unaware that a task completed due to
an unhandled exception.  It only knows that the task completed somehow.

Just to confuse things, exceptions ARE propagated out
of accept bodies, to both the caller and the called task.