3 The MLWorks Pervasive Library

3.3 Delivery tools: the Deliver structure

Delivery is the process of creating an image file or standalone executable file from an ML function. The Deliver structure provides tools for performing delivery. The structure has the following signature:

structure Deliver :
sig
  type deliverer = string * (unit -> unit) * bool -> unit
  type delivery_hook = deliverer -> deliverer
  val deliver : deliverer
  val with_delivery_hook : delivery_hook -> ('a -> 'b) -> 'a -> 'b
end

The components of the Deliver structure are described below.

deliverer
delivery_hook
deliver
with_delivery_hook

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker