aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAryadev Chavali <aryadev@aryadevchavali.com>2024-09-23 16:42:43 +0100
committerAryadev Chavali <aryadev@aryadevchavali.com>2024-09-23 16:42:53 +0100
commit1de66039c8ec4e35eb046240123d3acc66519fe8 (patch)
tree92114e6779a7f5761e89fbda7e1220d7c06f4b00
parent26e1ef6ad2ee6a61ef1f30759f4803ab1ae33dbb (diff)
downloaddotfiles-1de66039c8ec4e35eb046240123d3acc66519fe8.tar.gz
dotfiles-1de66039c8ec4e35eb046240123d3acc66519fe8.tar.bz2
dotfiles-1de66039c8ec4e35eb046240123d3acc66519fe8.zip
(Emacs/config)~Modify haskell config
-rw-r--r--Emacs/.config/emacs/config.org19
1 files changed, 11 insertions, 8 deletions
diff --git a/Emacs/.config/emacs/config.org b/Emacs/.config/emacs/config.org
index 6e8cf71..12e4fd6 100644
--- a/Emacs/.config/emacs/config.org
+++ b/Emacs/.config/emacs/config.org
@@ -3556,19 +3556,22 @@ will run in the REPL. Even easier than making your own buffer.
:hook
(haskell-mode-hook . haskell-indentation-mode)
(haskell-mode-hook . interactive-haskell-mode)
- :custom
- (haskell-interactive-prompt "[λ] ")
- (haskell-interactive-prompt-cont "{λ} ")
- (haskell-interactive-popup-errors nil)
- (haskell-stylish-on-save nil)
- (haskell-process-type 'auto)
+ :init
+ (setq haskell-interactive-prompt "[λ] "
+ haskell-interactive-prompt-cont "{λ} "
+ haskell-interactive-popup-errors nil
+ haskell-stylish-on-save t
+ haskell-process-type 'auto)
:general
(shell-leader
"h" #'haskell-interactive-bring)
(local-leader
:keymaps 'haskell-mode-map
- "l" #'haskell-process-load-or-reload
+ "c" #'haskell-compile
"t" #'haskell-process-do-type)
+ (nmmap
+ :keymaps 'haskell-mode-map
+ "C-c C-c" #'haskell-process-load-file)
(local-leader
:keymaps 'haskell-interactive-mode-map
"c" #'haskell-interactive-mode-clear)
@@ -3579,7 +3582,7 @@ will run in the REPL. Even easier than making your own buffer.
:display
("\\*haskell.**\\*"
(display-buffer-at-bottom)
- (window-height . 0.25))
+ (window-height . 0.3))
:config
(load (concat user-emacs-directory "elisp/haskell-multiedit.el")))
#+end_src