4.7.3 The Debugger structure

hideHandlerFrames

Debugger option

Shell.Options.Debugger

val hideHandlerFrames: bool option

If true, hide stack frames corresponding to exception handlers.

MLWorks Reference Manual version 2.0 - 29 Jul 1998