4.7.3 The Debugger structure

hideDeliveredFrames

Debugger option

Structure

Shell.Options.Debugger

Type

val hideDeliveredFrames: bool option

Description

If true, hide delivered stack frames when in the debugger. A delivered frame is the frame of a delivered function. Delivered functions have information such as debug information and location information stripped out.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker