[nongnu] elpa/idris-mode 28758e0980 09/13: Ensure ibc file is deleted in `idris-test-idris-type-at-point` test

[ELPA Syncer]

branch: elpa/idris-mode
commit 28758e09808132717c4ee92e0e82956ee8b25d99
Author: Marek L <nospam.keram@gmail.com>
Commit: Marek L <nospam.keram@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)