Closed meraymond2 closed 1 year ago
Updating the idris-ide-client dependency to workaround a minor change in Idris2 0.6.0, where the replies for :apropos and :print-definition are a different format than before.
I've also taken the alternate suggestion in https://github.com/meraymond2/idris-vscode/pull/84 and replaced the cross-spawn dependency with just adding {shell: true} to the spawn proc options.
Updating the idris-ide-client dependency to workaround a minor change in Idris2 0.6.0, where the replies for :apropos and :print-definition are a different format than before.
I've also taken the alternate suggestion in https://github.com/meraymond2/idris-vscode/pull/84 and replaced the cross-spawn dependency with just adding {shell: true} to the spawn proc options.