4.7.8 The ValuePrinter structure

floatPrecision

Structure

Shell.Options.ValuePrinter

Type

val floatPrecision: int option

Description

The floatPrecision option is an integer determining the maximum number of significant digits printed for reals. The default value is 10.

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

Example

Here is an example of setting floatPrecision to 4:

MLWorks> 1.23456789;
val it : real = 1.23456789
MLWorks> set (floatPrecision, 4);
val it : unit = ()
MLWorks> 1.23456789;
val it : real = 1.235
MLWorks>

Generated with Harlequin WebMaker