diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2016-08-16 16:52:16 +0200 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2016-08-16 16:54:42 +0200 |
| commit | 5c8865177659be9e77d2077813daf765657ee2c8 (patch) | |
| tree | 712bd32e57848ecb1cd34c98af7f2468e2383256 /stdlib/gc.mli | |
| parent | e17dce1c5e2c01f62b1d5e71a85b1d34ea2f6544 (diff) | |
| download | ocaml-5c8865177659be9e77d2077813daf765657ee2c8.tar.gz | |
missing @since tags in stdlib's Gc module
Diffstat (limited to 'stdlib/gc.mli')
| -rw-r--r-- | stdlib/gc.mli | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/stdlib/gc.mli b/stdlib/gc.mli index 78c5759010..eb10e74505 100644 --- a/stdlib/gc.mli +++ b/stdlib/gc.mli @@ -176,7 +176,9 @@ external minor_words : unit -> (float [@unboxed]) started. This number is accurate in byte-code programs, but only an approximation in programs compiled to native code. - In native code this function does not allocate. *) + In native code this function does not allocate. + + @since 4.04 *) external get : unit -> control = "caml_gc_get" (** Return the current values of the GC parameters in a [control] record. *) @@ -314,6 +316,8 @@ val finalise_last : (unit -> unit) -> 'a -> unit before running the finalisation function. Moreover the finalisation function attached with `GC.finalise` are always called before the finalisation function attached with `GC.finalise_last`. + + @since 4.04 *) val finalise_release : unit -> unit |