package cmdliner-stdlib

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

OCaml runtime keys

The OCaml runtime is usually configurable via the OCAMLRUNPARAM environment variable. We provide boot parameters covering these options.

val backtrace : default:bool -> bool Cmdliner.Term.t

--backtrace: Output a backtrace if an uncaught exception terminated the application. default is the default value if the parameter is not provided on the command-line.

val randomize_hashtables : default:bool -> bool Cmdliner.Term.t

--randomize-hashtables: Randomize all hash tables. default is the default value if the parameter is not provided on the command-line.

val gc_control : default:Stdlib.Gc.control -> Stdlib.Gc.control Cmdliner.Term.t

gc_control is a term that evaluates to a value of type Gc.control. default is the default value if the parameter is not provided on the command-line..

The OCaml garbage collector can be configured, as described in detail in GC control.

val setup : ?backtrace:bool option -> ?randomize_hashtables:bool option -> ?gc_control:Stdlib.Gc.control option -> unit -> unit Cmdliner.Term.t

setup ?backtrace ?randomize_hashtables ?gc_control () is the term that set the corresponding OCaml runtime parameters:

  • if backtrace is set to Some d, adding --backtrace on the command-line will call Printexc.record_backtrace. d is the default if case no parameters are provided. If not set, backtrace is Some false to match the default OCaml runtime behavior.
  • if randomize_hashtables is set to Some d, adding --randomize-hashtables to the command-line will call Hashtable.randomize (). d is the default if no paramaters are provided. If not set, randomize_hashtables is set to Some false to match the default OCaml runtime behavior.
  • if gc_control is set to Some d, various control parameters are added to the command-line options that will cause Gc.set with the right parameters. d is the default if no parameters are provided. If not set, gc_control is Some (Gc.get ()).
OCaml

Innovation. Community. Security.