You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Thanks for your report, I was able to reproduce. There's definitively an issue with configuration here. This is usually the responsibility of Dune, but we can keep the issue here.
I found this out through the LSP, but I think I reproduced it in merlin.
Test files (I imagine containers can be replaced by any other library (not unix)) :
|- dune
|- dune-project (minimal, eg.
(lang dune 3.16)
)|- foo.ml (empty)
|- foobar.ml :
open Containers
Then
dune build --profile release
(for the unused open) works fine, but goto Containers or print-type Containers don't work.The text was updated successfully, but these errors were encountered: