doomemacs/modules/lang/haskell/+dante.el

;;; lang/haskell/+dante.el -*- lexical-binding: t; -*-
;;;###if (featurep! +dante)

(use-package! dante
  :hook (haskell-mode-local-vars . dante-mode)
  :init
  (setq dante-load-flags '(;; defaults:
                           "+c"
                           "-Wwarn=missing-home-modules"
                           "-fno-diagnostics-show-caret"
                           ;; necessary to make attrap-attrap useful:
                           "-Wall"
                           ;; necessary to make company completion useful:
                           "-fdefer-typed-holes"
                           "-fdefer-type-errors"))
  :config
  (when (featurep! :checkers syntax)
    (flycheck-add-next-checker 'haskell-dante '(warning . haskell-hlint)))

  (set-company-backend! 'dante-mode #'dante-company)

  (defadvice! +haskell--restore-modified-state-a (fn &rest args)
    "Marks the buffer as falsely modified.
Dante quietly saves the current buffer (without triggering save hooks) before
invoking flycheck, unexpectedly leaving the buffer in an unmodified state. This
is annoying if we depend on save hooks to do work on the buffer (like
reformatting)."
    :around #'dante-async-load-current-buffer
    (let ((modified-p (buffer-modified-p)))
      (apply fn args)
      (if modified-p (set-buffer-modified-p t))))

  (when (featurep 'evil)
    (add-hook 'dante-mode-hook #'evil-normalize-keymaps))
  (map! :map dante-mode-map
        :localleader
        "t" #'dante-type-at
        "i" #'dante-info
        "l" #'haskell-process-load-file
        "e" #'dante-eval-block
        "a" #'attrap-attrap))
lang/haskell: add intero support #158 To use dante instead, change `haskell` to `(haskell +dante)` in ~/.emacs.d/init.el. 2017-08-08 19:14:58 +02:00			`;;; lang/haskell/+dante.el -- lexical-binding: t; --`
Extend byte-compile ;;;###if support to other elisp files 2017-12-10 16:57:51 -05:00			`;;;###if (featurep! +dante)`
lang/haskell: add intero support #158 To use dante instead, change `haskell` to `(haskell +dante)` in ~/.emacs.d/init.el. 2017-08-08 19:14:58 +02:00
:boom: Rename def-package! -> use-package! Calling this pivotal macro "def-package!" has frequently been a source of confusion. It is a thin wrapper around use-package, and it should be obvious that it is so. For this reason, and to match the naming convention used with other convenience macros/wrappers, it is now use-package!. Also changes def-package-hook! -> use-package-hook! The old macros are now marked obsolete and will be removed when straight integration is merged. 2019-07-23 12:44:03 +02:00			`(use-package! dante`
doom\|hack-local-variables => MODE-local-vars-hook Uses a less destructive method (the same that Spacemacs uses) than the one introduced in 13cee68, by introducing MODE-local-vars-hook hooks, which run after local vars have been initialized. The old method was to call `hack-local-variables` before mode hooks run, however, this causes variables set by modes to have higher precedence than local vars, which is unacceptable. Also moved intero-mode & dante-mode to haskell-mode-local-vars-hook 2018-09-29 14:57:17 -04:00			`:hook (haskell-mode-local-vars . dante-mode)`
Add attrap-attrap 2018-07-17 23:43:27 +02:00			`:init`
			`(setq dante-load-flags '(;; defaults:`
			`"+c"`
			`"-Wwarn=missing-home-modules"`
			`"-fno-diagnostics-show-caret"`
Fix typos 2019-12-01 22:31:19 -05:00			`;; necessary to make attrap-attrap useful:`
Add attrap-attrap 2018-07-17 23:43:27 +02:00			`"-Wall"`
			`;; necessary to make company completion useful:`
			`"-fdefer-typed-holes"`
			`"-fdefer-type-errors"))`
lang/haskell: fix haskell-hlint checker Causing "not a valid syntax checker" errors because it haskell-hlint was defined too soon. 2018-07-17 23:47:57 +02:00			`:config`
Fix references to :tools fly{spell,check} 2020-01-14 03:04:26 -05:00			`(when (featurep! :checkers syntax)`
Move dante mode map 2018-07-19 11:03:16 +02:00			`(flycheck-add-next-checker 'haskell-dante '(warning . haskell-hlint)))`

lang/haskell: fix dante completion 2019-01-21 06:21:09 +11:00			`(set-company-backend! 'dante-mode #'dante-company)`

refactor: rename orig-fn arg in advice to fn A minor tweak to our naming conventions for the first argument of an :around advice. 2021-08-04 01:18:06 -04:00			`(defadvice! +haskell--restore-modified-state-a (fn &rest args)`
def-advice!->defadvice! & conform to new advice conventions This commit does two things: - Renames def-advice! to defadvice!, in the spirit of naming convenience macros after the function/macro they enhance or replace. - Correct the names of advice functions to indicate visibility and intent. A public advice function like doom-set-jump-a is meant to be used elsewhere. A private one like +dired--cleanup-header-line-a shouldn't -- it likely won't work anywhere but the function(s) it was made to advise. 2019-07-23 17:24:56 +02:00			`"Marks the buffer as falsely modified.`
			`Dante quietly saves the current buffer (without triggering save hooks) before`
lang/haskell: restore modified flag after flycheck Dante quietly saves the current buffer (without triggering save hooks) before invoking flycheck, unexpectedly leaving the buffer in an unmodified state. This is annoying if we depend on save hooks to do work on the buffer (like reformatting), so we restore a (false) modified state. 2019-02-21 19:11:07 -05:00			`invoking flycheck, unexpectedly leaving the buffer in an unmodified state. This`
			`is annoying if we depend on save hooks to do work on the buffer (like`
def-advice!->defadvice! & conform to new advice conventions This commit does two things: - Renames def-advice! to defadvice!, in the spirit of naming convenience macros after the function/macro they enhance or replace. - Correct the names of advice functions to indicate visibility and intent. A public advice function like doom-set-jump-a is meant to be used elsewhere. A private one like +dired--cleanup-header-line-a shouldn't -- it likely won't work anywhere but the function(s) it was made to advise. 2019-07-23 17:24:56 +02:00			`reformatting)."`
			`:around #'dante-async-load-current-buffer`
lang/haskell: restore modified flag after flycheck Dante quietly saves the current buffer (without triggering save hooks) before invoking flycheck, unexpectedly leaving the buffer in an unmodified state. This is annoying if we depend on save hooks to do work on the buffer (like reformatting), so we restore a (false) modified state. 2019-02-21 19:11:07 -05:00			`(let ((modified-p (buffer-modified-p)))`
refactor: rename orig-fn arg in advice to fn A minor tweak to our naming conventions for the first argument of an :around advice. 2021-08-04 01:18:06 -04:00			`(apply fn args)`
lang/haskell: restore modified flag after flycheck Dante quietly saves the current buffer (without triggering save hooks) before invoking flycheck, unexpectedly leaving the buffer in an unmodified state. This is annoying if we depend on save hooks to do work on the buffer (like reformatting), so we restore a (false) modified state. 2019-02-21 19:11:07 -05:00			`(if modified-p (set-buffer-modified-p t))))`

lang/haskell: fix evil keybinds for intero/dante 2018-10-24 01:07:25 -04:00			`(when (featurep 'evil)`
			`(add-hook 'dante-mode-hook #'evil-normalize-keymaps))`
Move dante mode map 2018-07-19 11:03:16 +02:00			`(map! :map dante-mode-map`
			`:localleader`
Normalize :leader/:localleader keybinds Evil states no longer apply to them. Also removes x-alt-keysym. 2018-12-23 23:54:27 -05:00			`"t" #'dante-type-at`
			`"i" #'dante-info`
Replace obsolete elisp function in dante-mode 2020-03-09 09:40:22 +01:00			`"l" #'haskell-process-load-file`
Normalize :leader/:localleader keybinds Evil states no longer apply to them. Also removes x-alt-keysym. 2018-12-23 23:54:27 -05:00			`"e" #'dante-eval-block`
			`"a" #'attrap-attrap))`