X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/configs/blobdiff_plain/a81db9232492b543525e69e01451374515f835c7..284bbe783c54a46fea2dd240c6993f5fecad2640:/init.org?ds=sidebyside

diff --git a/init.org b/init.org
index 84f8408..cf0a96c 100644
--- a/init.org
+++ b/init.org
@@ -931,6 +931,17 @@ TODO: break this giant source block down into individual org sections.
   (setq undo-tree-mode-lighter ""))
 #+end_src
 
+* Syntax and spell checking
+#+begin_src emacs-lisp
+(use-package flycheck
+  :hook (prog-mode . flycheck-mode)
+  :config
+  ;; Use the load-path from running Emacs when checking elisp files
+  (setq flycheck-emacs-lisp-load-path 'inherit)
+
+  ;; Only flycheck when I actually save the buffer
+  (setq flycheck-check-syntax-automatically '(mode-enabled save)))
+#+end_src
 * Programming modes
 
 ** [[https://github.com/leanprover/lean-mode][Lean]]
@@ -941,7 +952,9 @@ TODO: break this giant source block down into individual org sections.
 	      ("S-SPC" . company-complete)))
 #+end_src
 
-** [[https://github.com/haskell/haskell-mode][Haskell]]
+** Haskell
+
+*** [[https://github.com/haskell/haskell-mode][haskell-mode]]
 
 #+begin_src emacs-lisp
 (use-package haskell-mode
@@ -950,6 +963,20 @@ TODO: break this giant source block down into individual org sections.
         haskell-indentation-left-offset 4
         haskell-indentation-ifte-offset 4))
 #+end_src
+
+*** [[https://github.com/mpickering/hlint-refactor-mode][hlint-refactor]]
+
+Emacs bindings for [[https://github.com/ndmitchell/hlint][hlint]]'s refactor option. This requires the refact
+executable from [[https://github.com/mpickering/apply-refact][apply-refact]].
+
+#+begin_src emacs-lisp
+(use-package hlint-refactor
+  :bind (:map hlint-refactor-mode-map
+	      ("C-c l b" . hlint-refactor-refactor-buffer)
+	      ("C-c l r" . hlint-refactor-refactor-at-point))
+  :hook (haskell-mode . hlint-refactor-mode))
+#+end_src
+
 * Post initialization
 :PROPERTIES:
 :CUSTOM_ID: post-initialization