survive dead interpreter

vrjuliao / sml-vscode-extension

VSCode plugin for Standard ML

Apache License 2.0

38 stars 8 forks source link

Closed marcellourbani closed 3 years ago

marcellourbani commented 3 years ago

Hi I did the minimal changes to make this usable to me:

added a parameter to set the interpreter name (smlnj in my case)
added a check or two that the interpreter is alive before writing on its input
fixed a small bug in execution
fixed a small bug in README By the book should be like 3 PRs, but it's like 20 lines total...

vrjuliao commented 3 years ago

Thank you @marcellourbani ! Your changes will be able in the VSCode marketplace as soon as possible. We are preparing a package of new features.