2020-02-19 23:07:30 +00:00
|
|
|
;;; packages.el --- Racket Layer packages File for Spacemacs
|
2018-11-19 21:07:53 +00:00
|
|
|
;;
|
2021-03-22 20:11:29 +00:00
|
|
|
;; Copyright (c) 2012-2021 Sylvain Benner & Contributors
|
2018-11-19 21:07:53 +00:00
|
|
|
;;
|
|
|
|
|
;; Author: Sylvain Benner <sylvain.benner@gmail.com>
|
|
|
|
|
;; URL: https://github.com/syl20bnr/spacemacs
|
|
|
|
|
;;
|
|
|
|
|
;; This file is not part of GNU Emacs.
|
|
|
|
|
;;
|
2021-03-24 03:31:44 +00:00
|
|
|
;; This program is free software; you can redistribute it and/or modify
|
|
|
|
|
;; it under the terms of the GNU General Public License as published by
|
|
|
|
|
;; the Free Software Foundation, either version 3 of the License, or
|
|
|
|
|
;; (at your option) any later version.
|
|
|
|
|
;;
|
|
|
|
|
;; This program is distributed in the hope that it will be useful,
|
|
|
|
|
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
;; GNU General Public License for more details.
|
|
|
|
|
;;
|
|
|
|
|
;; You should have received a copy of the GNU General Public License
|
|
|
|
|
;; along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
2018-11-19 21:07:53 +00:00
|
|
|
|
2015-04-19 03:40:24 +00:00
|
|
|
(setq racket-packages
|
2018-11-20 19:55:37 +00:00
|
|
|
'(
|
|
|
|
|
company
|
|
|
|
|
company-quickhelp
|
|
|
|
|
ggtags
|
|
|
|
|
counsel-gtags
|
|
|
|
|
evil-cleverparens
|
|
|
|
|
helm-gtags
|
|
|
|
|
racket-mode
|
|
|
|
|
))
|
2015-04-09 04:40:49 +00:00
|
|
|
|
|
|
|
|
(defun racket/post-init-company ()
|
|
|
|
|
;; this is the only thing to do to enable company in racket-mode
|
|
|
|
|
;; because racket-mode handle everything for us when company
|
|
|
|
|
;; is loaded.
|
|
|
|
|
(add-hook 'racket-mode-hook 'company-mode))
|
|
|
|
|
|
|
|
|
|
(defun racket/post-init-company-quickhelp ()
|
|
|
|
|
;; Bug exists in Racket company backend that opens docs in new window when
|
|
|
|
|
;; company-quickhelp calls it. Note hook is appendended for proper ordering.
|
|
|
|
|
(add-hook 'company-mode-hook
|
|
|
|
|
'(lambda ()
|
2016-02-04 02:02:32 +00:00
|
|
|
(when (and (equal major-mode 'racket-mode)
|
|
|
|
|
(bound-and-true-p company-quickhelp-mode))
|
2015-04-09 04:40:49 +00:00
|
|
|
(company-quickhelp-mode -1))) t))
|
2015-03-25 23:16:55 +00:00
|
|
|
|
2016-04-05 04:08:34 +00:00
|
|
|
(defun racket/post-init-ggtags ()
|
2016-08-15 19:24:44 +00:00
|
|
|
(add-hook 'racket-mode-local-vars-hook #'spacemacs/ggtags-mode-enable))
|
2016-04-05 04:08:34 +00:00
|
|
|
|
2017-08-26 21:18:09 +00:00
|
|
|
(defun racket/post-init-counsel-gtags ()
|
|
|
|
|
(spacemacs/counsel-gtags-define-keys-for-mode 'racket-mode))
|
|
|
|
|
|
2018-01-04 06:34:23 +00:00
|
|
|
(defun racket/pre-init-evil-cleverparens ()
|
|
|
|
|
(spacemacs|use-package-add-hook evil-cleverparens
|
|
|
|
|
:pre-init
|
|
|
|
|
(add-to-list 'evil-lisp-safe-structural-editing-modes 'racket-mode)))
|
|
|
|
|
|
2016-04-05 04:08:34 +00:00
|
|
|
(defun racket/post-init-helm-gtags ()
|
|
|
|
|
(spacemacs/helm-gtags-define-keys-for-mode 'racket-mode))
|
|
|
|
|
|
2015-03-25 23:16:55 +00:00
|
|
|
(defun racket/init-racket-mode ()
|
|
|
|
|
(use-package racket-mode
|
2018-03-04 04:37:53 +00:00
|
|
|
:defer t
|
2016-08-13 13:43:37 +00:00
|
|
|
:init
|
|
|
|
|
(progn
|
2020-05-10 00:42:02 +00:00
|
|
|
(spacemacs/register-repl 'racket-mode 'racket-repl "racket")
|
|
|
|
|
(add-hook 'racket-mode-hook 'racket-xp-mode))
|
2015-03-25 23:16:55 +00:00
|
|
|
:config
|
|
|
|
|
(progn
|
2015-03-28 03:37:33 +00:00
|
|
|
;; smartparens configuration
|
2015-09-29 05:07:57 +00:00
|
|
|
(with-eval-after-load 'smartparens
|
|
|
|
|
(add-to-list 'sp--lisp-modes 'racket-mode)
|
|
|
|
|
(when (fboundp 'sp-local-pair)
|
|
|
|
|
(sp-local-pair 'racket-mode "'" nil :actions nil)
|
|
|
|
|
(sp-local-pair 'racket-mode "`" nil :actions nil)))
|
2015-03-28 03:37:33 +00:00
|
|
|
|
|
|
|
|
(defun spacemacs/racket-test-with-coverage ()
|
|
|
|
|
"Call `racket-test' with universal argument."
|
|
|
|
|
(interactive)
|
|
|
|
|
(racket-test t))
|
|
|
|
|
|
2015-07-31 15:30:27 +00:00
|
|
|
(defun spacemacs/racket-run-and-switch-to-repl ()
|
|
|
|
|
"Call `racket-run-and-switch-to-repl' and enable
|
|
|
|
|
`insert state'."
|
|
|
|
|
(interactive)
|
|
|
|
|
(racket-run-and-switch-to-repl)
|
Racket: actually switch to insert state in REPL
As per the README, `SPC m s B' should put the REPL buffer in insert state, but
the keybinding as defined puts the racket file itself into insert state, not the
REPL. This means that on returning to the racket file buffer, the cursor is
left in insert state, which means it is easy to accidentally add unwanted text
into the file.
To fix this, a `with-current-buffer' wraps the `evil-insert-state', so that
insert state is enabled in the REPL buffer, not the file being edited.
The first time this is run, `racket-run-and-switch-to-repl' is asynchronous of
`evil-insert-state', so trying to get the Racket REPL buffer will error. To fix
this problem, we wrap the `with-current-buffer' with a check to determine that
the Racket REPL buffer is live. The first time the Racket REPL buffer is
created, the contents will not run, since the Racket REPL buffer will not yet be
live. This is fine, since we enter the REPL in insert state automagically.
This change does not need to be done to `spacemacs/racket-send-last-sexp-focus',
`spacemacs/racket-send-definition-focus', or
`spacemacs/racket-send-region-focus' since these functions follow all of their
racket-send functions with `(racket-repl)' before calling `evil-insert-state'.
2020-06-10 15:17:10 +00:00
|
|
|
(when (buffer-live-p (get-buffer racket-repl-buffer-name))
|
|
|
|
|
;; We don't need to worry about the first time the REPL is opened,
|
|
|
|
|
;; since the first time, insert state is automatically entered (since
|
|
|
|
|
;; it's registered as a REPL?).
|
|
|
|
|
(with-current-buffer racket-repl-buffer-name
|
|
|
|
|
(evil-insert-state))))
|
2015-07-31 15:30:27 +00:00
|
|
|
|
2015-03-28 03:37:33 +00:00
|
|
|
(defun spacemacs/racket-send-last-sexp-focus ()
|
|
|
|
|
"Call `racket-send-last-sexp' and switch to REPL buffer in
|
|
|
|
|
`insert state'."
|
|
|
|
|
(interactive)
|
|
|
|
|
(racket-send-last-sexp)
|
|
|
|
|
(racket-repl)
|
Use evil in holy-mode
Motivation
While disabling Evil in holy-mode makes its implementation shorter and
sounds elegant on the paper, in practice it puts a big burden on the
configuration parts which need to know if Evil is enable or not. This is
a bad separation of concerns and the bunch of fixes that we were forced
to do in the past weeks shows this issue. Those fixes were about
removing the knowledge of the activation of Evil by implementing new
dispatching functions to be used by layers, this is cumbersome and makes
Spacemacs layer configuration more subtle which is not good. There was
additional bad consequences of the removal of Evil state like the
impossibility to use Evil lisp state or iedit states, or we would have
been forced to implement a temporary activation of Evil which is
awkward.
Instead I reintroduce Evil as the central piece of Spacemacs design thus
Evil is now re-enabled in holy-mode. It provides the abstraction we need
to isolate editing styles and be able to grow the Spacemacs
configuration coverage sanely. Layers don't need to check whether the
holy mode is active or not and they don't need to know if Evil is
available (it is always available). We also don't need to write
additional dispatching functions, this is the job of Evil, and I think
it provides everything for this. Ideally configuration layer should be
implemented with only Evil in mind and the holy-mode (and hybrid-mode)
should magically make it work for Emacs style users, for instance we can
freely use `evil-insert-state` anywhere in the code without any guard.
Evil is now even more part of Spacemacs, we can really say that
Spacemacs is Emacs+Evil which is now an indivisible pair. Spacemacs
needed this stable API to continue on the right track.
While these changes should be rather transparent to the user, I'm sorry
for this experimental period, I failed to see all the implications of
such a change, I was just excited about the possibility to make Evil
optional. The reality is that Spacemacs has to embrace it and keep its
strong position on being Emacs+Evil at the core.
Implementation
- insert, motion and normal states are forced to emacs state using an
advice on `evil-insert-state`, `evil-motion-state` and
`evil-normal-state` respectively. These functions can be used freely in
the layer configuration.
- A new general hook `spacemacs-editing-style-hook` allow to hook any
code that need to be configured based on the editing style. Functions
hooked to this hook takes the current style as parameter, this
basically generalize the hook used to setup hjkl navigation bindings.
- ESC has been removed from the emacs state map.
- Revert unneeded changes
- Revert "evil: enter insert-state only from normal-state"
commit bdd702dfbe302206bbc989c7a0832daba087a781.
- Revert "avoid being evil in deft with emacs editing style"
commit f3a16f49ed27cc8cf05f23f93b006d6e04235381.
Additional changes
All editing style packages have been moved to a layer called
`spacemacs-editing-styles`
Notes
I did not have time to attack hybrid mode, I should be able to do it
later.
2016-03-13 23:41:18 +00:00
|
|
|
(evil-insert-state))
|
2015-03-28 03:37:33 +00:00
|
|
|
|
|
|
|
|
(defun spacemacs/racket-send-definition-focus ()
|
|
|
|
|
"Call `racket-send-definition' and switch to REPL buffer in
|
|
|
|
|
`insert state'."
|
|
|
|
|
(interactive)
|
|
|
|
|
(racket-send-definition)
|
|
|
|
|
(racket-repl)
|
Use evil in holy-mode
Motivation
While disabling Evil in holy-mode makes its implementation shorter and
sounds elegant on the paper, in practice it puts a big burden on the
configuration parts which need to know if Evil is enable or not. This is
a bad separation of concerns and the bunch of fixes that we were forced
to do in the past weeks shows this issue. Those fixes were about
removing the knowledge of the activation of Evil by implementing new
dispatching functions to be used by layers, this is cumbersome and makes
Spacemacs layer configuration more subtle which is not good. There was
additional bad consequences of the removal of Evil state like the
impossibility to use Evil lisp state or iedit states, or we would have
been forced to implement a temporary activation of Evil which is
awkward.
Instead I reintroduce Evil as the central piece of Spacemacs design thus
Evil is now re-enabled in holy-mode. It provides the abstraction we need
to isolate editing styles and be able to grow the Spacemacs
configuration coverage sanely. Layers don't need to check whether the
holy mode is active or not and they don't need to know if Evil is
available (it is always available). We also don't need to write
additional dispatching functions, this is the job of Evil, and I think
it provides everything for this. Ideally configuration layer should be
implemented with only Evil in mind and the holy-mode (and hybrid-mode)
should magically make it work for Emacs style users, for instance we can
freely use `evil-insert-state` anywhere in the code without any guard.
Evil is now even more part of Spacemacs, we can really say that
Spacemacs is Emacs+Evil which is now an indivisible pair. Spacemacs
needed this stable API to continue on the right track.
While these changes should be rather transparent to the user, I'm sorry
for this experimental period, I failed to see all the implications of
such a change, I was just excited about the possibility to make Evil
optional. The reality is that Spacemacs has to embrace it and keep its
strong position on being Emacs+Evil at the core.
Implementation
- insert, motion and normal states are forced to emacs state using an
advice on `evil-insert-state`, `evil-motion-state` and
`evil-normal-state` respectively. These functions can be used freely in
the layer configuration.
- A new general hook `spacemacs-editing-style-hook` allow to hook any
code that need to be configured based on the editing style. Functions
hooked to this hook takes the current style as parameter, this
basically generalize the hook used to setup hjkl navigation bindings.
- ESC has been removed from the emacs state map.
- Revert unneeded changes
- Revert "evil: enter insert-state only from normal-state"
commit bdd702dfbe302206bbc989c7a0832daba087a781.
- Revert "avoid being evil in deft with emacs editing style"
commit f3a16f49ed27cc8cf05f23f93b006d6e04235381.
Additional changes
All editing style packages have been moved to a layer called
`spacemacs-editing-styles`
Notes
I did not have time to attack hybrid mode, I should be able to do it
later.
2016-03-13 23:41:18 +00:00
|
|
|
(evil-insert-state))
|
2015-03-28 03:37:33 +00:00
|
|
|
|
|
|
|
|
(defun spacemacs/racket-send-region-focus (start end)
|
|
|
|
|
"Call `racket-send-region' and switch to REPL buffer in
|
|
|
|
|
`insert state'."
|
|
|
|
|
(interactive "r")
|
|
|
|
|
(racket-send-region start end)
|
|
|
|
|
(racket-repl)
|
Use evil in holy-mode
Motivation
While disabling Evil in holy-mode makes its implementation shorter and
sounds elegant on the paper, in practice it puts a big burden on the
configuration parts which need to know if Evil is enable or not. This is
a bad separation of concerns and the bunch of fixes that we were forced
to do in the past weeks shows this issue. Those fixes were about
removing the knowledge of the activation of Evil by implementing new
dispatching functions to be used by layers, this is cumbersome and makes
Spacemacs layer configuration more subtle which is not good. There was
additional bad consequences of the removal of Evil state like the
impossibility to use Evil lisp state or iedit states, or we would have
been forced to implement a temporary activation of Evil which is
awkward.
Instead I reintroduce Evil as the central piece of Spacemacs design thus
Evil is now re-enabled in holy-mode. It provides the abstraction we need
to isolate editing styles and be able to grow the Spacemacs
configuration coverage sanely. Layers don't need to check whether the
holy mode is active or not and they don't need to know if Evil is
available (it is always available). We also don't need to write
additional dispatching functions, this is the job of Evil, and I think
it provides everything for this. Ideally configuration layer should be
implemented with only Evil in mind and the holy-mode (and hybrid-mode)
should magically make it work for Emacs style users, for instance we can
freely use `evil-insert-state` anywhere in the code without any guard.
Evil is now even more part of Spacemacs, we can really say that
Spacemacs is Emacs+Evil which is now an indivisible pair. Spacemacs
needed this stable API to continue on the right track.
While these changes should be rather transparent to the user, I'm sorry
for this experimental period, I failed to see all the implications of
such a change, I was just excited about the possibility to make Evil
optional. The reality is that Spacemacs has to embrace it and keep its
strong position on being Emacs+Evil at the core.
Implementation
- insert, motion and normal states are forced to emacs state using an
advice on `evil-insert-state`, `evil-motion-state` and
`evil-normal-state` respectively. These functions can be used freely in
the layer configuration.
- A new general hook `spacemacs-editing-style-hook` allow to hook any
code that need to be configured based on the editing style. Functions
hooked to this hook takes the current style as parameter, this
basically generalize the hook used to setup hjkl navigation bindings.
- ESC has been removed from the emacs state map.
- Revert unneeded changes
- Revert "evil: enter insert-state only from normal-state"
commit bdd702dfbe302206bbc989c7a0832daba087a781.
- Revert "avoid being evil in deft with emacs editing style"
commit f3a16f49ed27cc8cf05f23f93b006d6e04235381.
Additional changes
All editing style packages have been moved to a layer called
`spacemacs-editing-styles`
Notes
I did not have time to attack hybrid mode, I should be able to do it
later.
2016-03-13 23:41:18 +00:00
|
|
|
(evil-insert-state))
|
2015-03-28 03:37:33 +00:00
|
|
|
|
2020-05-10 00:42:02 +00:00
|
|
|
(dolist (prefix '(("mE" . "errors")
|
|
|
|
|
("mg" . "navigation")
|
2016-02-22 22:26:13 +00:00
|
|
|
("mh" . "doc")
|
|
|
|
|
("mi" . "insert")
|
2020-05-10 00:42:02 +00:00
|
|
|
("mr" . "refactor")
|
2016-02-22 22:26:13 +00:00
|
|
|
("ms" . "repl")
|
|
|
|
|
("mt" . "tests")))
|
|
|
|
|
(spacemacs/declare-prefix-for-mode 'racket-mode (car prefix) (cdr prefix)))
|
|
|
|
|
|
2015-11-18 00:38:05 +00:00
|
|
|
(spacemacs/set-leader-keys-for-major-mode 'racket-mode
|
2020-05-10 00:42:02 +00:00
|
|
|
;; errors
|
|
|
|
|
"En" 'racket-xp-next-error
|
|
|
|
|
"EN" 'racket-xp-previous-error
|
2015-03-28 03:37:33 +00:00
|
|
|
;; navigation
|
2015-11-18 00:38:05 +00:00
|
|
|
"g`" 'racket-unvisit
|
2020-05-10 00:42:02 +00:00
|
|
|
"gg" 'racket-xp-visit-definition
|
|
|
|
|
"gn" 'racket-xp-next-definition
|
|
|
|
|
"gN" 'racket-xp-previous-definition
|
2015-11-18 00:38:05 +00:00
|
|
|
"gm" 'racket-visit-module
|
|
|
|
|
"gr" 'racket-open-require-path
|
2020-05-10 00:42:02 +00:00
|
|
|
"gu" 'racket-xp-next-use
|
|
|
|
|
"gU" 'racket-xp-previous-use
|
2015-03-28 03:37:33 +00:00
|
|
|
;; doc
|
2020-05-10 00:42:02 +00:00
|
|
|
"ha" 'racket-xp-annotate
|
|
|
|
|
"hd" 'racket-xp-describe
|
|
|
|
|
"hh" 'racket-xp-documentation
|
2015-03-28 03:37:33 +00:00
|
|
|
;; insert
|
2015-11-18 00:38:05 +00:00
|
|
|
"il" 'racket-insert-lambda
|
2020-05-10 00:42:02 +00:00
|
|
|
;; refactor
|
|
|
|
|
"mr" 'racket-xp-rename
|
2015-03-28 03:37:33 +00:00
|
|
|
;; REPL
|
2016-01-26 16:31:15 +00:00
|
|
|
"'" 'racket-repl
|
2015-11-18 00:38:05 +00:00
|
|
|
"sb" 'racket-run
|
|
|
|
|
"sB" 'spacemacs/racket-run-and-switch-to-repl
|
|
|
|
|
"se" 'racket-send-last-sexp
|
|
|
|
|
"sE" 'spacemacs/racket-send-last-sexp-focus
|
|
|
|
|
"sf" 'racket-send-definition
|
|
|
|
|
"sF" 'spacemacs/racket-send-definition-focus
|
|
|
|
|
"si" 'racket-repl
|
|
|
|
|
"sr" 'racket-send-region
|
|
|
|
|
"sR" 'spacemacs/racket-send-region-focus
|
2015-03-28 03:37:33 +00:00
|
|
|
;; Tests
|
2015-11-18 00:38:05 +00:00
|
|
|
"tb" 'racket-test
|
|
|
|
|
"tB" 'spacemacs/racket-test-with-coverage)
|
2016-11-01 11:56:03 +00:00
|
|
|
(define-key racket-mode-map (kbd "H-r") 'racket-run))))
|
2020-05-10 00:42:02 +00:00
|
|
|
|
