4.3.3 The Build structure

queryLoadSource

Function

Structure

Shell.Build

Type

val queryLoadSource: string -> unit
Syntax

queryLoadSource unit-name -> ()
Arguments

unit-name
A string naming a program unit. Must be given in the portable unit-location notation (see Section 4.3.2.1 on page 69).

Values

unit

Description

This function is the same as queryLoadObject unit-name, except that it prints the list of source files that must be reloaded in order to bring unit-name up-to-date in the interactive context.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker