branch: elpa/idris-mode
commit 43e8a6e7233757355b78489a1ee0f61730fb4b10
Merge: ca860db9ae 62c3ad2b0d
Author: Jan de Muijnck-Hughes <j...@users.noreply.github.com>
Commit: GitHub <nore...@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."
