branch: elpa/idris-mode
commit 8a4ce46373a753ea4e53aa8f8f3a5f3f11c5e8f6
Author: Marek L <nospam.ke...@gmail.com>
Commit: Marek L <nospam.ke...@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
