2017-08-08 19:14:58 +02:00
|
|
|
;;; lang/haskell/+dante.el -*- lexical-binding: t; -*-
|
2017-12-10 16:57:51 -05:00
|
|
|
;;;###if (featurep! +dante)
|
2017-08-08 19:14:58 +02:00
|
|
|
|
|
|
|
(def-package! dante
|
2018-09-29 14:57:17 -04:00
|
|
|
:hook (haskell-mode-local-vars . dante-mode)
|
2018-07-17 23:43:27 +02:00
|
|
|
:init
|
|
|
|
(setq dante-load-flags '(;; defaults:
|
|
|
|
"+c"
|
|
|
|
"-Wwarn=missing-home-modules"
|
|
|
|
"-fno-diagnostics-show-caret"
|
|
|
|
;; neccessary to make attrap-attrap useful:
|
|
|
|
"-Wall"
|
|
|
|
;; necessary to make company completion useful:
|
|
|
|
"-fdefer-typed-holes"
|
|
|
|
"-fdefer-type-errors"))
|
2018-07-17 23:47:57 +02:00
|
|
|
:config
|
|
|
|
(when (featurep! :feature syntax-checker)
|
2018-07-19 11:03:16 +02:00
|
|
|
(flycheck-add-next-checker 'haskell-dante '(warning . haskell-hlint)))
|
|
|
|
|
2019-01-21 06:21:09 +11:00
|
|
|
(set-company-backend! 'dante-mode #'dante-company)
|
|
|
|
|
2018-10-24 01:07:25 -04:00
|
|
|
(when (featurep 'evil)
|
|
|
|
(add-hook 'dante-mode-hook #'evil-normalize-keymaps))
|
2018-07-19 11:03:16 +02:00
|
|
|
(map! :map dante-mode-map
|
|
|
|
:localleader
|
2018-12-23 23:54:27 -05:00
|
|
|
"t" #'dante-type-at
|
|
|
|
"i" #'dante-info
|
|
|
|
"l" #'haskell-process-load-or-reload
|
|
|
|
"e" #'dante-eval-block
|
|
|
|
"a" #'attrap-attrap))
|