The TimeLimit structure provides a mechanism for limiting the execution
time of a computation. The mechanism is implemented using the runtime
system’s interval timer and the SML/NJ signal mechanism.
Synopsis
structure TimeLimit
Interface
exception TimeOut
val timeLimit : Time.time -> ('a -> 'b) -> 'a -> 'b
Description
exception TimeOut-
The exception that is raised if the time limit expires.
val timeLimit : Time.time -> ('a -> 'b) -> 'a -> 'b-
timeLimit t f xcomputes the expressionf x. If the computation takes longer than the time limitt, then theTimeOutexception is raised.