4.7.4 The Internals structure

showLambda

Internals option

Shell.Options.Internals

val showLambda: bool option

If true, show unoptimized lambda code during compilation. Unoptimized lambda code is the result of the second stage in the compilation of ML code.

When showLambda is set to true, the following is produced during the evaluation of a simple ML expression:

MLWorks> val x = 1;
The unoptimised lambda code

let 
  v14196 = 1
in (v14196, INT 1)
end 
val x : int = 1
MLWorks>