-
Notifications
You must be signed in to change notification settings - Fork 880
Offer F# declarations to the Copilot chat "#" mention picker #20409
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
Open
xperiandri
wants to merge
29
commits into
dotnet:main
Choose a base branch
from
xperiandri:copilot-mentions
base: main
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Open
Changes from all commits
Commits
Show all changes
29 commits
Select commit
Hold shift + click to select a range
bddd3b1
Offer F# declarations to the Copilot chat "#" mention picker
xperiandri 53e1883
Parallelize Copilot symbol lookup and cut allocations on the hot cach…
xperiandri 0f7f66e
Link the Copilot mention picker release note to its PR
xperiandri fdfbd1d
Harden Copilot provider registration and widen one-line snippets
xperiandri 5eea689
Match declaration names over spans instead of building them
xperiandri 116a5e4
Slice source text instead of copying it line by line for outlining
xperiandri 4741185
Track comment lines by number instead of storing their text
xperiandri 5e4d411
Take the main thread before registering the Copilot context provider
xperiandri 8d73011
Trace Copilot context-provider registration through the output pane
xperiandri d1ed1c4
Answer the Copilot mention picker from what is already parsed
xperiandri 30a96ad
Answer the mention picker with the open files first
xperiandri 4bffe1a
Answer the picker before it knows what is being mentioned
xperiandri bd80eac
Rank and label F# declarations in the picker the way Copilot does C#
xperiandri be1c421
Take the copied outlining work back out of this pull request
xperiandri cd491d3
Keep double backticks in a mention's fully qualified name
xperiandri d9c3fdd
Throttle through FSharp.Core's Task.parallelDoLimit
xperiandri c3f3bb0
Format the Copilot context provider
xperiandri d38264d
Pipe items into Seq.map instead of applying it prefix-style
xperiandri 43b84a1
Walk the solution once for both the picker and a picked mention
xperiandri 3cac379
Collect subscriptions into an array, not a list
xperiandri 2d3603c
Take Copilot picker focus from Copilot's own document-context service
xperiandri f17ea64
Navigate to the overload a Copilot mention was picked for, not the fi…
xperiandri 42b5041
Preallocate the open-documents bucket in tiers by its known upper bound
xperiandri 15f9ecc
Compare spans through ordinal helpers instead of spelling StringCompa…
xperiandri b0caf62
Take the span ordinal helpers from illib instead of copying them
xperiandri a6c811d
Resolve only the open documents up front, walk the rest on demand
xperiandri 4bae417
Revert "Take the span ordinal helpers from illib instead of copying t…
xperiandri a4bda08
Look a declaration up in the tests without FSharp.Editor's inline helper
xperiandri a657945
Revert "Compare spans through ordinal helpers instead of spelling Str…
xperiandri File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.