Bug: Inline LSP breaks normal LSP(Haskell)

[jergk]

Bug:

Error Messages pop up for every entered character when hls (the haskell language server) is attached:

LSP[hls] Error condition, please check your setup and/or the issue tracker:
LSP: no handler for: "textDocument/inlineCompletion"

This seems to be a coq issue since:

• this occurs since commit 6658f1a
• hls doesn't support inline completion (and doesn't mention this in its capabilities) as far as I understand

Temporary fix:

Disabling the Inline LSP worker fixes this but that's obviously not ideal

Minimal Setup:

Dockerfile and init.lua:
docker.zip

1. start the docker container

   docker build -t coq_hls .
   docker run coq_hls -it

2. open a haskell file

   nvim app/Main.hs

3. in nvim run COQdeps & COQnow
4. start to type anything

Logs:

[DEBUG][2024-10-12 20:11:23] ...m/lsp/client.lua:678 "LSP[hls]" "client.request" 1 "textDocument/inlineCompletion" { context = { triggerKind = 1 }, position = { character = 1, line = 3 }, textDocument = { uri = "file:///root/home/proj/app/Main.hs" }} <function 1> 1
[DEBUG][2024-10-12 20:11:23] .../vim/lsp/rpc.lua:286 "rpc.send" { id = 6, jsonrpc = "2.0", method = "textDocument/inlineCompletion", params = { context = { triggerKind = 1 }, position = { character = 1, line = 3 }, textDocument = { uri = "file:///root/home/proj/app/Main.hs" } }}
[ERROR][2024-10-12 20:11:23] .../vim/lsp/rpc.lua:770 "rpc" "/root/.ghcup/bin/haskell-language-server-wrapper" "stderr" '2024-10-12T20:11:23.021525Z | Error | LSP: no handler for: "textDocument/inlineCompletion"\n'
[DEBUG][2024-10-12 20:11:23] .../vim/lsp/rpc.lua:408 "rpc.receive" { jsonrpc = "2.0", method = "window/showMessage", params = { message = 'Error condition, please check your setup and/or the issue tracker: \nLSP: no handler for: "textDocument/inlineCompletion"', type = 1 }}

[ms-jpq]

humm ok, i want to see if there is a better solution here. i am sorry about this breakage

[jergk]

yea I've tried to figure out the core issue and find an actual solution myself but didn't get very far.