-
Notifications
You must be signed in to change notification settings - Fork 1
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
Always prefer source locations over interface files during definition lookup #26
Comments
The issue seems to be that the interface ( curry-language-server/src/Curry/LanguageServer/Index/Store.hs Lines 297 to 307 in 1462877
Since the symbols are only indexed once, the language server will keep the correct source path for until it is restarted, if the |
A potential solution here would be to attach source information via |
Find symbols in the project's source file, even if the compiler refers to a definition from an
ICurry
file.The text was updated successfully, but these errors were encountered: