Commitbb15188

committed

generic id param

1 parent14dc286 commitbb15188Copy full SHA for bb15188

File tree

-5

lines changed

-5

lines changed

Lines changed: 1 addition & 0 deletions

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@ let extend = (obj, items) => Json.obj(obj) \|?>> current => Json.Object(current @`
`8`	`8`	`letlog=Log.log;`
`9`	`9`
`10`	`10`	`letmaybeHash= (h, k)=>if (Hashtbl.mem(h, k)) {Some(Hashtbl.find(h, k)) }else {None };`
`11`		`-typehandler=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;/`
`12`	`12`
`13`	`13`	`lethandlers:list((string, (state,Json.t) =>result((state,Json.t),string)))=[`
`14`	`14`	`("textDocument/definition", (state, params)=> {`

Lines changed: 4 additions & 4 deletions

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ module J = {`
`13`	`13`
`14`	`14`	`openInfix;`
`15`	`15`
`16`		`-typejsonrpc=Message(float, string,Json.t) \|Notification(string,Json.t);`
	`16`	`+typejsonrpc=Message(Json.t, string,Json.t) \|Notification(string,Json.t);`
`17`	`17`
`18`	`18`	`letreadMessage= (log, input)=> {`
`19`	`19`	`letclength= input_line(input);`
`@@ -30,7 +30,7 @@ let readMessage = (log, input) => {`
`30`	`30`	`letjson=try (Json.parse(raw)) {`
`31`	`31`	`\|Failure(message)=>failwith("Unable to parse message "++ raw++" as json: "++ message)`
`32`	`32`	`};`
`33`		`-letid=Json.get("id", json)\|?>Json.number;`
	`33`	`+letid=Json.get("id", json);`
`34`	`34`	`let method=Json.get("method", json)\|?>Json.string\|!"method required";`
`35`	`35`	`letparams=Json.get("params", json)\|!"params required";`
`36`	`36`	`switch id {`
`@@ -52,7 +52,7 @@ let sendMessage = (log, output, id, result) => {`
`52`	`52`	`openJson;`
`53`	`53`	`openJ;`
`54`	`54`	`letcontent=Json.stringify(o([`
`55`		`- ("id",Number(id)),`
	`55`	`+ ("id",id),`
`56`	`56`	`("jsonrpc", s("2.0")),`
`57`	`57`	`("result", result)]));`
`58`	`58`	`log("Sending response "++ content);`
`@@ -63,7 +63,7 @@ let sendError = (log, output, id, error) => {`
`63`	`63`	`openJson;`
`64`	`64`	`openJ;`
`65`	`65`	`letcontent=Json.stringify(o([`
`66`		`- ("id",Number(id)),`
	`66`	`+ ("id",id),`
`67`	`67`	`("jsonrpc", s("2.0")),`
`68`	`68`	`("error", error)]));`
`69`	`69`	`log("Sending response "++ content);`

Comments

(0)