4.7 Environment options: the Options structure

4.7.6 The Mode structure

The Mode structure provides compatibility with the new and old definitions of ML, and provides a concise way of setting global optimization and debugging options.

structure Mode:   
 sig
  val sml'96: unit -> unit
  val sml'90: unit -> unit
  val compatibility: unit -> unit
  val optimizing: bool option
  val debugging: bool option
 end
sml'96
sml'90
compatibility
optimizing
debugging
MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker