Simon Cruanes
|
c6e84391e7
|
Merge pull request #60 from kuviman/fix-eio-spawn
github pages / deploy (push) Has been cancelled
build / build4 (4.14.x, ubuntu-latest) (push) Has been cancelled
build / build5 (5.1.x, ubuntu-latest) (push) Has been cancelled
build / build5 (5.2.x, ubuntu-latest) (push) Has been cancelled
build / build5 (5.3.x, ubuntu-latest) (push) Has been cancelled
Make template-eio handle requests concurrently
|
2025-12-01 17:16:14 -05:00 |
|
kuviman
|
705cc47ddf
|
bring back Linol_eio.spawn for logging uncaught exceptions
|
2025-12-02 00:33:17 +04:00 |
|
kuviman
|
40843b81db
|
Make template-eio handle requests concurrently
|
2025-12-01 20:13:24 +04:00 |
|
Simon Cruanes
|
fb49472f34
|
fix: protect Eio's out channel with a mutex
github pages / deploy (push) Has been cancelled
build / build4 (4.14.x, ubuntu-latest) (push) Has been cancelled
build / build5 (5.1.x, ubuntu-latest) (push) Has been cancelled
build / build5 (5.2.x, ubuntu-latest) (push) Has been cancelled
build / build5 (5.3.x, ubuntu-latest) (push) Has been cancelled
close #58
|
2025-11-25 19:43:50 -05:00 |
|
Simon Cruanes
|
00479b0f05
|
tighter bound on lwt
github pages / deploy (push) Has been cancelled
build / build4 (4.14.x, ubuntu-latest) (push) Has been cancelled
build / build5 (5.1.x, ubuntu-latest) (push) Has been cancelled
build / build5 (5.2.x, ubuntu-latest) (push) Has been cancelled
build / build5 (5.3.x, ubuntu-latest) (push) Has been cancelled
close #57
|
2025-08-23 21:21:43 -04:00 |
|
Simon Cruanes
|
1b4c56b134
|
prepare for 0.10
github pages / deploy (push) Has been cancelled
build / build4 (4.14.x, ubuntu-latest) (push) Has been cancelled
build / build5 (5.1.x, ubuntu-latest) (push) Has been cancelled
build / build5 (5.2.x, ubuntu-latest) (push) Has been cancelled
build / build5 (5.3.x, ubuntu-latest) (push) Has been cancelled
|
2025-04-17 16:54:04 -04:00 |
|
Simon Cruanes
|
fc691e0abd
|
use git subtree instead of submodule
|
2025-04-10 15:47:52 -04:00 |
|
Simon Cruanes
|
9be3237051
|
Merge commit '7fbc187548241d93593b8abe4065359b1823d5b7' as 'thirdparty/lsp'
|
2025-04-10 15:44:25 -04:00 |
|
Simon Cruanes
|
7fbc187548
|
Squashed 'thirdparty/lsp/' content from commit aae69863
git-subtree-dir: thirdparty/lsp
git-subtree-split: aae6986391a8519de3da6a7a341f2bd3376e0d2f
|
2025-04-10 15:44:25 -04:00 |
|
Simon Cruanes
|
075361a3b3
|
move to ocamlformat 0.27; format
|
2025-04-07 15:03:22 -04:00 |
|
Simon Cruanes
|
f89022e9d0
|
fix build for examples
|
2025-04-07 14:56:41 -04:00 |
|
Simon Cruanes
|
691eac4863
|
format
|
2025-04-07 14:03:39 -04:00 |
|
nojaf
|
d7dd8ecec0
|
Add filter_text_document
|
2025-04-07 14:03:34 -04:00 |
|
Simon Cruanes
|
43839963e1
|
format
|
2025-04-07 13:32:27 -04:00 |
|
Simon Cruanes
|
f83580c8c1
|
Merge branch 'vendor-lsp'
|
2025-04-07 13:32:20 -04:00 |
|
Simon Cruanes
|
5b264f9f67
|
fixes and updates
|
2025-04-07 13:31:04 -04:00 |
|
Sacha-Élie Ayoun
|
5ba6f40a3c
|
remove useless file
Signed-off-by: Sacha-Élie Ayoun <sachaayoun@gmail.com>
|
2025-04-03 17:20:32 +01:00 |
|
Sacha-Élie Ayoun
|
60dc752c77
|
don't install lsp/jsonrpc in CI...
Signed-off-by: Sacha-Élie Ayoun <sachaayoun@gmail.com>
|
2025-04-03 17:15:08 +01:00 |
|
Sacha-Élie Ayoun
|
b3e7de8bbe
|
checkout submodules in ci
Signed-off-by: Sacha-Élie Ayoun <sachaayoun@gmail.com>
|
2025-04-03 17:13:15 +01:00 |
|
Sacha-Élie Ayoun
|
9b5d77990a
|
back to dune 2.0
Signed-off-by: Sacha-Élie Ayoun <sachaayoun@gmail.com>
|
2025-04-03 16:52:47 +01:00 |
|
Sacha-Élie Ayoun
|
aae7605aff
|
re-expose lsp and jsonrpc without requiring lsp.linol and lsp.
Signed-off-by: Sacha-Élie Ayoun <sachaayoun@gmail.com>
|
2025-04-03 16:45:42 +01:00 |
|
Sacha-Élie Ayoun
|
213f7164a7
|
much simpler
Signed-off-by: Sacha-Élie Ayoun <sachaayoun@gmail.com>
|
2025-04-03 16:42:06 +01:00 |
|
Sacha-Élie Ayoun
|
b188de9c7d
|
minor changes
Signed-off-by: Sacha-Élie Ayoun <sachaayoun@gmail.com>
|
2025-04-03 16:22:27 +01:00 |
|
Sacha-Élie Ayoun
|
60a573a202
|
test
Signed-off-by: Sacha-Élie Ayoun <sachaayoun@gmail.com>
|
2025-04-03 16:20:49 +01:00 |
|
Sacha-Élie Ayoun
|
09d9ccce04
|
test because opammmm
Signed-off-by: Sacha-Élie Ayoun <sachaayoun@gmail.com>
|
2025-04-03 16:09:24 +01:00 |
|
Sacha-Élie Ayoun
|
68314089ee
|
forgot to import linol_lsp in eio
Signed-off-by: Sacha-Élie Ayoun <sachaayoun@gmail.com>
|
2025-04-03 15:01:06 +01:00 |
|
Sacha-Élie Ayoun
|
7f1c20700a
|
remove lsp dependency in dune files
Signed-off-by: Sacha-Élie Ayoun <sachaayoun@gmail.com>
|
2025-04-03 14:47:35 +01:00 |
|
Sacha-Élie Ayoun
|
ca4546f1b5
|
lmao that was it?
Signed-off-by: Sacha-Élie Ayoun <sachaayoun@gmail.com>
|
2025-04-03 14:27:34 +01:00 |
|
Simon Cruanes
|
a63ac9b5cb
|
prepare for 0.9
|
2025-04-03 08:19:53 -04:00 |
|
Simon Cruanes
|
50cc7a9527
|
format code
|
2025-04-03 08:16:22 -04:00 |
|
Simon Cruanes
|
fa8ec8ee77
|
update ocamlformat version
|
2025-04-03 08:16:09 -04:00 |
|
Vincent Laporte
|
e43f2e588a
|
Drop redundant dependency on atomic
github pages / deploy (push) Has been cancelled
build / build4 (4.14.x, ubuntu-latest) (push) Has been cancelled
build / build5 (1.19.0, 5.1.x, ubuntu-latest) (push) Has been cancelled
build / build5 (1.19.0, 5.2.x, ubuntu-latest) (push) Has been cancelled
build / build5 (1.19.0, 5.3.x, ubuntu-latest) (push) Has been cancelled
build / build5 (1.20.1, 5.1.x, ubuntu-latest) (push) Has been cancelled
build / build5 (1.20.1, 5.2.x, ubuntu-latest) (push) Has been cancelled
build / build5 (1.20.1, 5.3.x, ubuntu-latest) (push) Has been cancelled
build / build5 (1.22.0, 5.1.x, ubuntu-latest) (push) Has been cancelled
build / build5 (1.22.0, 5.2.x, ubuntu-latest) (push) Has been cancelled
build / build5 (1.22.0, 5.3.x, ubuntu-latest) (push) Has been cancelled
The linol library already depends on OCaml ≥ 4.14
(cherry picked from commit 630a6226bc)
|
2025-02-04 17:01:45 -05:00 |
|
Simon Cruanes
|
11efe16420
|
Merge pull request #46 from wintersteiger/christoph/lsp-1.22
Add support for lsp 1.22
|
2025-01-30 10:49:48 -05:00 |
|
Christoph M. Wintersteiger
|
7e64e3c845
|
Trigger CI
|
2025-01-30 15:30:43 +00:00 |
|
Christoph M. Wintersteiger
|
1ed72b1788
|
Better constraints
|
2025-01-30 14:29:49 +00:00 |
|
Christoph M. Wintersteiger
|
a45fa943fd
|
Fix constraints
|
2025-01-30 14:27:34 +00:00 |
|
Christoph M. Wintersteiger
|
87af2c521c
|
Update workflow
|
2025-01-30 14:13:10 +00:00 |
|
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 |
|