Connection Error: Client Internal Connection Error when loading .agda file

banacorn / agda-mode-vscode

agda-mode on VS Code

https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode

MIT License

169 stars 40 forks source link

Connection Error: Client Internal Connection Error when loading .agda file #87

Open eeoam opened 2 years ago

eeoam commented 2 years ago

I'm running on Windows 10 - after having downloaded and installed the agda-language-server and typed C-c C-l on my .agda file, I get the following message

Connection Error: Client Internal Connection Error Downloaded Connection to server got closed. Server will not be restarted.

Can you help?

barrettj12 commented 2 years ago

I also get this error.

banacorn commented 2 years ago

I can't reproduce this :( Does it also happen without agda-language-server? Does it happen to all .agda files?

andrejbauer commented 2 years ago

I can confirm that on vanilla Windows 10 there is a problem. The following might be a hint: when trying to run

C:\Users\andrej\AppData\Roaming\Code\User\globalStorage\banacorn.agda-mode\v0.2.2-win32\als.exe

from the command line, it complains that the following dll's are not available:

libwinpthread-1.dll
libgcc_s_seh-1.dll
libstdc++-6.dll

So perhaps something else needs to be installed? Something that a developer would naturally have installed.

andrejbauer commented 2 years ago

One of my students has confirmed that putting those DLLs next to the als.exe executable solves the problem.

MathiasSven commented 2 years ago

Encountering the same issue here, in my case it just complained about missing libgcc_s_seh-1.dll, I tried both just adding that dll and also with the other two, either way I get the 0xc000007b error

ldubravica commented 2 years ago

Hello, same error here. I have not installed agda and I just followed the steps in the instruction guide. Upon pressing Ctrl+C and Ctrl+L, it spent some time downloading it and then resulted with the same error.

I tried adding the 3 DLLs mentioned above, specifically libwinpthread-1.dll, libgcc_s_seh-1.dll and libstdc++-6.dll to the folder C:\Users\<user>\AppData\Roaming\Code\User\globalStorage\banacorn.agda-mode\v0.2.2-win32\ where als.exe is located, but it did not fix or change the error.

Edit: Running it on Windows 11 Pro, Visual Studio Code 1.66.0

WenjunHuang commented 2 years ago

I successfully made it work by the following steps:

Use stack to install the correct libs stack exec -- pacman --noconfirm -Sy msys2-keyring stack exec -- pacman --noconfirm -S mingw-w64-x86_64-icu stack exec -- pacman --noconfirm -S mingw-w64-x86_64-pkg-config
Go to $HOME\AppData\Local\Programs\stack\x86_64-windows\msys2-20210604\mingw64\bin and copy the libwinpthread-1.dll, libgcc_s_seh-1.dll and libstdc++-6.dll to $HOME\AppData\Roaming\Code\User\globalStorage\banacorn.agda-mode\v0.2.2-win32