3.5 Threads: the Threads structure
raise_in
Function
Summary
Raise an exception in a thread.
Signature
MLWORKS.Threads.Internal
Structure
MLWorks.Threads.Internal
Type
val raise_in : thread_id * exn -> unit
Syntax
raise_in (ID,e)
Arguments
- ID
- A thread identifier.
- e
- An exception.
Values
()
Description
Raises exception e in the thread ID.