Open nwolverson opened 3 years ago
Currently the typed hole command requires parameters, the code action requires a second client-side command, as here in vscode.
This could better be done in a way that doesn't require client support, as we did for fixTypo (ef1247befe443933ce56a3a12abc7cb745ddf794)
fixTypo
For type holes there is this suggestion:
There is also a fix available:
When trying to run it, it doesn't do anything. Can you confirm this issue is the cause for this behavior?
That is correct.
Currently the typed hole command requires parameters, the code action requires a second client-side command, as here in vscode.
This could better be done in a way that doesn't require client support, as we did for
fixTypo
(ef1247befe443933ce56a3a12abc7cb745ddf794)