A terminated execution cannot call any more sites or publish any more values.

Though a terminated execution may not make any new calls, the calls that it has already made will continue normally; their responses are simply ignored. This may have surprising consequences when a call has side effects, since the call will continue and the side effects will occur even after termination.

EXAMPLES

{- This example actually prints both "true" and "false" to the console, regardless of which call responds first. -} stop <x< println("true") | println("false")

Both of the println calls are initiated before either one of them publishes a value and terminates the expression. Once the expression is terminated, no new calls occur, but the other println call still proceeds and still has the effect of printing its message to the console.

Add new attachment

Only authorized users are allowed to upload new attachments.
« This page (revision-2) was last changed on 11-Oct-2010 13:12 by DavidKitchin