3.5 Threads: the Threads structure

wake

Function

Summary

Wakes a thread up.

Signature

MLWORKS.Threads

Structure

MLWorks.Threads

Type

val wake : 'a thread -> unit

Syntax

wake t -> ()

Arguments

t
A thread.

Values

unit

Description

Wakes the thread t up, if it was asleep. Raises the exception Threads if t is already awake.


MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker