Skip to content

More diagnostic information from "The Haskell (...) server crashed 5 times in the last 3 minutes. The server will not be restarted."? #429

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
marklemay opened this issue Aug 8, 2021 · 8 comments
Labels

Comments

@marklemay
Copy link

I get this error on one of my projects, but my other haskell projects work fine.

It their a way to get more details of the failure?

@jneira
Copy link
Member

jneira commented Aug 8, 2021

Hi, yeah, crashes does not show much information, has you changed log levels?

imagen

You also can run the haskell-language-server-${version} -d executable in a shell. It the executable has been downloaded by the extension it would be here: https://github.com/haskell/vscode-haskell#downloaded-binaries

@jneira jneira added the type: question Questions about anything label Aug 8, 2021
@jneira
Copy link
Member

jneira commented Aug 9, 2021

@marklemay did the comment help you to trace the isue?

@joshuanianji
Copy link

Hey @jneira, I'm getting the same error running an IHP project on my Mac. When I run haskell-language-server -d in the VSCode shell it works, since I believe direnv loads the haskell-language-server already bundled with IHP.

I changed the log levels based on your recommendations and here's what I got:

Screen Shot 2021-08-13 at 1 05 08 PM

Running haskell-language-server -d on a normal shell did not work. I also looked at the location the haskell-language-server binary is supposed to be located in my file system, and couldn't find it. Not sure if this is a problem with the extension not downloading the binary correctly.

Here is my info:

Extension Version: 1.6.0
OS Version: OSX 11.4
VS Code version: 1.59.0

@marklemay
Copy link
Author

@jneira thanks for the quick response! that helps a lot. I'll follow up with a separate bug if there are still issues.

@marklemay
Copy link
Author

it might make sense to put these very good instructions into the issue template:

https://docs.github.com/en/communities/using-templates-to-encourage-useful-issues-and-pull-requests/configuring-issue-templates-for-your-repository

@jneira
Copy link
Member

jneira commented Aug 18, 2021

really a good idea, thanks

@jneira
Copy link
Member

jneira commented Oct 22, 2021

We have now more detailed logging in the client side (including the executable discovery and download) so there should help to diganose why the server cant be started.

@jneira
Copy link
Member

jneira commented Oct 22, 2021

it might make sense to put these very good instructions into the issue template:

I opened a dedicated issue to generate it: #488

So i think this can be close, thanks all for the feedback

@jneira jneira closed this as completed Oct 22, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants