Merge pull request #238 from justjoheinz/compiler-notifications

Send notifications during the type check process (:write-string)

Author: justjoheinz

lib/idris-model.coffee

@@ -58,6 +58,7 @@ class IdrisModel
             delete @subjects[id]
           when ':write-string'
             msg = params[0]
+            atom.notifications.addInfo msg
             subject.onNext
               responseType: 'write-string'
               msg: msg