4.7.8 The ValuePrinter structure

maximumDepth

ValuePrinter option

Structure

Shell.Options.ValuePrinter

Type

val maximumDepth: int option

Description

The maximumDepth option is an integer determining the maximum depth at which to print nested sequences. Elements deeper than this are elided. The default value is 7.

The value of this option appears, and can be set, in the Maximum depth text box in a GUI listener, compilation manager, or inspector tool's View > Value Printer dialog.

Example

Here is an example of the result of setting maximumDepth to 2:

MLWorks> val b = [ [["H"]], [["C"]] ];
val b : string list list list = [[["H"]], [["C"]]]
MLWorks> set (maximumDepth, 2);
val it : unit = ()
MLWorks> val b = [ [["H"]], [["C"]] ];
val b : string list list list [[...], [...]]
MLWorks>