From e0129d02ffe3e1d43e0a62724298757a47a3c961 Mon Sep 17 00:00:00 2001 From: Josh Freckleton Date: Sun, 12 Dec 2021 17:48:39 -0800 Subject: [PATCH 1/3] add emacs configuration example --- docs/configuration.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/docs/configuration.md b/docs/configuration.md index 169a722475..797ed9b730 100644 --- a/docs/configuration.md +++ b/docs/configuration.md @@ -378,6 +378,18 @@ various parts of the Emacs integration. In particular, `lsp-haskell` provides customization options for the `haskell-language-server`-specific parts, such as the path to the server executable. +#### Vanilla Emacs + +If you're using `lsp-mode` generic plugin configuration can be added using `lsp--set-configuration`: + +```emacs-lisp +(add-hook 'lsp-after-initialize-hook + '(lambda () + (lsp--set-configuration + `(:haskell (:plugin (:tactics (:config (:timeout_duration 5))))) + ))) +``` + #### [doom-emacs](https://github.com/hlissner/doom-emacs/tree/develop/modules/lang/haskell#module-flags) Manual installation of packages is not required. From b1ddab6d97d63d563a5fc3788803fc8b0924d122 Mon Sep 17 00:00:00 2001 From: Josh Freckleton Date: Mon, 13 Dec 2021 09:23:49 -0800 Subject: [PATCH 2/3] ` -> ' --- docs/configuration.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/configuration.md b/docs/configuration.md index 797ed9b730..f06bbb7c34 100644 --- a/docs/configuration.md +++ b/docs/configuration.md @@ -386,7 +386,7 @@ If you're using `lsp-mode` generic plugin configuration can be added using `lsp- (add-hook 'lsp-after-initialize-hook '(lambda () (lsp--set-configuration - `(:haskell (:plugin (:tactics (:config (:timeout_duration 5))))) + '(:haskell (:plugin (:tactics (:config (:timeout_duration 5))))) ))) ``` From c6065259e294e397b285dc6bed8c7b38d3a9aefd Mon Sep 17 00:00:00 2001 From: Josh Freckleton Date: Mon, 13 Dec 2021 09:28:36 -0800 Subject: [PATCH 3/3] tweak docs a bit more --- docs/configuration.md | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/docs/configuration.md b/docs/configuration.md index f06bbb7c34..52f93dde51 100644 --- a/docs/configuration.md +++ b/docs/configuration.md @@ -376,11 +376,7 @@ are included below. Make sure to check the READMEs of each of these packages, which explain how to configure the various parts of the Emacs integration. In particular, `lsp-haskell` provides customization options for the `haskell-language-server`-specific parts, -such as the path to the server executable. - -#### Vanilla Emacs - -If you're using `lsp-mode` generic plugin configuration can be added using `lsp--set-configuration`: +such as the path to the server executable, or configuring the tactics plugin. For example: ```emacs-lisp (add-hook 'lsp-after-initialize-hook