3.5 Threads: the Threads structure

kill

Function

Summary

Kills a thread.

Signature

MLWORKS.Threads.Internal

Structure

MLWorks.Threads.Internal

Type

val kill : thread_id -> unit

Syntax

kill ID -> ()

Arguments

ID
A thread identifier.

Values

unit

Description

Kills the thread ID.

Warning: It is quite possible to kill MLWorks with kill. The following call, for example, will do just that:

kill (id ());

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker