branch: elpa/idris-mode
commit 28758e09808132717c4ee92e0e82956ee8b25d99
Author: Marek L <nospam.ke...@gmail.com>
Commit: Marek L <nospam.ke...@gmail.com>
Ensure ibc file is deleted in `idris-test-idris-type-at-point` test
Why:
guessing this is the reason of CI random failures
---
idris-tests.el | 3 +++
1 file changed, 3 insertions(+)
diff --git a/idris-tests.el b/idris-tests.el
index 2802c207f9..2c3e9f5ac6 100644
--- a/idris-tests.el
+++ b/idris-tests.el
@@ -271,6 +271,9 @@ myReverse xs = revAcc [] xs where
;; Assert that we have clean global test state
(should (not idris-connection))
(with-current-buffer buffer
+ ;; Hack to reduce random failures
+ ;; TODO: Fix the leak
+ (idris-delete-ibc t)
(goto-char (point-min))
(re-search-forward "data Test")
(funcall-interactively 'idris-type-at-point nil)
