From dd697800f73a29b235fbc38433aa85a19b866a05 Mon Sep 17 00:00:00 2001 From: Tim Engler Date: Tue, 29 Nov 2022 07:57:05 +0800 Subject: [PATCH] Update idris2-commands.el MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Kamiλ Shakirov --- idris2-commands.el | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/idris2-commands.el b/idris2-commands.el index 12c5339..ef1f855 100644 --- a/idris2-commands.el +++ b/idris2-commands.el @@ -364,12 +364,10 @@ compiler-annotated output. Does not return a line number." (poss-full-filenames (mapcar #'(lambda (d) (concat (file-name-as-directory d) file-based-on-name)) file-dirs)) (act-full-filenames (seq-filter #'file-exists-p poss-full-filenames)) ) - (if (null act-full-filenames) nil - (progn - (if (not (null (cdr act-full-filenames))) - (message "Multiple locations found for file '%s': %s" file act-full-filenames) ()) - (car act-full-filenames))) - ) +(unless (null act-full-filenames) + (unless (null (cdr act-full-filenames)) + (message "Multiple locations found for file '%s': %s" file act-full-filenames)) + (car act-full-filenames)) ) )