diff options
| author | Stephen Dolan <stephen.dolan@cl.cam.ac.uk> | 2017-03-08 10:24:15 +0000 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2017-03-09 10:50:08 -0500 |
| commit | 2ad791b0b53b47582a2164743b362190c7555b7a (patch) | |
| tree | fc1e15dc8fdaab8cca2d039e4fcc3edee1099835 /stdlib | |
| parent | ad646368a242f3b2e16c169a9061ba8384641db3 (diff) | |
| download | ocaml-2ad791b0b53b47582a2164743b362190c7555b7a.tar.gz | |
Fix Gc.minor_{words,free} by removing [@@noalloc]
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/gc.ml | 4 | ||||
| -rw-r--r-- | stdlib/gc.mli | 4 |
2 files changed, 4 insertions, 4 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" diff --git a/stdlib/gc.mli b/stdlib/gc.mli index 5a1e62724f..8002037935 100644 --- a/stdlib/gc.mli +++ b/stdlib/gc.mli @@ -171,7 +171,7 @@ external counters : unit -> float * float * float = "caml_gc_counters" is as fast as [quick_stat]. *) 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" (** Number of words allocated in the minor heap since the program was started. This number is accurate in byte-code programs, but only an approximation in programs compiled to native code. @@ -219,7 +219,7 @@ val allocated_bytes : unit -> float started. It is returned as a [float] to avoid overflow problems with [int] on 32-bit machines. *) -external get_minor_free : unit -> int = "caml_get_minor_free" [@@noalloc] +external get_minor_free : unit -> int = "caml_get_minor_free" (** Return the current size of the free space inside the minor heap. @since 4.03.0 *) |