branch: elpa/idris-mode
commit 13c750d67f533d8bd9cb896be5365f44ee43d355
Author: Marek L <nospam.ke...@gmail.com>
Commit: Marek L <nospam.ke...@gmail.com>
Return `user-error` instead of `error` from `idris-thing-at-point`
Why:
This error is user recoverable ergo user can move point to
something identifiable instead of us failing hard.
---
idris-commands.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/idris-commands.el b/idris-commands.el
index b88980042f..3449f43189 100644
--- a/idris-commands.el
+++ b/idris-commands.el
@@ -309,7 +309,7 @@ Use this in Idris source buffers."
(buffer-substring-no-properties beg (point))))
;; Try if we're on a symbol or fail otherwise.
(or (current-word t)
- (error "Nothing identifiable under point")))
+ (user-error "Nothing identifiable under point")))
line)))
(defun idris-name-at-point ()
