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.

Sign up for GitHub

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

Jump to bottom

Issues with ChangeSignatureRefactoring #429

Open
1 of 4 tasks
sxhya opened this issue Nov 6, 2023 · 0 comments
Open
1 of 4 tasks

Issues with ChangeSignatureRefactoring #429

sxhya opened this issue Nov 6, 2023 · 0 comments
Assignees
@sxhya
Labels
bug D-hard feature refactoring

Comments

@sxhya
Copy link
Collaborator

sxhya commented Nov 6, 2023 •
edited
Loading

  • Group search results using refactoring-specific categories, specifically mention usages for which refactoring is not going to work, highlight tail-implicit usages.
  • Keep track of typechecking errors, do not modify expressions which contain typechecking errors (retypecheck is not needed, information should be requested from GUI instead).
  • Search results window should also be shown when ChangeArgumentExplicitness intention is activated
  • Reproduce issues related with backtick notation (check TODOs in code), fix them
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sxhya sxhya

Labels
bug D-hard feature refactoring
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@sxhya