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

[eeoam]

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]

I also get this error.

[banacorn]

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

[andrejbauer]

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]

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

[MathiasSven]

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]

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]

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