Cannot communicate with vscode lsp extension?

[KySpace]

Showing Couldn't start client idris 2 LSP Client and Starting client failed Launching server using command ~/.idris2/bin/idris2-lsp failed..

Is there a way I can test with something other than the extension?

Environment: vscode on wsl2 debian

[ShinKage]

Does make test return errors?

[KySpace]

@ShinKage test shows successful

[andorp]

How did you install it?

[KySpace]

@andorp

I cloned the repo, went to branch idris2-0.4.0, and set the embedded idris2 repo to v0.4.0 as well. I installed idris2 with v0.4.0 and the api and lib. I went back to the idris2-lsp repo to install by make clean and make install. Basically I followed the discord guide here .

I have also tried with other commits including the most recent ones. Same issue.

[andorp]

I assume you installed this VSCode plugin: https://github.com/bamboo/idris2-lsp-vscode.

[KySpace]

@andorp Indeed

[KySpace]

bamboo/idris2-lsp-vscode#5

I can make it work by modifying the path of lsp-vscode extension. It is suggested that

In that case it seems the idris2-lsp make install step might be missing something some important files.

[ShinKage]

bamboo/idris2-lsp-vscode#5

I can make it work by modifying the path of lsp-vscode extension. It is suggested that

In that case it seems the idris2-lsp make install step might be missing something some important files.

This is very interesting to me, since the install procedure is the same for the LSP server and the compiler. Can you post the difference between the build directory and the install directory?

[KySpace]

@ShinKage The install directory is ~/.idris2/bin/idris2-lsp.
The build directory is <idris2-lsp repo>/build/exec/idris2-lsp

[ShinKage]

I was not clear. There are differences between the files and subdirectories inside the install directory and the build directory?

[KySpace]

sdiff tells that idris2-lsp.so differ. The others are the same.

[andorp]

I have a script which copies the binary to my .idris2/bin , which predates the make install , could you try if that works?

#!/bin/sh

cp ./build/exec/idris2-lsp ~/.idris2/bin/
cp -r ./build/exec/idris2-lsp_app ~/.idris2/bin/

[KySpace]

where should I put this? in Makefile of the root folder? And I run make install again?

[Russoul]

Paste it into a new file, without an extension. (e.g. script). The file needs to be created in the directory your LSP source resides in (the very root folder).
Then run it in a console like this: ./script. You may need to assign it an executable permission bit prior to running.
This is done like so: chmod +x ./script. The console instance has to be rooted in the LSP source folder, obviously.

[KySpace]

It does not work after this when I choose the path to be /.idris2/bin/idris2-lsp.
I am pretty sure the copying is working since I deleted the original files and they appear again, and I have checked with sdiff

[michaelmesser]

Is this still an issue?

[michaelmesser]

Reopen if this is still an issue

[KySpace]

@michaelmesser I think it is fixed now.