Skip to content

Load and run expr #1863

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
purcell merged 2 commits into from
Feb 9, 2025
Merged

Load and run expr #1863

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
8ab625e
add function: C-c RET loads & runs current buffer
zaz Feb 3, 2025
238bb62
add haskell-load-and-run-expr-history
purcell Feb 6, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 12 additions & 0 deletions haskell.el
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -38,6 +38,7 @@
(defvar interactive-haskell-mode-map
(let ((map (make-sparse-keymap)))
(define-key map (kbd "C-c C-l") 'haskell-process-load-file)
(define-key map (kbd "C-c RET") 'haskell-load-and-run) ;; == C-c C-m
(define-key map (kbd "C-c C-r") 'haskell-process-reload)
(define-key map (kbd "C-c C-t") 'haskell-process-do-type)
(define-key map (kbd "C-c C-i") 'haskell-process-do-info)
Expand Down Expand Up @@ -397,6 +398,17 @@ Give optional NEXT-P parameter to override value of
nil
(current-buffer)))

(defvar haskell-load-and-run-expr-history nil
"History of expressions used in `haskell-load-and-run'.")

(defun haskell-load-and-run (expr)
"Load the current buffer and run EXPR, e.g. \"main\"."
(interactive (list (read-string "Run expression: "
(car haskell-load-and-run-expr-history)
'haskell-load-and-run-expr-history)))
(haskell-process-load-file)
(haskell-interactive-mode-run-expr expr))

;;;###autoload
(defun haskell-process-reload ()
"Re-load the current buffer file."
Expand Down
Loading