diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2010-05-12 14:32:23 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2010-05-12 14:32:23 +0000 |
| commit | 29224ccbe68f7c9c0ff3bfec7b1516607f3dd720 (patch) | |
| tree | 57cdcadf40152b5acf49dd24032a90b8c947f833 /stdlib/gc.mli | |
| parent | 7c5ae7af4c4fa0573a6b25507afb428b6fa3f2d8 (diff) | |
| download | ocaml-29224ccbe68f7c9c0ff3bfec7b1516607f3dd720.tar.gz | |
PR#4742: finalisation function raising an exception blocks other finalisations
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/gc.mli')
| -rw-r--r-- | stdlib/gc.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/gc.mli b/stdlib/gc.mli index 76fb937e4d..b02b758c59 100644 --- a/stdlib/gc.mli +++ b/stdlib/gc.mli @@ -224,7 +224,8 @@ val finalise : ('a -> unit) -> 'a -> unit The [f] function can use all features of O'Caml, including assignments that make the value reachable again. It can also loop forever (in this case, the other - finalisation functions will be called during the execution of f). + finalisation functions will not be called during the execution of f, + unless it calls [finalise_release]). It can call [finalise] on [v] or other values to register other functions or even itself. It can raise an exception; in this case the exception will interrupt whatever the program was doing when |