Stream: Coq devs & plugin devs

Topic: gramlib and ocaml-lsp


view this post on Zulip Pierre-Marie Pédrot (Apr 27 2021 at 11:07):

For some reason the lsp plugin my editor does not handle correctly files in the gramlib folder. Does anyone else experience this behaviour, and do you know how to fix it?

view this post on Zulip Pierre-Marie Pédrot (Apr 27 2021 at 11:07):

I believe there is some magic invocation missing in a metadata file but I don't really understand that stuff.

view this post on Zulip Gaëtan Gilbert (Apr 27 2021 at 11:13):

make or dune?

view this post on Zulip Pierre-Marie Pédrot (Apr 27 2021 at 11:14):

make

view this post on Zulip Pierre-Marie Pédrot (Apr 27 2021 at 11:14):

if this is solved by dune, then the problem wont last long :)

view this post on Zulip Gaëtan Gilbert (Apr 27 2021 at 11:16):

dune version does nothing interesting for gramlib
make does some weird stuff to implement wrapping

view this post on Zulip Pierre-Marie Pédrot (Apr 27 2021 at 11:17):

where are the lsp metadata stored?

view this post on Zulip Pierre-Marie Pédrot (Apr 27 2021 at 11:18):

is it the ill-named merlin file?

view this post on Zulip Gaëtan Gilbert (Apr 27 2021 at 11:18):

dunno about lsp
maybe it uses merlin?

view this post on Zulip Pierre-Marie Pédrot (Apr 27 2021 at 11:18):

ok, I'll wait for the dune PR to get merged and report after

view this post on Zulip Pierre-Marie Pédrot (Apr 27 2021 at 11:56):

Seems to be working with dune, so this can be considered solved.

view this post on Zulip Emilio Jesús Gallego Arias (Apr 27 2021 at 12:27):

Good to hear, note that when upgrading to Dune 2.8 , dune + merlin don't use .merlin files anymore, so there is a bit of mess in terms of what deps you need to be in sync [should be fine in opam]


Last updated: Oct 15 2021 at 21:02 UTC