4.7.8 The ValuePrinter structure

maximumStrDepth

Structure

Shell.Options.ValuePrinter

Type

val maximumStrDepth: int option

Description

The maximumStrDepth option is an integer determining the maximum depth in a nested structure at which to print ML structure contents. The contents of structures deeper than this are elided. The default value is 2.

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

Example

In the following example the value of maximumStrDepth is the default value of 2. The example structure has depth 3, and therefore the deepest part of it, structure U, is elided:

MLWorks> structure S = struct 
                        val x =45;
                        structure T = struct
                          structure U = struct
                           val y = 1; end end end;
structure S =
  struct
    structure T =
      struct
        structure U = struct ... end
      end
    val x : int = 45
  end
MLWorks>

Generated with Harlequin WebMaker