diff options
author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-04-09 17:32:53 +0100 |
---|---|---|
committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2020-04-09 17:32:53 +0100 |
commit | 9b0c3f3b29162210ea8ebb2663e8b911461751ad (patch) | |
tree | c11ef141931d7a21768ac2324bbd9a1dfcf61a37 /stdlib/gc.ml | |
parent | 76f70b8458d1a9db1810702e3f4f0c47dc6efc9e (diff) | |
parent | 4c130cae87cd29621aa2ed8a36a68fc7eaa950a2 (diff) | |
download | ocaml-9b0c3f3b29162210ea8ebb2663e8b911461751ad.tar.gz |
Merge commit '4c130cae87cd29621aa2ed8a36a68fc7eaa950a2' into parallel_minor_gc_4_08
Diffstat (limited to 'stdlib/gc.ml')
-rw-r--r-- | stdlib/gc.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/stdlib/gc.ml b/stdlib/gc.ml index 7d95ada9cb..dd7768fece 100644 --- a/stdlib/gc.ml +++ b/stdlib/gc.ml @@ -41,6 +41,9 @@ type control = { mutable stack_limit : int; mutable allocation_policy : int; window_size : int; + custom_major_ratio : int; + custom_minor_ratio : int; + custom_minor_max_size : int; } external stat : unit -> stat = "caml_gc_stat" |