From 7dd2ce0cd0a4b6c63768aa226ccc17854c7455a6 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 23 Apr 2021 16:41:50 -0400 Subject: [PATCH] reexpose Req_id --- src/server.ml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/server.ml b/src/server.ml index 2caea0c3..480e8f3f 100644 --- a/src/server.ml +++ b/src/server.ml @@ -9,9 +9,13 @@ type nonrec doc_state = { content: string; } +(** {2 Request ID} + + unique ID of a request, used by JSONRPC to map each request to its reply. *) module Req_id = struct type t = Jsonrpc.Id.t + (** String representation of the ID *) let to_string : t -> string = function | `String s -> s | `Int i -> string_of_int i @@ -25,6 +29,7 @@ module Make(IO : IO) = struct module Range = Range module Diagnostic = Diagnostic module DiagnosticSeverity = DiagnosticSeverity + module Req_id = Req_id (** The server baseclass *) class virtual base_server = object