branch: elpa/idris-mode
commit 7697b8b95e3861e8cadf51e6d62d0ccc091c8d38
Author: Marek L <nospam.ke...@gmail.com>
Commit: Marek L <nospam.ke...@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)
