Stream: beginners

Topic: roc_language_server with Zed setup


view this post on Zulip Jonas Schell (Sep 09 2024 at 20:01):

I was curious how other people's experience with Zed + Roc Extention is. For me it is awesome when it works, but unfortunately pretty flaky most of the time. Now I'm curious if it's something I can improve on my end (or maybe I did something wrong) or if it's just the way it is for now.

More about my experience/problems:

Does this sound familiar, is there a known solution?

view this post on Zulip Luke Boswell (Sep 09 2024 at 20:34):

I find sometimes I need to use the Restart Language Server command in Zed, and it usually fixes anything it's confused about.

view this post on Zulip Jonas Schell (Sep 09 2024 at 22:15):

Thanks @Luke Boswell ! It turns out that I can only use the editor: restart language server cmd if the server is still running. It seems like I have a Roc file that causes the language server to crash imidialty. Only if I close it and restart Zed, I'm able to use the language server again.

view this post on Zulip Jonas Schell (Sep 09 2024 at 22:15):

I'll try to narrow the problem down.

view this post on Zulip Luke Boswell (Sep 09 2024 at 22:45):

Yeah maybe check the zed logs. If you can make an issue with a repro that would be super.


Last updated: Jul 06 2025 at 12:14 UTC