diff options
Diffstat (limited to 'stdlib/gc.mli')
| -rw-r--r-- | stdlib/gc.mli | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/stdlib/gc.mli b/stdlib/gc.mli index 5437ac0a44..d2f2d97611 100644 --- a/stdlib/gc.mli +++ b/stdlib/gc.mli @@ -86,8 +86,11 @@ type control = this parameter will trigger a minor collection. Default: 32k. *) mutable major_heap_increment : int; - (** The minimum number of words to add to the - major heap when increasing it. Default: 124k. *) + (** How much to add to the major heap when increasing it. If this + number is less than or equal to 1000, it is a percentage of + the current heap size (i.e. setting it to 100 will double the heap + size at each increase). If it is more than 1000, it is a fixed + number of words that will be added to the heap. Default: 15. *) mutable space_overhead : int; (** The major GC speed is computed from this parameter. |