[nongnu] elpa/idris-mode 1b30ca6334 1/5: Improve documentation for `idris-info-for-name`

[ELPA Syncer]

branch: elpa/idris-mode
commit 1b30ca6334ba6a5f7b2e159a4f12c3ddac29ee83
Author: Marek L <nospam.keram@gmail.com>
Commit: Marek L <nospam.keram@gmail.com>

    Improve documentation for `idris-info-for-name`
---
 idris-commands.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/idris-commands.el b/idris-commands.el
index 88f5c590ab..dba49f034b 100644
--- a/idris-commands.el
+++ b/idris-commands.el
@@ -283,9 +283,9 @@ This sets the load position to point, if there is one."
 
 
 
-(defun idris-info-for-name (what name)
-  "Display the type for a NAME."
-  (let* ((ty (idris-eval (list what name)))
+(defun idris-info-for-name (command name)
+  "Pass to Idris compiler COMMAND with NAME as argument and display the 
result."
+  (let* ((ty (idris-eval (list command name)))
              (result (car ty))
              (formatting (cdr ty)))
       (idris-show-info (format "%s" result) formatting)))