diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2002-01-18 15:13:26 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2002-01-18 15:13:26 +0000 |
| commit | 09a8c6bc78f4a84c99b68baef2a1dfb10b8c4a4e (patch) | |
| tree | 5af49766e2f79faac1b5cd24b6fe7e3247ed82dc /stdlib/gc.mli | |
| parent | e0c8e458d294b4d6bfeafcaba75ebede3dc22b5a (diff) | |
configure: suppression "smart preprocessing" pour MacOS X
asmrun/roots.c, byterun/alloc.c, byterun/gc_ctrl.c, byterun/minor_gc.c,
byterun/minor_gc.h, byterun/roots.c, byterun/startup.c:
derecursivation du GC mineur
byterun/config.h, stdlib/gc.mli: compactage active par defaut (300%)
otherlibs/unix/select.c: ajout include MacOS X
.cvsignore: bricoles
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4264 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/gc.mli')
| -rw-r--r-- | stdlib/gc.mli | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/gc.mli b/stdlib/gc.mli index 26b13dabc..c70c91c77 100644 --- a/stdlib/gc.mli +++ b/stdlib/gc.mli @@ -39,7 +39,8 @@ type stat = since the program was started (including the initial allocation of the heap). *) live_words : int; - (** Number of words of live data in the major heap, including the header words.*) + (** Number of words of live data in the major heap, including the header + words. *) live_blocks : int; (** Number of live blocks in the major heap. *) free_words : int; @@ -105,7 +106,7 @@ 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. - Default: 1000000. *) + Default: 300. *) mutable stack_limit : int; (** The maximum size of the stack (in words). This is only |