Stream: coq-lsp

Topic: `debug and run` extension failing


view this post on Zulip Bhakti Shah (Mar 19 2023 at 05:30):

I'm trying to mess around with the source code, and I've setup the server and client, and I'm trying to run the extension manually and debug some stuff. Even when I run unmodified code pulled directly from the released version, the server fails to start and I'm getting this error:
"Uncaught exception Yojson.Safe.Util.Type_error("Expected string, got null", 870828711)."
Am I doing something wrong? I'm building with opam / npm and everything seems to install successfully, the extension just won't work when I launch it in debug mode. fwiw the extension runs fine when I'm writing code outside of the extension development environment

view this post on Zulip Emilio Jesús Gallego Arias (Mar 19 2023 at 22:45):

That could be a bug we had, does it work if you do "open folder" first?

If that's the case the bug is already fixed in master and we should hopefully do a release very soon.

view this post on Zulip Bhakti Shah (Mar 20 2023 at 02:29):

it works fine when i open a folder! Good to know, thank you.

view this post on Zulip Emilio Jesús Gallego Arias (Mar 20 2023 at 15:45):

Indeed that's a bug we had in the implementation of the protocol, should be fixed in main but please open a bug if that issue reappears


Last updated: Mar 29 2024 at 14:01 UTC