Stream: coqbot devs & users

Topic: "not in dune workspace"


view this post on Zulip Jason Gross (Apr 20 2021 at 20:16):

What does it mean if emacs tells me Path "/home/jgross/Documents/repos/bot/src" is not in dune workspace ("/home/jgross/Documents/GitHub/bot"). and can't find things like Base and Helpers (when editing src/config.ml)?

view this post on Zulip Jason Gross (Apr 20 2021 at 20:19):

Ah, apparently this is https://github.com/ocaml/merlin/issues/1288

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

Yup, tooling has been a bit in flux lately as the old merlin configuration method was removed [as it had serious flaws]

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

For Dune 2.8 , 2.8.5 is much recommended

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

as there are also some problems w.r.t. merlin meta-data versioning that have been solved in 2.8.5

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

Be aware that Dune < 2.8 will use .merlin file generation

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

so if you switch among different dune versions you may find some stale files, tho the devs put in place all checks they could

view this post on Zulip Jason Gross (Apr 20 2021 at 20:54):

I'm getting this error message with dune 2.8.5

view this post on Zulip Jason Gross (Apr 20 2021 at 20:54):

Ah, but my merlin version is 4.1-411

view this post on Zulip Emilio Jesús Gallego Arias (Apr 20 2021 at 21:09):

Yup, that migration is kinda annoying


Last updated: Dec 07 2023 at 04:02 UTC