4.7.2 The Compiler structure

optimizeHandlers

Compiler option

Structure

Shell.Options.Compiler

Type

val optimizeHandlers: bool option

Description

Exception handlers are optimized on subsequent compilations if optimizeHandlers is true. The stack may or may not be unwound by exception handlers before executing. It is more efficient if the stack is unwound, but information is lost if the stack browser is entered. If optimizeHandlers is true, then exception handlers unwind the stack, otherwise they do not and the stack is preserved for debugging purposes.