simon/linol
1
0
Fork 0
mirror of https://github.com/c-cube/linol.git synced 2025-12-05 19:00:34 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
128 commits 4 branches 10 tags 12 MiB
Commit graph

128 commits

This branch
This branch
All branches
Author SHA1 Message Date
Christoph M. Wintersteiger
9a94745ba9
Add support for lsp 1.22 2025-01-30 14:10:45 +00:00
Simon Cruanes
de03ece8cc
prepare for 0.8 2025-01-10 15:02:12 -05:00
Sacha-Élie Ayoun
573565fbf5 support lsp 1.19 & 1.20 
Signed-off-by: Sacha-Élie Ayoun <sachaayoun@gmail.com>
 2025-01-10 13:38:51 -05:00
Simon Cruanes
9ff0ac5d28
CI: move to setup-ocaml v3 2025-01-10 11:42:51 -05:00
Simon Cruanes
654fc823a7
prepare for 0.7 2024-11-08 13:13:15 -05:00
Simon Cruanes
02e678cbe2
handle End_of_file by exiting 2024-10-24 12:55:57 -04:00
Simon Cruanes
41a6c3e306
fix: make server requests thread safe 2024-10-23 16:41:02 -04:00
Simon Cruanes
a779942f95
Merge pull request #42 from vincent-botbol/vbot/fix-positionEncoding 
Use positionEncoding advertised by clients
 2024-08-22 09:38:28 -04:00
vbot
4ca2d55b80
Use positionEncoding advertised by clients 2024-08-08 17:06:44 +02:00
Simon Cruanes
f09e36523f
Merge pull request #41 from wintersteiger/christoph/more-error-handlers 
Add more error handlers and exception catchers
 2024-07-31 12:34:30 -04:00
Christoph M. Wintersteiger
55a28825a3
Formatting 2024-07-31 16:58:18 +01:00
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