jon.recoil.org

Module Gc.TweakSource

GC Tweaks are unstable and undocumented configurable GC parameters, primarily intended for use by GC developers.

As well as using Gc.Tweak.set "foo" 42, they can also be configured in OCAMLRUNPARAM, using the following syntax:

OCAMLRUNPARAM='Xfoo=42'

Sourceval set : string -> int -> unit

Change a parameter. Raises Invalid_argument if no such parameter exists

Sourceval get : string -> int

Retrieve a parameter value. Raises Invalid_argument if no such parameter exists

Sourceval list_active : unit -> (string * int) list

Returns the list of parameters and their values that currently have non-default values