From 209b853e7f16c350b5805fef24e859c6c2f2a644 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 8 Nov 2024 13:17:28 -0500 Subject: [PATCH 1/2] [new release] linol (3 packages) (0.7) CHANGES: - Handle `End_of_file` by exiting - Fix: make server requests thread safe - Use positionEncoding advertised by clients - Use IO.catch in async - Log exceptions in async notification handler - Add more error handlers and logging around notif/request handlers - Add on_req_shutdown --- packages/linol-eio/linol-eio.0.7/opam | 41 +++++++++++++++++++++++++++ packages/linol-lwt/linol-lwt.0.7/opam | 40 ++++++++++++++++++++++++++ packages/linol/linol.0.7/opam | 41 +++++++++++++++++++++++++++ 3 files changed, 122 insertions(+) create mode 100644 packages/linol-eio/linol-eio.0.7/opam create mode 100644 packages/linol-lwt/linol-lwt.0.7/opam create mode 100644 packages/linol/linol.0.7/opam diff --git a/packages/linol-eio/linol-eio.0.7/opam b/packages/linol-eio/linol-eio.0.7/opam new file mode 100644 index 00000000000..9eb0368de50 --- /dev/null +++ b/packages/linol-eio/linol-eio.0.7/opam @@ -0,0 +1,41 @@ +opam-version: "2.0" +synopsis: "LSP server library (with Eio for concurrency)" +maintainer: ["Simon Cruanes"] +authors: ["Nick Hu"] +license: "MIT" +homepage: "https://github.com/c-cube/linol" +bug-reports: "https://github.com/c-cube/linol/issues" +depends: [ + "dune" {>= "2.0"} + "yojson" {>= "1.6"} + "linol" {= version} + "base-unix" + "eio" {>= "1.0" & < "2.0"} + "eio_main" {with-test} + "lsp" {>= "1.17" & < "1.18"} + "jsonrpc" {>= "1.17" & < "1.18"} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {pinned} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/c-cube/linol.git" +url { + src: "https://github.com/c-cube/linol/releases/download/v0.7/linol-0.7.tbz" + checksum: [ + "sha256=232514a42d9e6bc0530c53785e0d0a9f66b159c37911060cd6494c1bc5b0e069" + "sha512=6e400fa210c363586f4892f6ec4ce89be6d0fb7b978a3ebe5683e63d21ff680ce01e4aac7c19b51f43511166a35fc0833f372985ea941398f21fe88d86a41c95" + ] +} +x-commit-hash: "654fc823a783e2db01444daef35aacce9a146ef9" diff --git a/packages/linol-lwt/linol-lwt.0.7/opam b/packages/linol-lwt/linol-lwt.0.7/opam new file mode 100644 index 00000000000..e8a45861f2b --- /dev/null +++ b/packages/linol-lwt/linol-lwt.0.7/opam @@ -0,0 +1,40 @@ +opam-version: "2.0" +synopsis: "LSP server library (with Lwt for concurrency)" +maintainer: ["Simon Cruanes"] +authors: ["Simon Cruanes"] +license: "MIT" +homepage: "https://github.com/c-cube/linol" +bug-reports: "https://github.com/c-cube/linol/issues" +depends: [ + "dune" {>= "2.0"} + "yojson" {>= "1.6"} + "linol" {= version} + "base-unix" + "lwt" {>= "5.1" & < "6.0"} + "lsp" {>= "1.17" & < "1.18"} + "jsonrpc" {>= "1.17" & < "1.18"} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {pinned} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/c-cube/linol.git" +url { + src: "https://github.com/c-cube/linol/releases/download/v0.7/linol-0.7.tbz" + checksum: [ + "sha256=232514a42d9e6bc0530c53785e0d0a9f66b159c37911060cd6494c1bc5b0e069" + "sha512=6e400fa210c363586f4892f6ec4ce89be6d0fb7b978a3ebe5683e63d21ff680ce01e4aac7c19b51f43511166a35fc0833f372985ea941398f21fe88d86a41c95" + ] +} +x-commit-hash: "654fc823a783e2db01444daef35aacce9a146ef9" diff --git a/packages/linol/linol.0.7/opam b/packages/linol/linol.0.7/opam new file mode 100644 index 00000000000..9071e07cb84 --- /dev/null +++ b/packages/linol/linol.0.7/opam @@ -0,0 +1,41 @@ +opam-version: "2.0" +synopsis: "LSP server library" +maintainer: ["Simon Cruanes"] +authors: ["Simon Cruanes"] +license: "MIT" +homepage: "https://github.com/c-cube/linol" +bug-reports: "https://github.com/c-cube/linol/issues" +depends: [ + "dune" {>= "2.0"} + "yojson" {>= "1.6"} + "logs" + "trace" {>= "0.4"} + "lsp" {>= "1.17" & < "1.18"} + "atomic" + "jsonrpc" {>= "1.17" & < "1.18"} + "ocaml" {>= "4.14"} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {pinned} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/c-cube/linol.git" +url { + src: "https://github.com/c-cube/linol/releases/download/v0.7/linol-0.7.tbz" + checksum: [ + "sha256=232514a42d9e6bc0530c53785e0d0a9f66b159c37911060cd6494c1bc5b0e069" + "sha512=6e400fa210c363586f4892f6ec4ce89be6d0fb7b978a3ebe5683e63d21ff680ce01e4aac7c19b51f43511166a35fc0833f372985ea941398f21fe88d86a41c95" + ] +} +x-commit-hash: "654fc823a783e2db01444daef35aacce9a146ef9" From e68872e00d8e89f30d80ee6ffa97b860fcb33bff Mon Sep 17 00:00:00 2001 From: Marcello Seri Date: Fri, 8 Nov 2024 21:56:29 +0100 Subject: [PATCH 2/2] Apply suggestions from code review --- packages/linol-eio/linol-eio.0.7/opam | 2 +- packages/linol-lwt/linol-lwt.0.7/opam | 2 +- packages/linol/linol.0.7/opam | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/packages/linol-eio/linol-eio.0.7/opam b/packages/linol-eio/linol-eio.0.7/opam index 9eb0368de50..6dff73afcf5 100644 --- a/packages/linol-eio/linol-eio.0.7/opam +++ b/packages/linol-eio/linol-eio.0.7/opam @@ -17,7 +17,7 @@ depends: [ "odoc" {with-doc} ] build: [ - ["dune" "subst"] {pinned} + ["dune" "subst"] {dev} [ "dune" "build" diff --git a/packages/linol-lwt/linol-lwt.0.7/opam b/packages/linol-lwt/linol-lwt.0.7/opam index e8a45861f2b..4bcff7bc29d 100644 --- a/packages/linol-lwt/linol-lwt.0.7/opam +++ b/packages/linol-lwt/linol-lwt.0.7/opam @@ -16,7 +16,7 @@ depends: [ "odoc" {with-doc} ] build: [ - ["dune" "subst"] {pinned} + ["dune" "subst"] {dev} [ "dune" "build" diff --git a/packages/linol/linol.0.7/opam b/packages/linol/linol.0.7/opam index 9071e07cb84..c8ec995c535 100644 --- a/packages/linol/linol.0.7/opam +++ b/packages/linol/linol.0.7/opam @@ -17,7 +17,7 @@ depends: [ "odoc" {with-doc} ] build: [ - ["dune" "subst"] {pinned} + ["dune" "subst"] {dev} [ "dune" "build"