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
objectTest:/** Doc for methodA. */defmethodA:Unit=???/** Doc for methodB. */defmethodB:Unit=???exportTest.{methodA, methodB}
If you navigate with a cursor to "methodA" or "methodB" in the export-clause and try to execute goto-definition or hover on them then it does not work.
If you re-define them in separate export-clauses as follows:
objectTest:/** Doc for methodA. */defmethodA:Unit=???/** Doc for methodB. */defmethodB:Unit=???exportTest.methodAexportTest.methodB
Then it works:
Expected behavior
I would expect goto definition, hover, and other actions to work when exporting multiple definitions in the export-clause.
Operating system
macOS
Editor/Extension
Nvim (nvim-metals)
Version of Metals
v1.5.1
Extra context or search terms
No response
The text was updated successfully, but these errors were encountered:
I checked this on 3.7.0-RC1-bin-20250227-1b0be01-NIGHTLY and there are at least two different bugs here.
For:
exportTest.{me@@thodA, methodB}
it seems that the fix from #5892 wasn't applied, and it treats methodA in the export clause as definition. So go to def leads to the same place and there are no docs.
For:
exportTest.met@@hodA
no symbol is found here for me, so no definition, no hover, no semantic token. Possibly we handle that wrong after #5892.
Describe the bug
Given the following code:
If you navigate with a cursor to "methodA" or "methodB" in the export-clause and try to execute goto-definition or hover on them then it does not work.
If you re-define them in separate export-clauses as follows:
Then it works:

Expected behavior
I would expect goto definition, hover, and other actions to work when exporting multiple definitions in the export-clause.
Operating system
macOS
Editor/Extension
Nvim (nvim-metals)
Version of Metals
v1.5.1
Extra context or search terms
No response
The text was updated successfully, but these errors were encountered: