simon/linol
1
0
Fork 0
mirror of https://github.com/c-cube/linol.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #15 from xldenis/master

Browse source 
Update LSP to v1.11.*
This commit is contained in:
Simon Cruanes 2022-05-04 13:38:45 -04:00 • committed by GitHub
commit 5a29a9e145
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
linol-lwt.opam
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" }

2
linol.opam
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.12" }
"odoc" { with-doc }
]

2
src/server.ml
View file

@ -431,7 +431,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 _