diff options
| author | Stephen Dolan <stephen.dolan@cl.cam.ac.uk> | 2016-11-22 18:54:11 +0000 |
|---|---|---|
| committer | Stephen Dolan <stephen.dolan@cl.cam.ac.uk> | 2016-11-22 18:54:11 +0000 |
| commit | 3802fb7a0b433d76e445f52e9dcfcd3ab1a9925a (patch) | |
| tree | 2d5daf20ff7baff8433ab9e57c454c8a534b3cfc /stdlib/gc.ml | |
| parent | 571924017aedc29454085e2e7799fd5e32b01ef8 (diff) | |
| download | ocaml-3802fb7a0b433d76e445f52e9dcfcd3ab1a9925a.tar.gz | |
Expose explicit promotion as Gc.promote_to.
Closes #36.
Diffstat (limited to 'stdlib/gc.ml')
| -rw-r--r-- | stdlib/gc.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stdlib/gc.ml b/stdlib/gc.ml index 39bf343db4..8276ecedc7 100644 --- a/stdlib/gc.ml +++ b/stdlib/gc.ml @@ -80,6 +80,7 @@ let allocated_bytes () = external finalise : ('a -> unit) -> 'a -> unit = "caml_final_register";; external finalise_release : unit -> unit = "caml_final_release";; +external promote_to : 'a -> 'b -> 'a = "caml_obj_promote_to" type alarm = bool ref;; type alarm_rec = {active : alarm; f : unit -> unit};; |