4.7.8 The ValuePrinter structure

maximumSeqSize

ValuePrinter option

Structure

Shell.Options.ValuePrinter

Type

val maximumSeqSize: int option

Description

The maximumSeqSize option is an integer determining the maximum number of elements to print for sequence values. Sequences longer than this are elided. The default value is 10.

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

Example

Here is an example of setting maximumSeqSize to 4:

MLWorks> val foo = [1, 2, 3, 4, 5, 6];
val foo : int list = [1, 2, 3, 4, 5, 6]
MLWorks> set (maximumSeqSize, 4);
val it : unit = ()
MLWorks> val foo = [1, 2, 3, 4, 5, 6];
val foo : int list = [1, 2, 3, 4, ..]
MLWorks>