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
What activity failed (what functionality did not work as expected (e.g. Linting, Formatting, AUTO-expansion, go-to-definition, outline, hover,...)
go-to-definition Expectation
I have a repository with git submodules. Each submodule has its own verible.filelist file. When working in my repository, I would want to go-to-definition on the basis of the verible.filelist of the git submodule which a file is part of. What actually happened
No go-to-definition via cmd-click is possible. Presumably because verible language server only takes into account the verible.filelist file in the root of the project, but not the verible.filelist files in the roots of the git submodules.
The text was updated successfully, but these errors were encountered:
Hello! What do you think of coming up with a prefix to build a filelist from others?
Imagine you have two filelists: verible.filelist and my_submodule/verible.filelist. Then, you would link them by adding the following line into verible.filelist (the top one)
A couple of questions first
What activity failed
(what functionality did not work as expected (e.g. Linting, Formatting, AUTO-expansion, go-to-definition, outline, hover,...)
go-to-definition
Expectation
I have a repository with git submodules. Each submodule has its own verible.filelist file. When working in my repository, I would want to go-to-definition on the basis of the verible.filelist of the git submodule which a file is part of.
What actually happened
No go-to-definition via cmd-click is possible. Presumably because verible language server only takes into account the verible.filelist file in the root of the project, but not the verible.filelist files in the roots of the git submodules.
The text was updated successfully, but these errors were encountered: