Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Library information unavailable when dune executable name is a prefix of another #1867

Open
yannl35133 opened this issue Nov 26, 2024 · 1 comment
Labels

Comments

@yannl35133
Copy link

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

(executable (name foo))
(executable (name foobar) (libraries containers))

|- 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.

voodoos added a commit to voodoos/merlin that referenced this issue Nov 27, 2024
@voodoos
Copy link
Collaborator

voodoos commented Nov 27, 2024

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.

voodoos added a commit that referenced this issue Nov 27, 2024
Lucccyo pushed a commit to Lucccyo/merlin that referenced this issue Dec 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants