Commit graph

  • 0cb0185797
    chore: autogen opam files Simon Cruanes 2024-05-08 11:10:08 -04:00
  • 4720f60a59
    do not actually fail silently, lolol Simon Cruanes 2024-04-18 11:55:19 -04:00
  • 428657e1bc deploy: 5caec361dd c-cube 2024-04-18 15:48:34 +00:00
  • 5caec361dd
    do not fail when updating docs? Simon Cruanes 2024-04-18 11:45:44 -04:00
  • c9ade392ef
    feat jsonrpc2: add ?on_received/?on_sent Simon Cruanes 2024-04-15 12:41:47 -04:00
  • 66508f8de1 deploy: 7730eabf98 c-cube 2024-02-20 18:15:51 +00:00
  • 7730eabf98
    fix workflow Simon Cruanes 2024-02-20 13:03:02 -05:00
  • 9a1dc8fd9a
    gh pages Simon Cruanes 2024-02-20 12:59:02 -05:00
  • 6d2d6a8f40
    udpate @since tags Simon Cruanes 2024-02-20 12:58:43 -05:00
  • 630a6226bc Drop redundant dependency on atomic Vincent Laporte 2024-02-16 06:14:21 +01:00
  • d8ebcf9a60
    Drop redundant dependency on atomic Vincent Laporte 2024-02-16 06:14:21 +01:00
  • 68525aa24b
    prepare for 0.5 v0.5 Simon Cruanes 2024-02-15 15:32:34 -05:00
  • c19cb0ba8e
    Merge pull request #27 from c-cube/wip-lsp.1.16 Simon Cruanes 2024-02-15 15:27:47 -05:00
  • 1bada18e18
    fix CI Simon Cruanes 2024-02-15 15:03:09 -05:00
  • 74e0a4d7c0
    opam Simon Cruanes 2024-02-15 15:01:41 -05:00
  • 10b6e950d0
    CI Simon Cruanes 2024-02-15 14:50:54 -05:00
  • 9eb9514401
    update to lsp 1.17 Simon Cruanes 2024-02-15 14:43:55 -05:00
  • 10bea1e417 small fix Simon Cruanes 2023-12-13 13:13:32 -05:00
  • 1f4337cda2 more tracing Simon Cruanes 2023-12-13 13:07:09 -05:00
  • fa2900d8e5 feat: add trace and atomic to trace blocking IOs Simon Cruanes 2023-12-13 13:01:45 -05:00
  • 3fffe00a39 fast CI Simon Cruanes 2023-12-13 12:40:24 -05:00
  • dda10ad74b fix: run some parts of notification handling sequentially Simon Cruanes 2023-12-13 12:39:49 -05:00
  • afa06f976d
    small fix Simon Cruanes 2023-12-13 13:13:32 -05:00
  • 09fd81d7bc
    more tracing Simon Cruanes 2023-12-13 13:07:09 -05:00
  • dcb764568c
    feat: add trace and atomic to trace blocking IOs Simon Cruanes 2023-12-13 13:01:45 -05:00
  • f47d122740
    fast CI Simon Cruanes 2023-12-13 12:40:24 -05:00
  • 71303cddd4
    fix: run some parts of notification handling sequentially Simon Cruanes 2023-12-13 12:39:49 -05:00
  • af49b048c9 Add handlers for unknown requests and notifications Xavier Denis 2023-03-22 10:36:05 +01:00
  • 498c62d46f add functions in jsonrpc2 to send queries/notifs directly from server Simon Cruanes 2023-10-06 09:55:31 -04:00
  • da0008c8e4
    add functions in jsonrpc2 to send queries/notifs directly from server Simon Cruanes 2023-10-06 09:55:31 -04:00
  • bb92d7d73b [#24] Expose get_uri for notify_back Anton Sorokin 2023-08-08 17:36:32 +03:00
  • f9c5257d18
    [#24] Expose get_uri for notify_back Anton Sorokin 2023-08-08 17:36:32 +03:00
  • e50388a3be
    expose logs_src Simon Cruanes 2023-08-04 16:41:16 -04:00
  • 09f2f9a1b2
    expose log source Simon Cruanes 2023-08-04 16:34:56 -04:00
  • 09311ae258 [#22] Threat shutdown and exit requests correctly Anton Sorokin 2023-08-04 15:27:12 +03:00
  • 265f45e81a
    [#22] Threat shutdown and exit requests correctly Anton Sorokin 2023-08-04 15:27:12 +03:00
  • c6969ab87c
    api break: put spawn in the server itself, not IO Simon Cruanes 2023-08-02 14:25:07 -04:00
  • 8c2e204cdf
    Merge pull request #21 from serokell/Sorokin-Anton/handle-null-in-params Simon Cruanes 2023-07-10 10:53:18 -04:00
  • 8c4ca80411
    [#20] Handle messages with null value for "params" field Anton Sorokin 2023-07-07 20:13:17 +03:00
  • 35e89143c4
    basic docstrings Simon Cruanes 2023-04-01 21:48:40 -04:00
  • 233974fa90 Add handlers for unknown requests and notifications Xavier Denis 2023-03-22 10:36:05 +01:00
  • 439534e0c5
    Merge pull request #18 from serokell/heitor-lassarote/handle-server-requests-lsp-1.14 Simon Cruanes 2023-03-16 11:18:04 -04:00
  • 8857d5e7c5
    Add a comment to send_server_req Heitor Toledo Lassarote de Paula 2023-03-15 12:02:02 -03:00
  • 431f3ea126
    Disable batch processing Heitor Toledo Lassarote de Paula 2023-03-14 15:27:32 -03:00
  • 1a300c0de9
    Merge pull request #17 from c-cube/wip-lsp-1.14 Simon Cruanes 2023-03-14 14:02:02 -04:00
  • 5388f58530
    Handle server requests Heitor Toledo Lassarote de Paula 2023-03-10 09:20:51 -03:00
  • d418ea010a
    opam Simon Cruanes 2023-03-11 00:05:04 -05:00
  • fbdc432829
    refactor: handle workDoneTokens Simon Cruanes 2023-03-10 23:54:06 -05:00
  • e9cc94dc14
    autoformat Simon Cruanes 2023-03-10 23:12:41 -05:00
  • 341b9919dc
    add ocamlformat Simon Cruanes 2023-03-10 23:12:29 -05:00
  • 8cbe2b3519
    move to lsp 1.14 Simon Cruanes 2023-03-10 23:12:13 -05:00
  • db3fde45f3
    gitignore Simon Cruanes 2023-03-10 22:44:11 -05:00
  • 5a29a9e145
    Merge pull request #15 from xldenis/master Simon Cruanes 2022-05-04 13:38:45 -04:00
  • be92297c27
    Merge branch 'master' into master Simon Cruanes 2022-05-04 12:26:01 -04:00
  • dd64f55c42
    ci Simon Cruanes 2022-05-01 10:07:59 -04:00
  • e9db2fd331 Update to lsp 1.11.* to enable unknown notifications Xavier Denis 2022-05-01 13:26:59 +02:00
  • 774f6b8de5
    move to OCaml 4.12 minimum Simon Cruanes 2022-04-24 20:53:26 -04:00
  • 04e54490ea
    chore: CI Simon Cruanes 2022-04-18 00:42:44 -04:00
  • a42204d7e0
    ci Simon Cruanes 2022-04-13 21:27:38 -04:00
  • 38341a60d3
    chore: CI: disable macOS Simon Cruanes 2022-04-13 21:19:28 -04:00
  • 09529a0d45
    carry done/partialProgress tokens around Simon Cruanes 2022-04-13 21:15:06 -04:00
  • 01824dd17e
    Merge pull request #14 from xldenis/master Simon Cruanes 2022-04-13 21:14:59 -04:00
  • fe5fdb8a79 Update linol to latest lsp Xavier Denis 2022-04-13 13:02:46 +02:00
  • 3e42640335
    fix: better options for config sync opts Simon Cruanes 2021-11-21 23:04:48 -05:00
  • 066577c4db chore: update CI to github actions 2 v0.4 Simon Cruanes 2021-07-30 12:42:56 -04:00
  • 70222b0395 prepare for 0.4 Simon Cruanes 2021-07-30 12:25:42 -04:00
  • 0a26367afb fix opam file for linol-lwt Simon Cruanes 2021-06-01 19:48:20 -04:00
  • 995d0defa2 diable debug msg that sometimes fails Simon Cruanes 2021-06-01 18:46:30 -04:00
  • 8ec409dda0 fix compilation Simon Cruanes 2021-06-01 18:37:54 -04:00
  • 98f260bb7d move to lsp 1.6, with workProgress notifications wip-lsp-1.6 Simon Cruanes 2021-05-11 12:09:05 -04:00
  • 754ecac307 some logging Simon Cruanes 2021-06-01 18:36:29 -04:00
  • 8e37c17733 add config completion Simon Cruanes 2021-06-01 18:36:13 -04:00
  • ec6d0412b7 remove containers as a dep; fix opam Simon Cruanes 2021-05-11 12:27:10 -04:00
  • 4988316f9d prepare for 0.3 v0.3 Simon Cruanes 2021-05-05 13:44:09 -04:00
  • 7dd2ce0cd0 reexpose Req_id Simon Cruanes 2021-04-23 16:41:50 -04:00
  • 1668e9938a feat: add ~id param to all queries Simon Cruanes 2021-04-23 16:21:48 -04:00
  • 13feb606d2 feat(blockingIO): allow to change the spawn function Simon Cruanes 2021-04-21 17:41:43 -04:00
  • e77fded638 relax constraints on lsp Simon Cruanes 2021-04-15 15:41:21 -04:00
  • 2a3c815a08 fix warning Simon Cruanes 2021-04-09 23:47:52 -04:00
  • 149ab8464e Merge branch 'wip-ci' Simon Cruanes 2021-04-14 10:52:01 -04:00
  • 38c85ce5ca config for documentSymbolProvider Simon Cruanes 2021-04-13 15:30:03 -04:00
  • 97bbdfd4ba feat: expose on_req_symbol Simon Cruanes 2021-04-13 15:27:42 -04:00
  • 5ac3931310 chore: ci for linol Simon Cruanes 2021-04-09 16:27:12 -04:00
  • 34f931e74c feat: more config methods Simon Cruanes 2021-04-09 14:57:36 -04:00
  • 8cec4089dd try to handle documentChange for unknown doc Simon Cruanes 2021-04-08 20:53:54 -04:00
  • c417204f1e fix: debug message was making lsp crash Simon Cruanes 2021-04-08 20:26:06 -04:00
  • 11c4f36d02 more debug info Simon Cruanes 2021-04-08 20:21:45 -04:00
  • 1710df0e7e use logs to log stuff Simon Cruanes 2021-04-08 19:52:35 -04:00
  • 0808ecefbe fix: avoid exception prone Hashtbl.find Simon Cruanes 2021-04-08 19:33:31 -04:00
  • b7e89f67e4 try to print backtraces when handlers fail Simon Cruanes 2021-04-08 19:28:49 -04:00
  • e5cb0a331b feat: allow to set the URI in notify_back Simon Cruanes 2021-04-08 14:00:45 -04:00
  • d5b0159aa9 allow server to list commands Simon Cruanes 2021-04-07 18:53:01 -04:00
  • 3fac121a48 fix type for on_notification_unhandled Simon Cruanes 2021-04-07 18:06:18 -04:00
  • 6d9d2e51e3 refactor: give notify_back to requests, too Simon Cruanes 2021-04-07 18:01:37 -04:00
  • e8af605985 feat: provide on_req_execute_command Simon Cruanes 2021-04-07 16:38:28 -04:00
  • 47da02e18c methods for codelens handling Simon Cruanes 2021-04-07 16:11:36 -04:00
  • 28fc622cbe rename new config method Simon Cruanes 2021-04-07 15:45:09 -04:00
  • 9d0b257cea feat: provide some methods to modify init config Simon Cruanes 2021-04-07 14:35:01 -04:00
  • 6e6a1f998e chore: add license to opam files Simon Cruanes 2021-04-06 18:35:45 -04:00
  • 40306fab53 prepare for 0.2 v0.2 Simon Cruanes 2021-04-06 15:58:13 -04:00