Ignore errors when completing

idris-community · Jan 8, 2023 · e53de49 · e53de49
1 parent 3bcb52a
commit e53de49
Showing 1 changed file with 6 additions and 5 deletions.
diff --git a/idris2-commands.el b/idris2-commands.el
@@ -847,11 +847,12 @@ type-correct, so loading will fail."
     (let* ((start  (line-beginning-position))
            (end    (point))
            (target (buffer-substring-no-properties start end))
-           (result (car (idris2-eval `(:repl-completions ,target)))))
-      (cl-destructuring-bind (completions partial) result
-        (if (null completions)
-            nil
-          (list (+ start (length partial)) end completions :exclusive 'no))))))
+           (result (car (idris2-eval `(:repl-completions ,target) t))))
+      (and result
+	   (cl-destructuring-bind (completions partial) result
+	     (if (null completions)
+		 nil
+	       (list (+ start (length partial)) end completions :exclusive 'no)))))))
 
 
 (defun idris2-list-holes ()