3.5 Threads: the Threads structure

raise_in

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

unit

Description

Raises exception e in the thread ID.

Generated with Harlequin WebMaker