3.5 Threads: the Threads structure
'a result
Type
Summary
The type of thread status reports.
Signature
MLWORKS.Threads
Structure
MLWorks.Threads
Type
datatype 'a result = Running | Waiting | Sleeping | Result of 'a | Exception of exn | Died | Killed | Expired
Description
The type of thread status reports, as returned by the functions result and Internal.state. Can be one of:
Running- The thread is currently running.
Waiting- The thread is currently waiting.
Sleeping- The thread is currently sleeping.
Result of 'a- The thread has completed, with this result.
Exception of exn-
The thread exited, with this uncaught exception.
Died- The thread died. (For example, because of a bus error.)
Killed- The thread has been killed.
Expired- The thread no longer exists.
See also
result, page 50
state, page 57