branch: elpa/idris-mode
commit 1f39308393dcaed3ab5d4b6bcbbe1d496b49f2bf
Author: Marek L <[email protected]>
Commit: Marek L <[email protected]>
Use if-let and when-let
---
idris-commands.el | 14 +++++---------
1 file changed, 5 insertions(+), 9 deletions(-)
diff --git a/idris-commands.el b/idris-commands.el
index 5c9a52aa84..e20d74e88e 100644
--- a/idris-commands.el
+++ b/idris-commands.el
@@ -232,10 +232,9 @@ A prefix argument SET-LINE forces loading but only up to
the current line."
(defun idris-view-compiler-log ()
"Jump to the log buffer, if it is open."
(interactive)
- (let ((buffer (get-buffer idris-log-buffer-name)))
- (if buffer
- (pop-to-buffer buffer)
- (message "No Idris compiler log is currently open"))))
+ (if-let* ((buffer (get-buffer idris-log-buffer-name)))
+ (pop-to-buffer buffer)
+ (message "No Idris compiler log is currently open")))
(defun idris-next-error ()
"Jump to the next error overlay in the buffer."
@@ -1209,11 +1208,8 @@ of the term to replace."
;; The timer is necessary because of the async nature of starting the prover
(run-with-timer 0.25 nil
#'(lambda ()
- (let ((buffer (get-buffer
idris-prover-script-buffer-name)))
- (when buffer
- (let ((window (get-buffer-window buffer)))
- (when window
- (select-window window))))))))
+ (if-let* ((window (get-buffer-window
idris-prover-script-buffer-name)))
+ (select-window window)))))
(defun idris-fill-paragraph (justify)
"In literate Idris files, allow filling non-code paragraphs."
