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

"Go to definition" doesnt work, even though everything else works fine including hover definitions #1236

Open
clsd0 opened this issue Oct 22, 2023 · 3 comments
Labels
type: bug Something isn't working

Comments

@clsd0
Copy link

clsd0 commented Oct 22, 2023

I am using WSL and dune. I have made a very simple project:
image
image
image
image
image
I have built it with dune build, it compiles and works as you would expect. The hover definition on the A module from the a.ml file works just fine:
image
but when i use "Go to defintion" (Ctrl+click / F12) it opens the wrong file:
image
For some reason it opens A.ml instead of a.ml (Note that A.ml is not a real file in my project, so everything in the file will be marked as error), I cannot find any way to fix this behaviour, the go to definition thing doesn't seem to be able to comprehend that the module has capitalized first letter while the actual file is lower case.

@mnxn
Copy link
Collaborator

mnxn commented Oct 23, 2023

I'm surprised that the capitalization matters if it could open the file.

What is the error that is shown when you hover over the red underlined text?

@clsd0
Copy link
Author

clsd0 commented Oct 23, 2023

What is the error that is shown when you hover over the red underlined text?

image

Running 'dune build' does not change the error

@smorimoto smorimoto added the type: bug Something isn't working label Oct 27, 2023
@StamesJames
Copy link

I have the same problem working in a vscode devcontainer. Also in the capitalized file that is opened all the other modules don't get recognized and give a "Unbound Module xyz" message.
Is there already a workaround for this?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: bug Something isn't working
Projects
None yet
Development

No branches or pull requests

4 participants