[nongnu] elpa/idris-mode 8cdbc2dcb2 1/2: [ refactor ] big-or -> member

[ELPA Syncer]

branch: elpa/idris-mode
commit 8cdbc2dcb2d97b4a2fb2327d0e72ba21fcce5a4d
Author: Guillaume Allais <guillaume.allais@ens-lyon.org>
Commit: Guillaume Allais <guillaume.allais@ens-lyon.org>

    [ refactor ] big-or -> member
    
    As suggested by Stefan Monnier. Thanks Stefan!
---
 idris-commands.el | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/idris-commands.el b/idris-commands.el
index de5d81deae..d9bbb13dce 100644
--- a/idris-commands.el
+++ b/idris-commands.el
@@ -972,11 +972,8 @@ means to not ask for confirmation."
   (unless (> idris-protocol-version 1)
     (let* ((fname (buffer-file-name))
            (ibc (concat (file-name-sans-extension fname) ".ibc")))
-      (if (not (or (string= (file-name-extension fname) "idr")
-                   (string= (file-name-extension fname) "lidr")
-                   (string= (file-name-extension fname) "org")
-                   (string= (file-name-extension fname) "markdown")
-                   (string= (file-name-extension fname) "md")))
+      (if (not (member (file-name-extension fname)
+                       '("idr" "lidr" "org" "markdown" "md")))
           (error "The current file is not an Idris file")
           (when (or no-confirmation (y-or-n-p (concat "Really delete " ibc 
"?")))
             (when (file-exists-p ibc)