From c1c02f23833052dc9ffeb867342592c089da1159 Mon Sep 17 00:00:00 2001 From: Mitch Tishmack Date: Sun, 2 Aug 2015 12:28:45 -0500 Subject: [PATCH] Update haskell-mode to use prettify-symbols. Now my haskell source is spectacular! --- emacs/.emacs.d/emacs.org | 29 +++++++++++++++++++++++++++-- 1 file changed, 27 insertions(+), 2 deletions(-) diff --git a/emacs/.emacs.d/emacs.org b/emacs/.emacs.d/emacs.org index 92b42f2..6d8b452 100644 --- a/emacs/.emacs.d/emacs.org +++ b/emacs/.emacs.d/emacs.org @@ -986,13 +986,38 @@ Need to make haskell source be all pretty. ) ) (add-hook 'haskell-mode-hook 'interactive-haskell-mode) - (add-hook 'haskell-mode-hook 'turn-on-haskell-indent) - (add-hook 'haskell-mode-hook 'turn-on-haskell-simple-indent) + (add-hook 'haskell-mode-hook 'turn-on-haskell-indentation) (custom-set-variables '(haskell-program-name "ghci") + '(haskell-process-type 'cabal-repl) '(haskell-tags-on-save t) ) (add-to-list 'completion-ignored-extensions ".hi") + (add-hook 'haskell-mode-hook' + (lambda () + (push '("()" . ?∅) prettify-symbols-alist) + (push '("\\" . ?λ) prettify-symbols-alist) + (push '("pi" . ?π) prettify-symbols-alist) + (push '("=>" . ?⇒) prettify-symbols-alist) + (push '("->" . ?→) prettify-symbols-alist) + (push '("<-" . ?←) prettify-symbols-alist) + (push '("<=" . ?≤) prettify-symbols-alist) + (push '(">=" . ?≥) prettify-symbols-alist) + (push '("==" . ?≡) prettify-symbols-alist) + (push '("/=" . ?≢) prettify-symbols-alist) + (push '("!!" . "‼") prettify-symbols-alist) + (push '("&&" . ?∧) prettify-symbols-alist) + (push '("||" . ?∨) prettify-symbols-alist) + (push '("~>" . ?⇝) prettify-symbols-alist) + (push '("-<" . ?↢) prettify-symbols-alist) + (push '("not" . ?¬) prettify-symbols-alist) + (push '("forall" . ?∀) prettify-symbols-alist) + (push '("sqrt" . ?√) prettify-symbols-alist) + (push '("undefined" . ?⊥) prettify-symbols-alist) + (push '("sqrt" . ?√) prettify-symbols-alist) + (prettify-symbols-mode) + ) + ) ) ) #+END_SRC