Source file `os_ipc.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
type server
type context

type client =
  { context : context; wd : string; environ : string; argv : string array }

(* {1 Server management}
   Listen, accept client and close *)

external server_setup : string -> string -> server option
  = "ml_merlin_server_setup"

external server_accept : server -> timeout:float -> client option
  = "ml_merlin_server_accept"

external server_close : server -> unit = "ml_merlin_server_close"

(* {1 Context management (stdin, stdout, stderr)}
   Setup and close *)

external context_setup : context -> unit = "ml_merlin_context_setup"

external context_close : context -> return_code:int -> unit
  = "ml_merlin_context_close"

(* {1 Environment management} *)

(** completely replace the environment *)
external merlin_set_environ : string -> unit = "ml_merlin_set_environ"

(* {1 Fixup for Windows process management} *)

external merlin_dont_inherit_stdio : bool -> unit
  = "ml_merlin_dont_inherit_stdio"