Update idris2-commands.el

Co-authored-by: Kamiλ Shakirov <[email protected]>
idris-community · Nov 28, 2022 · dd69780 · dd69780
1 parent b771f9a
commit dd69780
Showing 1 changed file with 4 additions and 6 deletions.
diff --git 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))
     )
   )