hideHandlerFrames

4.7.3 The Debugger structure

Debugger option

Structure

Shell.Options.Debugger

Type

val hideHandlerFrames: bool option

Description

If true, hide stack frames corresponding to exception handlers.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996