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 +- home-dots/dot-zshrc | 1 + 3 files changed, 2 insertions(+), 7 deletions(-) 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 diff --git a/home-dots/dot-zshrc b/home-dots/dot-zshrc index 582508e..e521ca7 100644 --- a/home-dots/dot-zshrc +++ b/home-dots/dot-zshrc @@ -124,3 +124,4 @@ alias mykeys='setxkbmap -I~/.config/xkb/ oscar -option caps:escape -print | xkbc export PATH="$HOME/.cargo/bin:$PATH" if [ -e /home/titan/.nix-profile/etc/profile.d/nix.sh ]; then . /home/titan/.nix-profile/etc/profile.d/nix.sh; fi # added by Nix installer +[ -f "/home/titan/.ghcup/env" ] && source "/home/titan/.ghcup/env" # ghcup-env -- cgit v1.2.3