Merge pull request #54 from idris-hackers/issue-51

Restart the idris compiler after every commmand if it was killed

CHANGELOG.md

@@ -4,6 +4,7 @@
 
 ### Added
 
+- Restart the idris compiler after every commmand if it was killed [#54](https://github.com/idris-hackers/atom-language-idris/pull/54)
 - added the ability to style all the idris-panels
 
 ### Fixed

lib/idris-controller.coffee

@@ -20,6 +20,7 @@ class IdrisController
     'language-idris:proof-search': @runCommand @doProofSearch
     'language-idris:typecheck': @runCommand @typecheckFile
     'language-idris:print-definition': @runCommand @printDefinition
+    'language-idris:stop-compiler': @stopCompiler
 
   isIdrisFile: (uri) ->
     uri?.match? /\.idr$/
@@ -46,6 +47,9 @@ class IdrisController
       @messages.attach()
       @messages.hide()
 
+  stopCompiler: =>
+    @model?.stop()
+
   runCommand:
     (command) =>
       (args) =>

lib/idris-ide-mode.coffee

@@ -9,15 +9,16 @@ class IdrisIdeMode extends EventEmitter
   buffer: ''
   idrisBuffers: 0
 
-  constructor: ->
-    pathToIdris = atom.config.get("language-idris.pathToIdris")
-    @process = spawn pathToIdris, ['--ide-mode']
-    @process.on 'error', @error
-    @process.on 'exit', @exited
-    @process.on 'close', @exited
-    @process.on 'disconnect', @exited
+  start: ->
+    if (not @process?) || @process.killed
+      pathToIdris = atom.config.get("language-idris.pathToIdris")
+      @process = spawn pathToIdris, ['--ide-mode']
+      @process.on 'error', @error
+      @process.on 'exit', @exited
+      @process.on 'close', @exited
+      @process.on 'disconnect', @exited
 
-    @process.stdout.setEncoding('utf8').on 'data', @stdout
+      @process.stdout.setEncoding('utf8').on 'data', @stdout
 
   send: (cmd) ->
     Logger.logOutgoingCommand cmd
@@ -38,13 +39,18 @@ class IdrisIdeMode extends EventEmitter
     atom.notifications.addError e.short, detail: e.long
 
   exited: (code, signal) ->
-    short = "The idris compiler was closed or crashed"
-    long =
-      if signal
-        "It was closed with the signal: #{signal}"
-      else
-        "It (probably) crashed with the error code: #{code}"
-    atom.notifications.addError short, detail: long
+    if signal == "SIGTERM"
+      short = "The idris compiler was closed"
+      long = "You stopped the compiler"
+      atom.notifications.addInfo short, detail: long
+    else
+      short = "The idris compiler was closed or crashed"
+      long =
+        if signal
+          "It was closed with the signal: #{signal}"
+        else
+          "It (probably) crashed with the error code: #{code}"
+      atom.notifications.addError short, detail: long
 
   running: ->
     !!@process

lib/idris-model.coffee

@@ -12,6 +12,7 @@ class IdrisModel
     if !@ideModeRef
       @ideModeRef = new IdrisIdeMode
       @ideModeRef.on 'message', @handleCommand
+    @ideModeRef.start()
     @ideModeRef
 
   stop: ->