Jason Gross (Apr 20 2021 at 20:16): 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)?
Jason Gross (Apr 20 2021 at 20:19):Ah, apparently this is https://github.com/ocaml/merlin/issues/1288
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]
Emilio Jesús Gallego Arias (Apr 20 2021 at 20:36):For Dune 2.8 , 2.8.5 is much recommended
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
Emilio Jesús Gallego Arias (Apr 20 2021 at 20:39):Be aware that Dune < 2.8 will use .merlin file generation
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
Jason Gross (Apr 20 2021 at 20:54):I'm getting this error message with dune 2.8.5
Jason Gross (Apr 20 2021 at 20:54):Ah, but my merlin version is 4.1-411
Emilio Jesús Gallego Arias (Apr 20 2021 at 21:09):Yup, that migration is kinda annoying
Last updated: May 28 2023 at 18:29 UTC