[nongnu] elpa/idris-mode 13c750d67f 05/13: Return `user-error` instead of `error` from `idris-thing-at-point`

[ELPA Syncer]

branch: elpa/idris-mode
commit 13c750d67f533d8bd9cb896be5365f44ee43d355
Author: Marek L <nospam.keram@gmail.com>
Commit: Marek L <nospam.keram@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 ()