[nongnu] elpa/idris-mode 1adee4fe06 8/8: Merge pull request #560 from keram/interactive-s-flag

[ELPA Syncer]

branch: elpa/idris-mode
commit 1adee4fe06fb50429d610f33c99e46376b257f98
Merge: 7a0b5c736d bc44e934f8
Author: Jan de Muijnck-Hughes <jfdm@users.noreply.github.com>
Commit: GitHub <noreply@github.com>

    Merge pull request #560 from keram/interactive-s-flag
    
    Revert removal of `s` flag from `interactive` function argument.
---
 idris-commands.el |  9 +++++----
 idris-tests.el    | 11 +++++++++++
 2 files changed, 16 insertions(+), 4 deletions(-)

diff --git a/idris-commands.el b/idris-commands.el
index a11bba322a..3645b8ba7d 100644
--- a/idris-commands.el
+++ b/idris-commands.el
@@ -544,14 +544,15 @@ KILLFLAG is set if N was explicitly specified."
     ;; `delete-forward-char' does
     (t (delete-char 1 killflag))))
 
+
 (defun idris-apropos (what)
-  "Look up WHAT in names, type signatures, and docstrings"
-  (interactive "Search Idris docs for: ")
+  "Look up WHAT in names, type signatures, and docstrings."
+  (interactive "sSearch Idris docs for: ")
   (idris-info-for-name :apropos what))
 
 (defun idris-type-search (what)
-  "Search the Idris libraries for WHAT by fuzzy type matching"
-  (interactive "Search for type: ")
+  "Search the Idris libraries for WHAT by fuzzy type matching."
+  (interactive "sSearch for type: ")
   (idris-info-for-name :interpret (concat ":search " what)))
 
 (defun idris-docs-at-point (thing)
diff --git a/idris-tests.el b/idris-tests.el
index 0d1ed4e557..97049c5311 100644
--- a/idris-tests.el
+++ b/idris-tests.el
@@ -157,6 +157,17 @@ remain."
       (kill-buffer))
     (idris-quit)))
 
+(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)))
+
 (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."
   (let ((buffer (find-file "test-data/package-test/Packaging.idr")))