4.7.4 The Internals structure

showMach

Internals option

Structure

Shell.Options.Internals

Type

val showMach: bool option

Description

If true, show object code during compilation. The object code is the final result of the ML compilation procedure. Once generated, the object code is executed.

Example

The following is an example of the output generated during the evaluation of a simple ML expression with showMach set to true:

MLWorks> val x = 1;
The final machine code
[Sparc_Assembly Code] for <Setup>[<Listener #1>:1,1]
  taddcctv alloc, alloc, #8 ; Attempt to allocate some heap
  or       arg, limit, #1 ; Tag allocated pointer
  add      limit, limit, #8 ; Advance allocation point
  mov      g7, #4
  st       g7, [arg, #~1]
  mov      o2, #4
  retl ; Ordinary return
  st       o2, [arg, #3]
val x : int = 1
MLWorks>