[nongnu] elpa/idris-mode 8a4ce46373 2/9: Delete AddClause.ibc between and after tests

[ELPA Syncer]

branch: elpa/idris-mode
commit 8a4ce46373a753ea4e53aa8f8f3a5f3f11c5e8f6
Author: Marek L <nospam.keram@gmail.com>
Commit: Marek L <nospam.keram@gmail.com>

    Delete AddClause.ibc between and after tests
    
    Why:
    When the *.ibc file become older than the *.idr
    it leads to errors and probably to random failures on CI.
    The error:
    ```
    (invalid-function
         (("(no file)" 0 -1 "Loading ./AddClause.ibc failed: Module needs 
reloading:
            SRC : \"./AddClause.idr\"
            Modified at: 2022-12-03 13:47:16.442694399 UTC
            IBC : \"./AddClause.ibc\"
            Modified at: 2022-12-03 13:40:03.472179302 UTC
    " nil)))
    ```
---
 idris-tests.el | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/idris-tests.el b/idris-tests.el
index a3588a05bc..df41786c71 100644
--- a/idris-tests.el
+++ b/idris-tests.el
@@ -187,16 +187,19 @@ remain."
       (goto-char (match-beginning 0))
       (funcall-interactively 'idris-add-clause nil)
       (should (looking-at-p "test \\w+ = \\?test_rhs"))
+      (idris-delete-ibc t)
+
       (re-search-forward "(-) :")
       (goto-char (1+ (match-beginning 0)))
       (funcall-interactively 'idris-add-clause nil)
       (should (looking-at-p "(-) = \\?\\w+_rhs"))
+
       ;; Cleanup
       (erase-buffer)
       (insert buffer-content)
       (save-buffer)
-      (kill-buffer)))
-  (idris-quit))
+      (kill-buffer))
+    (idris-quit)))
 
 (provide 'idris-tests)
 ;;; idris-tests.el ends here