Source file `import0.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
open! Core_kernel
module Caml_embed = Ecaml_value.Caml_embed
module Ecaml_callback = Ecaml_value.Ecaml_callback
module Form = Ecaml_value.Form
module Funcall = Ecaml_value.Funcall
module Function = Ecaml_value.Function
module Generated_bindings = Ecaml_value.Generated_bindings
module Value = Ecaml_value.Value
module Valueable = Ecaml_value.Valueable

let message = Ecaml_value.message
let messagef = Ecaml_value.messagef
let message_s = Ecaml_value.message_s

include Composition_infix

let initialize_module =
  Printexc.record_backtrace true;
  Sexp.of_int_style := `Underscores
;;

let concat = String.concat
let debug = false
let print_s = Expect_test_helpers_kernel.print_s
let eprint_s = Core_kernel.Debug.eprint_s
let raise_string s = raise_s [%sexp (String.strip (concat s) : string)]
let sec_ns = Time_ns.Span.of_sec

(* Buffer local variables can cause emacs to segfault when gc'ed. So we use these
   functions to prevent such variables from being gc'ed. See thread "nasty ecaml bug" or
   bug report http://lists.gnu.org/archive/html/bug-gnu-emacs/2017-10/msg01453.html.
   This workaround can cause a memory leak in theory, but in practice, they are used very
   little. *)
let add_gc_root =
  let gc_roots = Stack.create () in
  fun f -> Stack.push gc_roots f
;;

let add_gc_root a = add_gc_root (fun () -> Gc.keep_alive a)

type 'a opaque_in_test = 'a

let sexp_of_opaque_in_test sexp_of_a a =
  if am_running_test then [%sexp "_"] else [%sexp (a : a)]
;;