branch: elpa/idris-mode
commit 19aa3d7b02d8d3d5fbb254c2b1b51e0f3597a68e
Author: Marek L <nospam.ke...@gmail.com>
Commit: Marek L <nospam.ke...@gmail.com>
Rewrite test idris-test-idris-type-at-point to use stubs
instead of relying on running Idris connection.
Why:
The event processing nature of the tests makes
it regularly fail on CI.
It is great to have full integration tests but no at the price of
reliability of test suite.
---
test/idris-commands-test.el | 63 ++++++++++++++++++++++++++++-----------------
1 file changed, 39 insertions(+), 24 deletions(-)
diff --git a/test/idris-commands-test.el b/test/idris-commands-test.el
index 179a7f16a5..98a430f0f6 100644
--- a/test/idris-commands-test.el
+++ b/test/idris-commands-test.el
@@ -243,30 +243,45 @@ myReverse xs = revAcc [] xs where
(ert-deftest idris-test-idris-type-at-point ()
"Test that `idris-type-at-point' works."
- (let ((buffer (find-file-noselect "test-data/AddClause.idr")))
- ;; Assert that we have clean global test state
- (should (not idris-connection))
- (with-current-buffer buffer
- (switch-to-buffer buffer)
- (goto-char (point-min))
- (re-search-forward "data Test")
- (funcall-interactively 'idris-type-at-point nil)
- ;; Assert that Idris connection is created
- (should idris-connection)
- ;; Assert that focus is in the Idris info buffer
- (should (string= (buffer-name) idris-info-buffer-name))
- ;; Assert that the info buffer displays a type
- (should (string-match-p "Test : Type" (buffer-substring-no-properties
(point-min) (point-max))))
-
- ;; TODO: How to emulate "q" key binding to quit info buffer?
- (idris-info-quit)
- ;; Assert leaving info buffer will get us back to Idris code buffer
- (should (eq (current-buffer) buffer))
-
- ;; Cleanup
- (idris-delete-ibc t)
- (kill-buffer))
- (idris-quit)))
+ (let ((buffer (find-file-noselect "test-data/AddClause.idr"))
+ file-loaded-p
+ eval-args)
+ (cl-flet ((idris-load-file-sync-stub () (setq file-loaded-p t) nil)
+ (idris-eval-stub (&optional &rest args)
+ (setq eval-args args)
+ '("Test : Type"
+ (0 4 ((:name "AddClause.Test")
+ (:implicit :False)
+ (:key "AQAAAAAAAAAA")
+ (:decor :type)
+ (:doc-overview "")
+ (:type "Type")
+ (:namespace "AddClause")))
+ (7 4 ((:decor :type)
+ (:type "Type")
+ (:doc-overview "The type of types")
+ (:name "Type")))
+ (7 4 ((:tt-term "AAAAAAAAAAAHAAAAAAA"))))))
+ (advice-add 'idris-load-file-sync :override #'idris-load-file-sync-stub)
+ (advice-add 'idris-eval :override #'idris-eval-stub)
+
+ (unwind-protect
+ (with-current-buffer buffer
+ (switch-to-buffer buffer)
+ (goto-char (point-min))
+ (re-search-forward "data Test")
+ (funcall-interactively 'idris-type-at-point nil)
+ (should (eq file-loaded-p t))
+ (should (equal eval-args '((:type-of "Test"))))
+ (should (string= (buffer-name) idris-info-buffer-name))
+ (should (string-match-p "Test : Type"
(buffer-substring-no-properties (point-min) (point-max))))
+ (idris-info-quit)
+ (should (eq (current-buffer) buffer)))
+
+ (advice-remove 'idris-load-file-sync #'idris-load-file-sync-stub)
+ (advice-remove 'idris-eval #'idris-eval-stub)
+ (kill-buffer buffer)
+ (idris-quit)))))
;; Tests by Yasuhiko Watanabe
;; https://github.com/idris-hackers/idris-mode/pull/537/files
