Merge pull request #148 from david-christiansen/issue/123

Clear the compiler notes when beginning load
idris-hackers · May 20, 2014 · dfdf93c · dfdf93c
2 parents 057a01d + 6186e60
commit dfdf93c
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 4 deletions.
diff --git a/idris-commands.el b/idris-commands.el
@@ -88,7 +88,13 @@
   (idris-ensure-process-and-repl-buffer)
   (if (buffer-file-name)
       (when (idris-current-buffer-dirty-p)
+        ;; Remove warning overlays
         (idris-warning-reset-all)
+        ;; Clear the contents of the compiler notes buffer, if it exists
+        (when (get-buffer idris-notes-buffer-name)
+          (with-current-buffer idris-notes-buffer-name
+            (let ((inhibit-read-only t)) (erase-buffer))))
+        ;; Actually do the loading
         (let* ((fn (buffer-file-name))
                (ipkg-srcdir (idris-ipkg-find-src-dir))
                (srcdir (if ipkg-srcdir

diff --git a/idris-warnings-tree.el b/idris-warnings-tree.el
@@ -43,10 +43,7 @@
         (setq buffer-read-only nil)
         (erase-buffer)
         (if (null notes)
-            (progn
-              (message "Cannot find any defect!")
-              (kill-buffer)
-              nil)
+            nil
           (let ((root (idris-compiler-notes-to-tree notes)))
             (idris-tree-insert root "")
             (insert "\n")