4.7.4 The Internals structure

showOptLambda

Internals option

Structure

Shell.Options.Internals

Type

val showOptLambda: bool option

Description

If true, show optimized lambda code during compilation. Optimized lambda code is the result of the third stage in the compilation of ML code. With showOptLamda set to true, both the unoptimized, and the optimized lambda code are shown.

Example

The following optimized lambda code is produced during the evaluation of a simple ML expression:

MLWorks> val x = 1;
The optimized lambda code
let 
  v14207 = (1, INT 1)
in v14207
end 
val x : int = 1
MLWorks>