emacs-elpa-diffs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[nongnu] elpa/idris-mode 43e8a6e723 5/6: Merge pull request #564 from ke


From: ELPA Syncer
Subject: [nongnu] elpa/idris-mode 43e8a6e723 5/6: Merge pull request #564 from keram/fix-encouragement-in-process-buffer
Date: Fri, 18 Nov 2022 05:59:08 -0500 (EST)

branch: elpa/idris-mode
commit 43e8a6e7233757355b78489a1ee0f61730fb4b10
Merge: ca860db9ae 62c3ad2b0d
Author: Jan de Muijnck-Hughes <jfdm@users.noreply.github.com>
Commit: GitHub <noreply@github.com>

    Merge pull request #564 from keram/fix-encouragement-in-process-buffer
    
    Make empty string always return value from `idris-process-filter`
---
 inferior-idris.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/inferior-idris.el b/inferior-idris.el
index a74b573ba8..7e313552dd 100644
--- a/inferior-idris.el
+++ b/inferior-idris.el
@@ -189,8 +189,8 @@ directory variables.")
           (if (not (string-match idris-process-port-with-warning-output-regexp 
string))
               (idris-warn string)
             (idris-warn (match-string idris-warning-matcher string))
-            (idris-connect (string-to-number (match-string 
idris-warning-port-matcher string))))
-          ""))))
+            (idris-connect (string-to-number (match-string 
idris-warning-port-matcher string)))))
+        "")))
 
 (defun idris-show-process-buffer (string)
   "Show the Idris process buffer if STRING is non-empty."



reply via email to

[Prev in Thread] Current Thread [Next in Thread]