mirror of
https://github.com/c-cube/linol.git
synced 2025-12-07 03:35:41 -05:00
reexpose Req_id
This commit is contained in:
parent
1668e9938a
commit
7dd2ce0cd0
1 changed files with 5 additions and 0 deletions
|
|
@ -9,9 +9,13 @@ type nonrec doc_state = {
|
||||||
content: string;
|
content: string;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
(** {2 Request ID}
|
||||||
|
|
||||||
|
unique ID of a request, used by JSONRPC to map each request to its reply. *)
|
||||||
module Req_id = struct
|
module Req_id = struct
|
||||||
type t = Jsonrpc.Id.t
|
type t = Jsonrpc.Id.t
|
||||||
|
|
||||||
|
(** String representation of the ID *)
|
||||||
let to_string : t -> string = function
|
let to_string : t -> string = function
|
||||||
| `String s -> s
|
| `String s -> s
|
||||||
| `Int i -> string_of_int i
|
| `Int i -> string_of_int i
|
||||||
|
|
@ -25,6 +29,7 @@ module Make(IO : IO) = struct
|
||||||
module Range = Range
|
module Range = Range
|
||||||
module Diagnostic = Diagnostic
|
module Diagnostic = Diagnostic
|
||||||
module DiagnosticSeverity = DiagnosticSeverity
|
module DiagnosticSeverity = DiagnosticSeverity
|
||||||
|
module Req_id = Req_id
|
||||||
|
|
||||||
(** The server baseclass *)
|
(** The server baseclass *)
|
||||||
class virtual base_server = object
|
class virtual base_server = object
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue