diff options
author | Stephen Dolan <stephen.dolan@cl.cam.ac.uk> | 2017-03-08 10:24:15 +0000 |
---|---|---|
committer | Stephen Dolan <stephen.dolan@cl.cam.ac.uk> | 2017-03-09 14:51:09 +0000 |
commit | f5412927ba7b16a0f88b5af0f1f0edfb0ec091d6 (patch) | |
tree | 51b124a2e2f3ddb1a8f4a5f54d11718124034a6d /stdlib/gc.ml | |
parent | 0df693e34254bf925f711419b3468eee8ffb608c (diff) | |
download | ocaml-f5412927ba7b16a0f88b5af0f1f0edfb0ec091d6.tar.gz |
Fix Gc.minor_{words,free} by removing [@@noalloc]
Diffstat (limited to 'stdlib/gc.ml')
-rw-r--r-- | stdlib/gc.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/gc.ml b/stdlib/gc.ml index fc04b60645..d3dd069b27 100644 --- a/stdlib/gc.ml +++ b/stdlib/gc.ml @@ -47,7 +47,7 @@ external stat : unit -> stat = "caml_gc_stat" external quick_stat : unit -> stat = "caml_gc_quick_stat" external counters : unit -> (float * float * float) = "caml_gc_counters" external minor_words : unit -> (float [@unboxed]) - = "caml_gc_minor_words" "caml_gc_minor_words_unboxed" [@@noalloc] + = "caml_gc_minor_words" "caml_gc_minor_words_unboxed" external get : unit -> control = "caml_gc_get" external set : control -> unit = "caml_gc_set" external minor : unit -> unit = "caml_gc_minor" @@ -55,7 +55,7 @@ external major_slice : int -> int = "caml_gc_major_slice" external major : unit -> unit = "caml_gc_major" external full_major : unit -> unit = "caml_gc_full_major" external compact : unit -> unit = "caml_gc_compaction" -external get_minor_free : unit -> int = "caml_get_minor_free" [@@noalloc] +external get_minor_free : unit -> int = "caml_get_minor_free" external get_bucket : int -> int = "caml_get_major_bucket" [@@noalloc] external get_credit : unit -> int = "caml_get_major_credit" [@@noalloc] external huge_fallback_count : unit -> int = "caml_gc_huge_fallback_count" |