Destroying typechecking and totality instance should not be twisted

zjhmale · Apr 30, 2017 · 319a384 · 319a384
1 parent 7e3aa43
commit 319a384
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/src/idris/commands.js b/src/idris/commands.js
@@ -716,10 +716,6 @@ let destroy = (isOnSave) => {
       model = null
     }
   } else {
-    if (model != null) {
-      model.stop()
-      model = null
-    }
     if (checkNotTotalModel != null) {
       checkNotTotalModel.stop()
       checkNotTotalModel = null

diff --git a/src/providers/idris/hoverProvider.js b/src/providers/idris/hoverProvider.js
@@ -64,7 +64,7 @@ let IdrisHoverProvider = (function () {
             }
           },
           function (err) {
-            if (err.warnings.length > 0) {
+            if (err.warnings && err.warnings.length > 0) {
               resolve(err.warnings[0][3])
             } else {
               resolve(err.message)