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.