Connection Error: Client Internal Connection Error : write EPIPE

[doofin]

Hi I have installed this extension with agda working from terminal in arch linux ,after c-c c-l I got this error.

[banacorn]

Does it happen all the time?
Does Agda: Quit and restart work for you?

[doofin]

No,it doesn't work,and I can't find error message in dev tools

[CircuitCoder]

I'm getting the same error, and the output in Agda Language Server complains about missing ICU shared library.

/root/.vscode-server-insiders/data/User/globalStorage/banacorn.agda-mode/v0.1.4-linux/als: error while loading shared libraries: libicuuc.so.66: cannot open shared object file: No such file or directory

On ArchLinux, the latest ICU version is 69:

/usr/lib/libicuuc.so.69

A temporary fix is to create symbolic links:

# (In /usr/lib)
ln -s libicuuc.so.69 libicuuc.so.66
ln -s libicui18n.so.69 libicui18n.so.66
ln -s libicudata.so.69 libicudata.so.66

Then the language server seems to work just fine.

@banacorn Maybe we need to link the als binary against shared libraries without version suffix?

[doofin]

I tried searching libicuuc and icuuc in this repo,found no result.maybe it's required by other transitory dependency? Doesn't work for my case

[banacorn]

I think you are facing two different issue

@CircuitCoder: I have opened an issue regarding ICU libraries on the language server's repo (agda/agda-language-server#6)

@doofin: If your Agda is working fine on terminal, and you have no trouble using agda-mode on Emacs, then I believe your ICU libraries are all good. It's agda-mode's problem. But I have no idea about the cause of it :(

[doofin]

Oh it's the issue of Agda Language Server,I don't necessarily have to enable it right?

[banacorn]

@doofin The prebuilt language server is only meant for Ubuntu, I made a mistake by allowing other Linux users to download and use that prebuilt binary.

You should reopen this issue if you have trouble connecting with vanilla Agda (not the language server)