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
When you have an inner module the plugin only completes the module if you use it after its declaration location, not before.
module topLevelModule() {
//will not get innerModule completion here
module innerModule() {
}
//you will get a completion for innerModule here
}
It is perfectly fine to call the inner module before its declaration location. Indeed, completions for top level modules work in all locations. I have attached a gif demonstrating the problem:
The text was updated successfully, but these errors were encountered:
For performance, now only search backwards for symbols instead of searching for all symbols.
You can move the inner module to a separate file to around this problem for now.
When you have an inner module the plugin only completes the module if you use it after its declaration location, not before.
It is perfectly fine to call the inner module before its declaration location. Indeed, completions for top level modules work in all locations. I have attached a gif demonstrating the problem:
The text was updated successfully, but these errors were encountered: