From 319a3846e1f2268e74dcecb87f590be41528fcdb Mon Sep 17 00:00:00 2001
From: zjhmale <zjhmale@gmail.com>
Date: Sun, 30 Apr 2017 21:33:27 +0800
Subject: [PATCH] Destroying typechecking and totality instance should not be
 twisted

---
 src/idris/commands.js                | 4 ----
 src/providers/idris/hoverProvider.js | 2 +-
 2 files changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/idris/commands.js b/src/idris/commands.js
index 8124508..7c9343e 100644
--- 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
index acbd65f..34412b6 100644
--- 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)