4.3 Compilation: the Build, File, and Path structures

4.3.5 The Path structure

The Path structure provides an interface to the batch compilation system's source path mechanism. It has the following signature:

structure Path:
 sig
    exception PathError of string
    val sourcePath: unit -> string list
    val setSourcePath: string list -> unit
    val pervasive: unit -> string
    val setPervasive: string -> unit
 end

PathError
sourcePath
setSourcePath
pervasive
setPervasive

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker