[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/idris-mode 9bc7697406 2/2: Merge pull request #553 from id
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/idris-mode 9bc7697406 2/2: Merge pull request #553 from idris-hackers/refactor-membership |
Date: |
Thu, 9 Jun 2022 08:58:40 -0400 (EDT) |
branch: elpa/idris-mode
commit 9bc7697406f719258d93835df3c1761efbfecaa7
Merge: 3c1f8f8410 8cdbc2dcb2
Author: Jan de Muijnck-Hughes <jfdm@users.noreply.github.com>
Commit: GitHub <noreply@github.com>
Merge pull request #553 from idris-hackers/refactor-membership
[ refactor ] big-or -> member
---
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)
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [nongnu] elpa/idris-mode 9bc7697406 2/2: Merge pull request #553 from idris-hackers/refactor-membership,
ELPA Syncer <=