From bdf0c51643e7f2de03211e430e80e434fff6d394 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=93scar=20N=C3=A1jera?= Date: Fri, 7 May 2021 22:16:05 +0200 Subject: Using ghcup for haskell dev and LSP on editor --- config/doom/config.org | 6 ------ config/doom/init.el | 2 +- 2 files changed, 1 insertion(+), 7 deletions(-) (limited to 'config') diff --git a/config/doom/config.org b/config/doom/config.org index 8139d59..1153a9d 100644 --- a/config/doom/config.org +++ b/config/doom/config.org @@ -271,12 +271,6 @@ this new window. (package! hindent) #+end_src #+begin_src emacs-lisp -(after! haskell-mode - (setq haskell-process-args-cabal-repl - '("--ghc-option=-ferror-spans" - "--ghc-options=-dynamic") - dante-repl-command-line '("cabal" "v2-repl" dante-target "--ghc-options=-dynamic"))) - (use-package! hindent :hook (haskell-mode . hindent-mode)) #+end_src diff --git a/config/doom/init.el b/config/doom/init.el index 5ba67ea..15518b3 100644 --- a/config/doom/init.el +++ b/config/doom/init.el @@ -131,7 +131,7 @@ ;;fstar ; (dependent) types and (monadic) effects and Z3 ;;gdscript ; the language you waited for ;;(go +lsp) ; the hipster dialect - (haskell +dante) ; a language that's lazier than I am + (haskell +lsp) ; a language that's lazier than I am ;;hy ; readability of scheme w/ speed of python ;;idris ; a language you can depend on ;;json ; At least it ain't XML -- cgit v1.2.3