[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/idris-mode 1c62469a2e 2/2: Merge pull request #587 from ke
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/idris-mode 1c62469a2e 2/2: Merge pull request #587 from keram/update-pr-465-v2 |
Date: |
Thu, 8 Dec 2022 07:59:05 -0500 (EST) |
branch: elpa/idris-mode
commit 1c62469a2e6e4809f8d34549426ba989e4c0032b
Merge: 744f773bb4 cc098578fe
Author: Jan de Muijnck-Hughes <jfdm@users.noreply.github.com>
Commit: GitHub <noreply@github.com>
Merge pull request #587 from keram/update-pr-465-v2
Restore position after case split
---
idris-commands.el | 13 +++++++------
1 file changed, 7 insertions(+), 6 deletions(-)
diff --git a/idris-commands.el b/idris-commands.el
index 73df5d1b8c..c1c8f3bfcd 100644
--- a/idris-commands.el
+++ b/idris-commands.el
@@ -567,19 +567,20 @@ Useful for writing papers or slides."
(defun idris-case-split ()
- "Case split the pattern variable at point"
+ "Case split the pattern variable at point."
(interactive)
(let ((what (idris-thing-at-point)))
(when (car what)
(save-excursion (idris-load-file-sync))
- (let ((result (car (idris-eval `(:case-split ,(cdr what) ,(car what))))))
+ (let ((result (car (idris-eval `(:case-split ,(cdr what) ,(car what)))))
+ (initial-position (point)))
(if (<= (length result) 2)
(message "Can't case split %s" (car what))
(delete-region (line-beginning-position) (line-end-position))
(if (> idris-protocol-version 1)
(insert (substring result 0 (length result)))
- (insert (substring result 0 (1- (length result))))
- ))))))
+ (insert (substring result 0 (1- (length result)))))
+ (goto-char initial-position))))))
(defun idris-make-cases-from-hole ()
"Make a case expression from the metavariable at point."
@@ -593,8 +594,8 @@ Useful for writing papers or slides."
(delete-region (line-beginning-position) (line-end-position))
(if (> idris-protocol-version 1)
(insert (substring result 0 (length result)))
- (insert (substring result 0 (1- (length result))))
- ))))))
+ (insert (substring result 0 (1- (length result)))))
+ (search-backward "_ of\n"))))))
(defun idris-case-dwim ()
"If point is on a hole name, make it into a case expression.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [nongnu] elpa/idris-mode 1c62469a2e 2/2: Merge pull request #587 from keram/update-pr-465-v2,
ELPA Syncer <=