search

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code
MIT License
357 stars 33 forks source link

"Go to definition" for definitions in module extended #181

Open lemmy opened 3 years ago

lemmy commented 3 years ago

Let B be a module and E be an extender (EXTENDS B). Clicking Go to definition on a symbol in E that is defined in B doesn't work.

Peek 2020-12-10 10-57

lemmy commented 3 years ago

Related: https://github.com/alygin/vscode-tlaplus/issues/218