2.4 Unqualified top-level items

use

Summary

Reads ML declarations from a file and evaluates them.

Type

val use : string -> unit

Syntax

use file -> ()

Arguments

file

A string naming a file containing ML declarations.

Values

unit

Description

Reads ML declarations from a single file and evaluates them, thereby creating new bindings in the interactive environment. The file string should contain an ordinary filename specified in the filename notation of the underlying operating system. It should not use the MLWorks compilation system's abstract unit and compound notation. Nor should file contain top-level require declarations, though use declarations are permitted.

Generated with Harlequin WebMaker