From ddd39156cf91e9b042be2b2e9c1597c626f1ed9e Mon Sep 17 00:00:00 2001
From: jao <jao@gnu.org>
Date: Thu, 15 Apr 2021 19:31:52 +0100
Subject: really disabling lsp/flycheck

---
 init.org | 17 ++++++++++-------
 1 file changed, 10 insertions(+), 7 deletions(-)

(limited to 'init.org')

diff --git a/init.org b/init.org
index ea849c6..4852296 100644
--- a/init.org
+++ b/init.org
@@ -2787,6 +2787,7 @@
       (jao-define-attached-buffer "\\*eldoc\\( .*\\)?\\*" 0.33)
 
       (use-package yasnippet
+        :disabled t
         :ensure t
         :hook ((erlang-mode . yas-minor-mode-on)
                (erlixir-mode . yas-minor-mode-on))
@@ -2804,7 +2805,9 @@
                (erlang-mode . lsp))
         :diminish " 𝛌")
 
-      (use-package lsp-haskell :ensure t)
+      (use-package lsp-haskell
+        :disabled t
+        :ensure t)
 
       (use-package dante
         :disabled t
@@ -3197,11 +3200,11 @@
       ;; needs cabal install apply-refact
       (use-package hlint-refactor
         :ensure t
-        :after (flycheck haskell-mode)
+        :after (haskell-mode)
         :diminish ""
-        :bind (:map flycheck-command-map
-                    ("r" . hlint-refactor-refactor-at-point)
-                    ("R" . hlint-refactor-refactor-buffer))
+        ;; :bind (:map flycheck-command-map
+        ;;             ("r" . hlint-refactor-refactor-at-point)
+        ;;             ("R" . hlint-refactor-refactor-buffer))
         :hook (haskell-mode . hlint-refactor-mode))
     #+end_src
 *** Prolog
@@ -3238,14 +3241,14 @@
       (use-package ein :ensure t :disabled t)
       #+END_SRC
 *** Coq
-    #+BEGIN_SRC emacs-lisp
+    #+begin_src emacs-lisp :load no
       (use-package proof-general
         :ensure t)
 
       (use-package company-coq
         :ensure t
         :hook (coq-mode . company-coq-mode))
-    #+END_SRC
+    #+end_src
 *** JSON
     #+BEGIN_SRC emacs-lisp
       (use-package json-mode :ensure t)
-- 
cgit v1.2.3