this repo has no description
Merge pull request #1 from patricoferris/expose-typecheck
Expose typecheck in the client
authored by
Jon Ludlam
and committed by
GitHub
3bc2ee62
3749dc9c
+11
-1
+6
idl/js_top_worker_client.ml
+6
idl/js_top_worker_client.ml
···
76
76
unit ->
77
77
(Toplevel_api_gen.exec_result, Toplevel_api_gen.err) result Lwt.t
78
78
79
+
val typecheck :
80
+
rpc ->
81
+
string ->
82
+
(Toplevel_api_gen.exec_result, Toplevel_api_gen.err) result Lwt.t
83
+
79
84
val exec :
80
85
rpc ->
81
86
string ->
···
93
98
94
99
let init rpc a = Wraw.init rpc a |> Rpc_lwt.T.get
95
100
let setup rpc a = Wraw.setup rpc a |> Rpc_lwt.T.get
101
+
let typecheck rpc a = Wraw.typecheck rpc a |> Rpc_lwt.T.get
96
102
let exec rpc a = Wraw.exec rpc a |> Rpc_lwt.T.get
97
103
let complete rpc a = Wraw.complete rpc a |> Rpc_lwt.T.get
98
104
end
+5
-1
idl/js_top_worker_client.mli
+5
-1
idl/js_top_worker_client.mli
···
45
45
printed when starting a toplevel. Note that the toplevel
46
46
must be initialised first. *)
47
47
48
+
val typecheck : rpc -> string -> (exec_result, err) result Lwt.t
49
+
(** Typecheck a phrase using the toplevel. The toplevel must have been
50
+
initialised first. *)
51
+
48
52
val exec : rpc -> string -> (exec_result, err) result Lwt.t
49
53
(** Execute a phrase using the toplevel. The toplevel must have been
50
-
Initialised first. *)
54
+
initialised first. *)
51
55
52
56
val complete : rpc -> string -> (completion_result, err) result Lwt.t
53
57
(** Find completions of the incomplete phrase. Completion occurs at the