Pierre-Marie Pédrot (Apr 27 2021 at 11:07): 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?
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.
Gaëtan Gilbert (Apr 27 2021 at 11:13):make or dune?
Pierre-Marie Pédrot (Apr 27 2021 at 11:14):make
Pierre-Marie Pédrot (Apr 27 2021 at 11:14):if this is solved by dune, then the problem wont last long :)
Gaëtan Gilbert (Apr 27 2021 at 11:16):dune version does nothing interesting for gramlib
make does some weird stuff to implement wrapping
Pierre-Marie Pédrot (Apr 27 2021 at 11:17):where are the lsp metadata stored?
Pierre-Marie Pédrot (Apr 27 2021 at 11:18):is it the ill-named merlin file?
Gaëtan Gilbert (Apr 27 2021 at 11:18):dunno about lsp
maybe it uses merlin?
Pierre-Marie Pédrot (Apr 27 2021 at 11:18):ok, I'll wait for the dune PR to get merged and report after
Pierre-Marie Pédrot (Apr 27 2021 at 11:56):Seems to be working with dune, so this can be considered solved.
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]
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: Apr 16 2024 at 14:02 UTC