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]

view this post on Zulip Rudi Grinberg (Nov 30 2021 at 19:28):

AFAIK, this is a problem with merlin. Merlin doesn’t understand any non ppx preprocessors. For example, cppo is broken with merlin as well.


Last updated: Feb 02 2023 at 15:04 UTC