Uncaught Cannot call write after a stream was destroyed

[CodingCellist]

How to reproduce:

1. Crash the Idris plugin like in Uncaught At 0 expected: ( found: b #223
2. Close the crashed REPL and attempt to open a new one through Ctrl+Alt+Enter.

Atom: 1.33.1 x64
Electron: 3.0.13
OS: linux 4.19.12-arch1-1-ARCH
Thrown From: language-idris package 0.5.0

Stack Trace

Uncaught Cannot call write after a stream was destroyed

At ~/.atom/packages/language-idris/node_modules/rx-lite/rx.lite.js:78

Error [ERR_STREAM_DESTROYED]: Cannot call write after a stream was destroyed
    at doWrite (_stream_writable.js:406:19)
    at writeOrBuffer (_stream_writable.js:394:5)
    at Socket.Writable.write (_stream_writable.js:294:11)
    at IdrisIdeMode.send (/packages/language-idris/lib/idris-ide-mode.coffee:55:20)
    at IdrisModel.prepareCommand (/packages/language-idris/lib/idris-model.coffee:89:32)
    at IdrisModel.interpret (/packages/language-idris/lib/idris-model.coffee:132:6)
    at IdrisModel.changeDirectory (/packages/language-idris/lib/idris-model.coffee:93:6)
    at IdrisModel.load (/packages/language-idris/lib/idris-model.coffee:105:10)
    at IdrisController.openREPL (/packages/language-idris/lib/idris-controller.coffee:546:8)
    at /packages/language-idris/lib/idris-controller.coffee:1:1
    at AnonymousObserver._onNext (/packages/language-idris/lib/idris-controller.coffee:115:11)
    at AnonymousObserver.Rx.AnonymousObserver.AnonymousObserver.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1635:12)
    at AnonymousObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at AnonymousObserver.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at AutoDetachObserverPrototype.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:6260:51)
    at AutoDetachObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at CatchObserver.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:2747:59)
    at CatchObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at CatchObserver.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at AutoDetachObserverPrototype.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:6260:51)
    at AutoDetachObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at InnerObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:3263:90)
    at InnerObserver.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at AutoDetachObserverPrototype.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:6260:51)
    at AutoDetachObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at scheduleItem (/packages/language-idris/node_modules/rx-lite/rx.lite.js:2651:16)
    at JustSink.run (/packages/language-idris/node_modules/rx-lite/rx.lite.js:2659:9)
    at JustObservable.subscribeCore (/packages/language-idris/node_modules/rx-lite/rx.lite.js:2640:19)
    at JustObservable.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at /packages/language-idris/node_modules/rx-lite/rx.lite.js:1813:46)

Commands

  2x -7:31.6.0 language-idris:open-repl (input.hidden-input)

Non-Core Packages

language-idris 0.5.0