Christoph M. Wintersteiger
262e57e7c2
Use IO.catch in async
2024-07-31 16:57:03 +01:00
Christoph M. Wintersteiger
8123e95a5f
Log exceptions in async notification handler
2024-07-31 16:25:01 +01:00
Christoph M. Wintersteiger
9a7e1c221c
Revert "I've gone too far, but it's too late to go back."
...
This reverts commit 7ccdfff203
2024-07-31 16:20:53 +01:00
Christoph M. Wintersteiger
7ccdfff203
I've gone too far, but it's too late to go back.
2024-07-30 21:01:05 +01:00
Christoph M. Wintersteiger
845371e3a0
Rebase-fix
2024-07-30 16:50:35 +01:00
Christoph M. Wintersteiger
f2e3c4b369
Update return from on_req_shutdown
2024-07-30 16:42:39 +01:00
Simon Cruanes
e99d0d6cc4
add more error handlers and logging around notif/request handlers
2024-07-30 16:41:50 +01:00
Christoph M. Wintersteiger
6785e46492
Add on_req_shutdown
2024-07-22 12:49:02 -04:00
Simon Cruanes
267aa35650
prepare for 0.6
2024-05-29 13:37:32 -04:00
Nick Hu
74a9fc0dc5
Support textDocument/didSave notification
2024-05-29 13:37:32 -04:00
Nick Hu
d72988f63e
advertise inlay hints server capability
2024-05-29 13:37:32 -04:00
Mathieu Barbin
394d8ab0eb
Update main.ml
...
Make `task` a function in order to catch its exceptions.
2024-05-28 10:49:54 -04:00
Simon Cruanes
1f977ad145
chore: eio_main is a test dep
2024-05-22 11:52:28 -04:00
Simon Cruanes
4e4d1bc752
fix
2024-05-22 11:47:29 -04:00
Simon Cruanes
a1bb9d02f9
chore: limit CI build on 4.x
2024-05-22 10:20:24 -04:00
Simon Cruanes
a947d255bf
fix spurious bound
2024-05-22 10:19:03 -04:00
Nick Hu
2b02a94eba
Implement Eio backend
2024-05-22 10:19:03 -04:00
Simon Cruanes
0cb0185797
chore: autogen opam files
2024-05-08 11:10:08 -04:00
Simon Cruanes
4720f60a59
do not actually fail silently, lolol
2024-04-18 11:55:27 -04:00
Simon Cruanes
5caec361dd
do not fail when updating docs?
2024-04-18 11:45:44 -04:00
Simon Cruanes
c9ade392ef
feat jsonrpc2: add ?on_received/?on_sent
...
this can be useful to debug
2024-04-15 12:41:47 -04:00
Simon Cruanes
7730eabf98
fix workflow
2024-02-20 13:13:08 -05:00
Simon Cruanes
9a1dc8fd9a
gh pages
2024-02-20 13:00:34 -05:00
Simon Cruanes
6d2d6a8f40
udpate @since tags
2024-02-20 13:00:34 -05:00
Vincent Laporte
630a6226bc
Drop redundant dependency on atomic
...
The linol library already depends on OCaml ≥ 4.14
2024-02-17 11:33:01 -05:00
Simon Cruanes
68525aa24b
prepare for 0.5
2024-02-15 15:33:12 -05:00
Simon Cruanes
c19cb0ba8e
Merge pull request #27 from c-cube/wip-lsp.1.16
...
undefined
2024-02-15 15:27:47 -05:00
Simon Cruanes
1bada18e18
fix CI
2024-02-15 15:03:09 -05:00
Simon Cruanes
74e0a4d7c0
opam
2024-02-15 15:01:41 -05:00
Simon Cruanes
10b6e950d0
CI
2024-02-15 14:50:54 -05:00
Simon Cruanes
9eb9514401
update to lsp 1.17
2024-02-15 14:43:55 -05:00
Simon Cruanes
10bea1e417
small fix
2024-02-15 14:25:59 -05:00
Simon Cruanes
1f4337cda2
more tracing
2024-02-15 14:25:59 -05:00
Simon Cruanes
fa2900d8e5
feat: add trace and atomic to trace blocking IOs
2024-02-15 14:25:59 -05:00
Simon Cruanes
3fffe00a39
fast CI
2024-02-15 14:25:59 -05:00
Simon Cruanes
dda10ad74b
fix: run some parts of notification handling sequentially
2024-02-15 14:25:59 -05:00
Xavier Denis
af49b048c9
Add handlers for unknown requests and notifications
2023-10-20 09:51:37 -04:00
Simon Cruanes
498c62d46f
add functions in jsonrpc2 to send queries/notifs directly from server
2023-10-20 09:50:33 -04:00
Anton Sorokin
bb92d7d73b
[ #24 ] Expose get_uri for notify_back
...
Problem:
As in #24 , it's impossible to extract `uri` variable from
`notify_back`, but sometimes we want to do this
Solution:
Add `method get_uri = uri` to notify_back
2023-08-08 12:24:04 -04:00
Simon Cruanes
e50388a3be
expose logs_src
2023-08-04 16:41:16 -04:00
Simon Cruanes
09f2f9a1b2
expose log source
2023-08-04 16:34:56 -04:00
Anton Sorokin
09311ae258
[ #22 ] Threat shutdown and exit requests correctly
...
Problem:
As in [#22 ], we want to shut down our LSP server correctly.
That means we should close the pipe and end process after an exit request.
This require proper `shutdown : unit -> bool` function passed
to `Jsonrpc2.Make.run` which returns `true` after
the server received an exit request.
Right now both exit and shutdown requests are setting
LSP server's internal var `_quit` to true. It's very intuitive to
use this var in `shutdown`, but we can't do it, since in this case
the server would stop receiving new messages right after the
shutdown request, despite the fact according to the LSP specification
it had to wait the exit request.
Solution:
Instead of `_quit : bool` use
```
status : [ `Running | `ReceivedShutdown | `ReceivedExit ]
```
and suggest
```
shutdown () = s#get_status = `ReceivedExit
```
in docs for `Jsonrpc2.Make.run` and in the templete/example.
2023-08-04 09:31:23 -04:00
Simon Cruanes
c6969ab87c
api break: put spawn in the server itself, not IO
2023-08-02 14:25:07 -04:00
Simon Cruanes
8c2e204cdf
Merge pull request #21 from serokell/Sorokin-Anton/handle-null-in-params
...
[#20 ] Handle messages with null value for "params" field
2023-07-10 10:53:18 -04:00
Anton Sorokin
8c4ca80411
[ #20 ] Handle messages with null value for "params" field
...
Problem:
If an LSP client sends a request with "params":null instead
of omitting the params field or smth like "params":{},
decoding error appears.
Solution:
Replace `null` value for "params" to `{}`
2023-07-10 15:54:36 +03:00
Simon Cruanes
35e89143c4
basic docstrings
2023-04-01 21:48:40 -04:00
Simon Cruanes
439534e0c5
Merge pull request #18 from serokell/heitor-lassarote/handle-server-requests-lsp-1.14
...
Handle server requests
2023-03-16 11:18:04 -04:00
Heitor Toledo Lassarote de Paula
8857d5e7c5
Add a comment to send_server_req
...
Problem: There is an invariant that must be satisfied to call that
function.
Solution: Describe it to warn users of jsonrpc2.
2023-03-15 12:02:02 -03:00
Heitor Toledo Lassarote de Paula
431f3ea126
Disable batch processing
...
Problem: There was a misunderstanding when implementing this: batch
processing should not return responses individually, but rather return a
list with batch responses. This will require some further logic to group
such responses in order to process them in sequence.
Solution: We return those methods to being unhandled.
2023-03-14 15:27:32 -03:00
Simon Cruanes
1a300c0de9
Merge pull request #17 from c-cube/wip-lsp-1.14
...
move to lsp 1.14
2023-03-14 14:02:02 -04:00
