From 3fac121a48c29bd67ceafa55e7b9432dc4c8eee0 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 7 Apr 2021 18:06:18 -0400 Subject: [PATCH] fix type for on_notification_unhandled --- src/server.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/server.ml b/src/server.ml index c5d78af2..d4f78b2a 100644 --- a/src/server.ml +++ b/src/server.ml @@ -144,7 +144,7 @@ module Make(IO : IO) = struct (** Code action. @since NEXT_RELEASE *) - method on_req_code_action ~notify_back:(_:notify_back) (c:CodeActionParams.t) + method on_req_code_action ~notify_back:(_:notify_back) (_c:CodeActionParams.t) : CodeActionResult.t IO.t = assert false (* TODO *) @@ -296,6 +296,7 @@ module Make(IO : IO) = struct | Lsp.Client_notification.Unknown_notification _ | Lsp.Client_notification.CancelRequest _ -> + let notify_back = new notify_back ~notify_back () in self#on_notification_unhandled ~notify_back n end end