-
-
Notifications
You must be signed in to change notification settings - Fork 84
Add action to add a type annotation #442
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
Comments
I'm unsure if I like the idea of clear actually adding text. |
I have slightly mixed feelings as well. But the capability described here seems useful. Any ideas for alternative ways to express this command? |
I agree that it's useful and I have had a need for something similar. |
I'm sorry for the late catch-up! I also think that the command would be useful, but using |
So do we add a new "add" action then? "Set"? |
Would there be more cases to add something other than type? (Would the action be more generalized?) |
When the action is called |
My opinion is the same as Andreas's. |
But the action is called "change" today |
The default spoken form is. The action is called |
Yes maybe we were a bit too explicit there 😅 |
Yes if the action is going to be change on even add the action name is definitely incorrect |
What we want
We will make it so that the "clear" / "change" action, when applied to "type", if there is no existing type annotation, will insert a
:
and leave the cursor afterwords so that the user can add a type.For example:
User says “change type”, results in
Implementation
We will leverage #210 to make it so that target returned from "type" knows how to insert itself
The text was updated successfully, but these errors were encountered: