-
-
Save dysinger/63b7cd03f77ac0125356051b23f47a37 to your computer and use it in GitHub Desktop.
;; 1. place this in ~/.emacs.d/private/intero/packages.el | |
;; 2. add intero, syntax-checking and auto-completion to your | |
;; ~/.spacemacs layer configuration & remove the haskell layer | |
;; if you were using that before | |
;; 3. make sure you have stack installed http://haskellstack.org | |
;; 4. fire up emacs & open up a stack project's source files | |
(defconst intero-packages | |
'(company | |
flycheck | |
haskell-mode | |
hindent | |
(intero :location (recipe | |
:repo "chrisdone/intero" | |
:fetcher github | |
:files ("elisp/intero.el"))))) | |
(defun intero/init-company-mode () | |
(use-package company-mode)) | |
(defun intero/init-hindent () | |
(use-package hindent)) | |
(defun intero/init-haskell-mode () | |
(use-package haskell-mode)) | |
(defun intero/post-init-haskell-mode () | |
(add-hook 'haskell-mode-hook 'hindent-mode) | |
(add-hook 'haskell-mode-hook 'intero-mode)) | |
(defun intero/init-intero () | |
(use-package intero)) | |
(defun intero/post-init-intero () | |
(flycheck-add-next-checker 'intero '(warning . haskell-hlint))) |
@gregwebs if you remove it from the layers in your .spacemacs
it doesn't seem to disable it (and I suppose that's because intero ships with its own flycheckin or something like that). But it will disable flycheck for other languages.
Worked well for me, but the intero repl behaved like a pure text buffer instead of a command-line - maybe the shell-mode was not enabled?
@gregwebs @meditans I merged in a patch which gets rid of the "Wrote buffer .." message: chrisdone-archive/intero#54
I'm guessing this on first start after activating this:
Compiling file /home/magnus/.emacs.d/elpa/intero-20160606.926/intero.el at Mon Jun 6 09:56:19 2016
intero.el:50:1:Error: Cannot open load file: no such file or directory, flycheck
Emacs 24.5 on Arch Linux, and the syntax-checking
layer is activated.
@magthe yeah, I got the same error
@chrisdone thanks, that patch works! I just had to go into the elpa package list and update intero.
Any thoughts on what keybindings this could run under? Perhaps SPC m ..
like the current haskell layer uses, since it's not meant to be mixed?
I am trying to expand on this layer to add keybindings that are consistent with other spacemacs layers, e.g. using SPC m
as leader key and mapping other commands with mnemonic but I cannot it work even with the simplest example:
(defun intero/init-intero ()
(use-package intero
:config
(progn
(spacemacs/set-leader-keys-for-major-mode 'intero-mode "ml" 'intero-repl-load))
))
I am a total noob with spacemacs... Any idea?
@rybern are you running the latest version of stack?
@meditans I am running into the same problem. I certainly don't want to disable the amazing fly checking as I type feature. Let me know if you come up with any work-arounds