branch: elpa/idris-mode
commit d6ac9524f6ea8c3dd5747794fa1bf1296bf93e7c
Author: Marek L <nospam.ke...@gmail.com>
Commit: Marek L <nospam.ke...@gmail.com>
Simplify `idris-test-idris-type-search` by removing loading a file
The file is not needed in order to test the function,
only running idris process
---
idris-tests.el | 14 ++++++--------
1 file changed, 6 insertions(+), 8 deletions(-)
diff --git a/idris-tests.el b/idris-tests.el
index c841472604..a3588a05bc 100644
--- a/idris-tests.el
+++ b/idris-tests.el
@@ -159,14 +159,12 @@ remain."
(ert-deftest idris-test-idris-type-search ()
"Test that `idris-type-search' produces output in Idris info buffer."
- (let ((buffer (find-file "test-data/AddClause.idr")))
- (with-current-buffer buffer
- (idris-load-file)
- (funcall-interactively 'idris-type-search "Nat"))
- (with-current-buffer (get-buffer idris-info-buffer-name)
- (goto-char (point-min))
- (should (re-search-forward "Zero" nil t)))
- (idris-quit)))
+ (idris-run)
+ (funcall-interactively 'idris-type-search "Nat")
+ (with-current-buffer (get-buffer idris-info-buffer-name)
+ (goto-char (point-min))
+ (should (re-search-forward "Zero" nil t)))
+ (idris-quit))
(ert-deftest idris-test-ipkg-packages-with-underscores-and-dashes ()
"Test that loading an ipkg file can have dependencies on packages with _ or
- in the name."
