Formatting

This commit is contained in:
Christoph M. Wintersteiger 2024-07-31 16:58:18 +01:00
parent 262e57e7c2
commit 55a28825a3
No known key found for this signature in database
GPG key ID: 50B5FDA31455CFF3

View file

@ -77,13 +77,13 @@ module Make (IO : IO) = struct
let async (self : #base_server) f : unit IO.t = let async (self : #base_server) f : unit IO.t =
self#spawn_query_handler (fun () -> self#spawn_query_handler (fun () ->
IO.catch f (fun exn bt -> IO.catch f (fun exn bt ->
let msg = let msg =
spf "LSP async notification handler failed with %s\n%s" spf "LSP async notification handler failed with %s\n%s"
(Printexc.to_string exn) (Printexc.to_string exn)
(Printexc.raw_backtrace_to_string bt) (Printexc.raw_backtrace_to_string bt)
in in
IO.return @@ Log.err (fun k -> k "%s" msg))); IO.return @@ Log.err (fun k -> k "%s" msg)));
IO.return () IO.return ()
(** A wrapper to more easily reply to notifications *) (** A wrapper to more easily reply to notifications *)
@ -223,7 +223,7 @@ module Make (IO : IO) = struct
| `InlayHintOptions of InlayHintOptions.t | `InlayHintOptions of InlayHintOptions.t
| `InlayHintRegistrationOptions of InlayHintRegistrationOptions.t | `InlayHintRegistrationOptions of InlayHintRegistrationOptions.t
] ]
option = option =
None None
(** Configuration for the inlay hints API. *) (** Configuration for the inlay hints API. *)
@ -576,7 +576,7 @@ module Make (IO : IO) = struct
(** Called when the document changes. *) (** Called when the document changes. *)
method on_notif_doc_did_save ~notify_back:(_ : notify_back) method on_notif_doc_did_save ~notify_back:(_ : notify_back)
(_params : DidSaveTextDocumentParams.t ) : unit IO.t = (_params : DidSaveTextDocumentParams.t) : unit IO.t =
IO.return () IO.return ()
method on_unknown_notification ~notify_back:(_ : notify_back) method on_unknown_notification ~notify_back:(_ : notify_back)
@ -703,8 +703,8 @@ module Make (IO : IO) = struct
| Lsp.Client_notification.DidSaveTextDocument params -> | Lsp.Client_notification.DidSaveTextDocument params ->
let notify_back = let notify_back =
new notify_back new notify_back
~workDoneToken:None ~partialResultToken:None ~uri:params.textDocument.uri ~workDoneToken:None ~partialResultToken:None
~notify_back ~server_request () ~uri:params.textDocument.uri ~notify_back ~server_request ()
in in
async self (fun () -> async self (fun () ->