[nongnu] elpa/idris-mode d6ac9524f6 1/9: Simplify `idris-test-idris-type-search` by removing loading a file

[ELPA Syncer]

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