stt@ada-uts (11/17/87)
Despite the wording in the LRM, one of the language maintenance committee decisions somewhere along the way required that the tasks dependent on library packages be allowed to complete before the program as a whole was ended.
stt@ada-uts (11/23/87)
The current (1.9) ACVC test suite includes tests which require that library tasks are NOT terminated by the completion of the main subprogram. The operating system must wait for such tasks to complete on their own or for all of them to reach terminate alternatives before abandoning execution. In particular c94004a.ada and c94004b.ada make it clear that a library task must be allowed to complete. These tests refer to (revised) AI-00399 which I presume explains the rationale for this requirement. -Tucker Taft Intermetrics, Inc. Cambridge, MA 02138