From eb714886441aada595e7edd73d6e62d6ddb4fabd Mon Sep 17 00:00:00 2001
From: Emmanuel Denloye-Ito <eod8tb@virginia.edu>
Date: Mon, 3 Apr 2017 10:26:11 -0400
Subject: [PATCH] Add haskell-interactive-mode-flush-output
I thought it would be nice to have something like comint-delete-output for the haskell-interactive-mode. I decided to not to deal with multiline commands, but if anyone thinks that would be nice to have as well, I'll look into it.
---
haskell-interactive-mode.el | 22 ++++++++++++++++++++++
1 file changed, 22 insertions(+)
diff --git a/haskell-interactive-mode.el b/haskell-interactive-mode.el
index 410ccd97e..60d4e8366 100644
--- a/haskell-interactive-mode.el
+++ b/haskell-interactive-mode.el
@@ -1011,6 +1011,28 @@ don't care when the thing completes as long as it's soonish."
(delete-region (point-min) (point-max)))
(remove-overlays))))
+(defun haskell-interactive-mode-flush-output ()
+ "Delete all output from interpreter since last input.
+Does not delete the prompt. This command doesn't handle
+multi-line commands."
+ (interactive)
+ (let ((session (haskell-interactive-session)))
+ (with-current-buffer (haskell-session-interactive-buffer session)
+ (let ((inhibit-read-only t)
+ (pmark
+ (save-excursion
+ (haskell-interactive-mode-prompt-previous)
+ (forward-line 1) (point)))
+ (prompt (save-excursion
+ (search-backward-regexp (haskell-interactive-prompt-regex) nil t))))
+ (let ((orig (point)))
+ (goto-char pmark)
+ (delete-region pmark prompt)
+ (insert "*** output flushed ***\n")
+ (forward-line -1)
+ (put-text-property (point-at-bol) (point-at-eol) 'read-only t)
+ (goto-char orig))))))
+
(defun haskell-interactive-mode-completion-at-point-function ()
"Offer completions for partial expression between prompt and point.
This completion function is used in interactive REPL buffer itself."