diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2010-04-27 07:55:08 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2010-04-27 07:55:08 +0000 |
| commit | 09ba69134f63132a1516dc57c7d17a9c8b1475d9 (patch) | |
| tree | 94758db2e1257f7106ab98e75fd6ab4b751ae999 /stdlib/gc.mli | |
| parent | 3067d052210939093bf562c154e42ffc59e756cb (diff) | |
| download | ocaml-09ba69134f63132a1516dc57c7d17a9c8b1475d9.tar.gz | |
- Refactoring of otherlibs/systhreads
- PR#4702: added C functions to register threads not created by Caml
- PR#5013: wrong implementation of condition variables under Win32
- PR#4979: wrong error code handling under Win32
- Added standard include <caml/threads.h>
- Added "stack_size" field in GC statistics.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/gc.mli')
| -rw-r--r-- | stdlib/gc.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/stdlib/gc.mli b/stdlib/gc.mli index 809998c500..76fb937e4d 100644 --- a/stdlib/gc.mli +++ b/stdlib/gc.mli @@ -70,6 +70,9 @@ type stat = top_heap_words : int; (** Maximum size reached by the major heap, in words. *) + + stack_size: int; + (** Current size of the stack, in words. *) } (** The memory management counters are returned in a [stat] record. |