Update to lsp 1.11.* to enable unknown notifications

This commit is contained in:
Xavier Denis 2022-05-01 13:26:59 +02:00
parent fe5fdb8a79
commit e9db2fd331
3 changed files with 3 additions and 3 deletions

View file

@ -13,7 +13,7 @@ build: [
depends: [
"dune" { >= "2.0" }
"linol" { = version }
"jsonrpc" { >= "1.8" & < "1.11" }
"jsonrpc" { >= "1.11" & < "1.12" }
"lwt" { >= "5.1" & < "6.0" }
"base-unix"
"yojson" { >= "1.6" }

View file

@ -14,7 +14,7 @@ depends: [
"dune" { >= "2.0" }
"yojson" { >= "1.6" }
"logs"
"lsp" { >= "1.8" & < "1.11" }
"lsp" { >= "1.11" & < "1.12" }
"ocaml" { >= "4.08" }
"odoc" { with-doc }
]

View file

@ -415,7 +415,7 @@ module Make(IO : IO) = struct
| Lsp.Client_notification.ChangeWorkspaceFolders _
| Lsp.Client_notification.ChangeConfiguration _
| Lsp.Client_notification.Initialized
| Lsp.Client_notification.Unknown_notification _
| Lsp.Client_notification.UnknownNotification _
| Lsp.Client_notification.CancelRequest _
| Lsp.Client_notification.WorkDoneProgressCancel _
| Lsp.Client_notification.SetTrace _