[nongnu] elpa/idris-mode e7e2a6c3bc 3/8: Remove dependency on if-let* defined in subr-x

[ELPA Syncer]

branch: elpa/idris-mode
commit e7e2a6c3bc56a72b3edb8dedef7f4b3c63bcd1f8
Author: Marek Labos <marek@syftapp.com>
Commit: Marek Labos <marek@syftapp.com>

    Remove dependency on if-let* defined in subr-x
    
    Why:
    to test if this fixes issue `(seq-find .. ) is a malformed function`
    https://github.com/idris-hackers/idris-mode/pull/558#issuecomment-1307149527
---
 idris-commands.el | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/idris-commands.el b/idris-commands.el
index 9e77008042..a11bba322a 100644
--- a/idris-commands.el
+++ b/idris-commands.el
@@ -960,11 +960,12 @@ Inspired by `cider-switch-to-last-clojure-buffer'
 https://github.com/clojure-emacs/cider";
   (interactive)
   (if (derived-mode-p 'idris-repl-mode)
-      (if-let* ((a-buf (seq-find
-                        (lambda (b) (eq 'idris-mode (buffer-local-value 
'major-mode b)))
-                        (buffer-list))))
-          (pop-to-buffer a-buf `(display-buffer-reuse-window))
-        (user-error "No Idris buffer found"))
+      (let ((idris-buffer (seq-find
+                           (lambda (b) (eq 'idris-mode (buffer-local-value 
'major-mode b)))
+                           (buffer-list))))
+        (if idris-buffer
+            (pop-to-buffer idris-buffer `(display-buffer-reuse-window))
+          (user-error "No Idris buffer found")))
     (user-error "Not in a Idris REPL buffer")))
 
 (defun idris-quit ()