Skip to content

Commit bb15188

Browse files
committed
generic id param
1 parent 14dc286 commit bb15188

File tree

3 files changed

+6
-5
lines changed

3 files changed

+6
-5
lines changed

.gitignore

+1
Original file line numberDiff line numberDiff line change
@@ -11,3 +11,4 @@ static/codemirror-5.36.0
1111
_old
1212
tmp
1313
*.vsix
14+
client/bin.native

src/lsp/MessageHandlers.re

+1-1
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ let extend = (obj, items) => Json.obj(obj) |?>> current => Json.Object(current @
88
let log = Log.log;
99

1010
let maybeHash = (h, k) => if (Hashtbl.mem(h, k)) { Some(Hashtbl.find(h, k)) } else { None };
11-
type handler = Handler(string, Json.t => result('a, string), (state, 'a) => result((state, Json.t), string)) : handler;
11+
/* type handler = Handler(string, Json.t => result('a, string), (state, 'a) => result((state, Json.t), string)) : handler; */
1212

1313
let handlers: list((string, (state, Json.t) => result((state, Json.t), string))) = [
1414
("textDocument/definition", (state, params) => {

src/lsp/Rpc.re

+4-4
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ module J = {
1313

1414
open Infix;
1515

16-
type jsonrpc = Message(float, string, Json.t) | Notification(string, Json.t);
16+
type jsonrpc = Message(Json.t, string, Json.t) | Notification(string, Json.t);
1717

1818
let readMessage = (log, input) => {
1919
let clength = input_line(input);
@@ -30,7 +30,7 @@ let readMessage = (log, input) => {
3030
let json = try (Json.parse(raw)) {
3131
| Failure(message) => failwith("Unable to parse message " ++ raw ++ " as json: " ++ message)
3232
};
33-
let id = Json.get("id", json) |?> Json.number;
33+
let id = Json.get("id", json);
3434
let method = Json.get("method", json) |?> Json.string |! "method required";
3535
let params = Json.get("params", json) |! "params required";
3636
switch id {
@@ -52,7 +52,7 @@ let sendMessage = (log, output, id, result) => {
5252
open Json;
5353
open J;
5454
let content = Json.stringify(o([
55-
("id", Number(id)),
55+
("id", id),
5656
("jsonrpc", s("2.0")),
5757
("result", result)]));
5858
log("Sending response " ++ content);
@@ -63,7 +63,7 @@ let sendError = (log, output, id, error) => {
6363
open Json;
6464
open J;
6565
let content = Json.stringify(o([
66-
("id", Number(id)),
66+
("id", id),
6767
("jsonrpc", s("2.0")),
6868
("error", error)]));
6969
log("Sending response " ++ content);

0 commit comments

Comments
 (0)