[nongnu] elpa/idris-mode 7697b8b95e 4/5: Mark `idris-print-definition-of-name` as obsolete in favour of

[ELPA Syncer]

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

    Mark `idris-print-definition-of-name` as obsolete in favour of
    
    `idris-print-definition-of-name-at-point` and define new "internal"
    function `idris--print-definition-of-name` to be used by the new 
`idris-print-definition-of-name-at-point`
    and also from interactive context menu.
    
    Why:
    This allow us to have custom behaviour for "printing definitions" for Idris 
1 and 2
    in one place.
---
 idris-commands.el | 28 +++++++++++++++++++---------
 1 file changed, 19 insertions(+), 9 deletions(-)

diff --git a/idris-commands.el b/idris-commands.el
index 5f07be25a9..4cfe3489eb 100644
--- a/idris-commands.el
+++ b/idris-commands.el
@@ -301,15 +301,25 @@ This sets the load position to point, if there is one."
     (when name
       (idris-info-for-name :type-of name))))
 
-(defun idris-print-definition-of-name (thing)
-  "Display the definition of the function or type of the THING at point."
+(defun idris--print-definition-of-name (name)
+  "Fetch from the Idris compiler and display the definition of the NAME."
+  (if (>=-protocol-version 2 1)
+      (idris-info-for-name :interpret (concat ":printdef " name))
+    (idris-info-for-name :print-definition name)))
+
+(defun idris-print-definition-of-name-at-point (name)
+  "Display the definition of the function or type of the NAME at point.
+
+Idris 2 as of 05/01/2023 does not yet fully support
+printing definition of a type at point."
   (interactive "P")
-  (let ((name (if thing (read-string "Print definition: ")
-                (idris-name-at-point))))
-    (when name
-      (if (>=-protocol-version 2 1)
-          (idris-info-for-name :interpret (concat ":printdef " name))
-        (idris-info-for-name :print-definition name)))))
+  (let ((name* (if name
+                   (read-string "Print definition: ")
+                 (idris-name-at-point))))
+    (when name*
+      (idris--print-definition-of-name name*))))
+
+(define-obsolete-function-alias 'idris-print-definition-of-name 
'idris-print-definition-of-name-at-point "2023-01-05")
 
 (defun idris-who-calls-name (name)
   "Show the callers of NAME in a tree."
@@ -1321,7 +1331,7 @@ of the term to replace."
                        (list "Get definition"
                              (lambda ()
                                (interactive)
-                               (idris-info-for-name :print-definition ref)))
+                               (idris--print-definition-of-name ref)))
                        (list "Who calls?"
                              (lambda ()
                                (interactive)