mirror of
https://github.com/c-cube/linol.git
synced 2025-12-06 11:15:46 -05:00
fix type for on_notification_unhandled
This commit is contained in:
parent
6d9d2e51e3
commit
3fac121a48
1 changed files with 2 additions and 1 deletions
|
|
@ -144,7 +144,7 @@ module Make(IO : IO) = struct
|
||||||
|
|
||||||
(** Code action.
|
(** Code action.
|
||||||
@since NEXT_RELEASE *)
|
@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 =
|
: CodeActionResult.t IO.t =
|
||||||
assert false (* TODO *)
|
assert false (* TODO *)
|
||||||
|
|
||||||
|
|
@ -296,6 +296,7 @@ module Make(IO : IO) = struct
|
||||||
| Lsp.Client_notification.Unknown_notification _
|
| Lsp.Client_notification.Unknown_notification _
|
||||||
| Lsp.Client_notification.CancelRequest _
|
| Lsp.Client_notification.CancelRequest _
|
||||||
->
|
->
|
||||||
|
let notify_back = new notify_back ~notify_back () in
|
||||||
self#on_notification_unhandled ~notify_back n
|
self#on_notification_unhandled ~notify_back n
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue