2.4 Unqualified top-level items
use
Function
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 project system's abstract unit and compound notation. Nor should file contain top-level require declarations, though use declarations are permitted.