4.7.2 The Compiler structure

generateDebugInfo

Compiler option

Structure

Shell.Options.Compiler

Type

val generateDebugInfo: bool option

Description

If true, all functions subsequently compiled will be suitable for tracing or call-count profiling.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker