From 29c7632fd278e6d4228290956534a1195c488fad Mon Sep 17 00:00:00 2001 From: Griffin Smith Date: Tue, 18 Sep 2018 10:18:20 -0400 Subject: Misc haskell stuff, snippets, etc --- +bindings.el | 19 +++++++++++-------- 1 file changed, 11 insertions(+), 8 deletions(-) (limited to '+bindings.el') diff --git a/+bindings.el b/+bindings.el index bfb40424b3..eb7b14365b 100644 --- a/+bindings.el +++ b/+bindings.el @@ -1022,17 +1022,20 @@ private/hlissner/snippets." (map! (:map haskell-mode-map - :n "K" 'lsp-info-under-point - :n "g d" 'lsp-ui-peek-find-definitions - :n "g r" 'lsp-ui-peek-find-references - ;; :n "g SPC" 'intero-repl-load - :n "g \\" '+haskell/repl - ;; :n "g y" 'intero-type-at + ;; :n "K" 'lsp-info-under-point + ;; :n "g d" 'lsp-ui-peek-find-definitions + ;; :n "g r" 'lsp-ui-peek-find-references + ;; :n "g \\" '+haskell/repl + :n "K" 'intero-info + :n "g d" 'intero-goto-definition + :n "g SPC" 'intero-repl-load + :n "g \\" 'intero-repl + :n "g y" 'intero-type-at ;; :n "g RET" 'grfn/run-sputnik-test-for-file (:localleader - :desc "Apply action" :n "a" 'lsp-execute-code-action - :desc "Rename symbol" :n "r" 'lsp-rename)) + :desc "Apply action" :n "e" 'intero-repl-eval-region + :desc "Rename symbol" :n "r" 'intero-apply-suggestions)) (:after agda2-mode (:map agda2-mode-map -- cgit 1.4.1