4.7.8 The ValuePrinter structure

showFnDetails

ValuePrinter option

Structure

Shell.Options.ValuePrinter

Type

val showFnDetails: bool option

Description

If true, the results of each subsequently defined function declaration include the line-and-column location in the listener or source file at which the function was defined. The default setting is false.

The value of this option corresponds to, and can be set via, the Show function details option button in a GUI listener, compilation manager, or inspector tool's View > Value Printer dialog.

Example

The following extract shows the difference in output between a function defined with showFnDetails set to false, and set to true:

MLWorks> set (showFnDetails, false);
val it : unit = ()
MLWorks> val foo = fn x => x + 1;
val foo : int -> int = fn
MLWorks> set (showFnDetails, true);
val it : unit -> ()
MLWorks> val foo = fn x => x + 1;
val foo : int = fn[<anon>[<Listener #1>:1,11 to 1,23]]
MLWorks>