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
|
|
|
|
2018-07-18 08:36:29 +02:00
|
|
|
(def-package! attrap
|
|
|
|
|
:commands (attrap-attrap))
|
|
|
|
|
|
2017-08-08 19:14:58 +02:00
|
|
|
(def-package! dante
|
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
|
|
|
:hook (haskell-mode . dante-mode)
|
|
|
|
|
:config
|
|
|
|
|
(when (featurep! :feature syntax-checker)
|
2018-07-19 11:03:16 +02:00
|
|
|
(flycheck-add-next-checker 'haskell-dante '(warning . haskell-hlint)))
|
|
|
|
|
|
|
|
|
|
(map! :map dante-mode-map
|
|
|
|
|
:localleader
|
|
|
|
|
:n "t" #'dante-type-at
|
|
|
|
|
:n "i" #'dante-info
|
|
|
|
|
:n "l" #'haskell-process-load-or-reload
|
|
|
|
|
:n "e" #'dante-eval-block
|
|
|
|
|
:n "a" #'attrap-attrap))
|
