diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2012-01-10 20:08:38 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2012-01-10 20:08:38 +0000 |
commit | 7c7cad0ee2f27d474111f7b0f98c3f0eb58779bf (patch) | |
tree | f4ab20651c793c8722619871a6b4a2ba8b05bfb1 /stdlib | |
parent | 9e744ea2db9a0621442bf630cc2accb6578742fd (diff) |
documentation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
-rw-r--r-- | stdlib/gc.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stdlib/gc.mli b/stdlib/gc.mli index b7abae0c1..71b8ffa78 100644 --- a/stdlib/gc.mli +++ b/stdlib/gc.mli @@ -123,6 +123,8 @@ type control = compaction is triggered at the end of each major GC cycle (this setting is intended for testing purposes only). If [max_overhead >= 1000000], compaction is never triggered. + If compaction is permanently disabled, it is strongly suggested + to set [allocation_policy] to 1. Default: 500. *) mutable stack_limit : int; |