Skip to content
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

Clarify SymbolInformation.symbol uniqueness properties and signature_documentation.relative_path presence #299

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

mgsloan
Copy link

@mgsloan mgsloan commented Dec 24, 2024

Opening this because I think that while probably obvious, this is an important property that I couldn't find directly described

I also wanted to check that this assumption is correct, as I'm encountering duplicate entries in rust-analyzer's scip output. Specifically this file has two SymbolInformation entries both with the symbol field value of rust-analyzer cargo gpui 0.1.0 shared_uri/fmt().(self)"

@mgsloan mgsloan force-pushed the patch-1 branch 2 times, most recently from b15ae29 to 055c2ed Compare December 24, 2024 08:10
@mgsloan mgsloan changed the title Clarify that SymbolInformation.symbol should be unique Clarify SymbolInformation.symbol uniqueness properties Dec 24, 2024
@mgsloan mgsloan changed the title Clarify SymbolInformation.symbol uniqueness properties Clarify SymbolInformation.symbol uniqueness properties and signature_documentation.relative_path presence Dec 26, 2024
mgsloan added a commit to mgsloan/rust-analyzer that referenced this pull request Dec 26, 2024
I'm fairly sure this is more correct, and saves space(~90mb to 82mb
for Zed's index). I'm checking in about this with SCIP folks in
sourcegraph/scip#299.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant