TakeV/spacemacs
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
This repository has been archived on 2024-10-22. You can view files and clone it, but cannot push or open issues or pull requests.
spacemacs/layers/+lang/ocaml/packages.el

168 lines
5.4 KiB
EmacsLisp
Raw Normal View History

Add ocaml layer
2015-02-07 17:37:53 +00:00
;;; packages.el --- ocaml Layer packages File for Spacemacs
;;
Happy New Year 2018!
2018-01-04 07:00:25 +00:00
;; Copyright (c) 2012-2018 Sylvain Benner & Contributors
Add ocaml layer
2015-02-07 17:37:53 +00:00
;;
;; Author: Sylvain Benner <sylvain.benner@gmail.com>
;; URL: https://github.com/syl20bnr/spacemacs
;;
;; This file is not part of GNU Emacs.
;;
;;; License: GPLv3
Reload dotfile and layer anywhere with `SPC f e R` Replace `SPC m c c` and `C-c C-c` in the dotfile Resolve #1210
2015-04-19 03:40:24 +00:00
(setq ocaml-packages
Unify packages list parentheses style problem: some layer packages lists have the open and closing parentheses on the same line as the first and last listed package, but most seem to have them on a separate lines. solution: put the open and close parentheses on separate lines, except for lists with only a single package, they are written on the same line as the variable name and parentheses. fix the lists indentation
2018-11-20 19:55:37 +00:00
'(
;; auto-complete
company
flycheck
flycheck-ocaml
ggtags
counsel-gtags
helm-gtags
merlin
ocp-indent
smartparens
tuareg
utop
))
Add ocaml layer
2015-02-07 17:37:53 +00:00
ocaml: refactor layer to make it better for spacemacs idioms Fix activation of auto-complete Sort packages Improvement with hook usage Move opam init function in funcs.el and call it only in tuareg config Fix errors if opam is not installed, warn if it has not been found Small edition of the README Rename additional REPL functions with spacemacs prefix
2015-05-12 03:45:26 +00:00
(defun ocaml/post-init-company ()
fix misused function, `merlin' is a package not a layer
2017-07-23 16:29:18 +00:00
(when (configuration-layer/package-used-p 'merlin)
Refactor and simplify company backends declaration Enabling a company backend for a specific mode was a tedious tasks with code scattered at different locations, one for local variable definitions, one for company hook function definitions and another where the backends were pushed to the local variables (which was problematic, since we ended up pushing the same backends over and over again with `SPC f e R`, pushes have been replaced by add-to-list calls in the new macro). All these steps are now put together at one place with the new macro spacemacs|add-company-backends, check its docstring for more info on its arguments. This macro also allows to define arbitrary buffer local variables to tune company for specific modes (similar to layer variables via a keyword :variables) The code related to company backends management has been moved to the auto-completion layer in the funcs.el file. A nice side effect of this move is that it enforces correct encapsulation of company backends related code. We can now easily detect if there is some configuration leakage when the auto-completion layer is not used. But we loose macro expansion at file loading time (not sue it is a big concern though). The function spacemacs|enable-auto-complete was never used so it has been deleted which led to the deletion of the now empty file core-auto-completion.el. The example in LAYERS.org regarding auto-completion is now out of date and has been deleted. An example to setup auto-completion is provided in the README.org file of the auto-completion layer.
2017-01-02 05:39:04 +00:00
(spacemacs|add-company-backends
:backends merlin-company-backend
:modes merlin-mode
:variables merlin-completion-with-doc t)))
Add ocaml layer
2015-02-07 17:37:53 +00:00
core: change <function>p to <function>-p suffixes for consistency Also defined aliases for backward compatibility with `usedp` functions.
2017-07-02 13:48:06 +00:00
(when (configuration-layer/layer-used-p 'syntax-checking)
Expand gtags use to many more languages
2016-04-05 04:08:34 +00:00
(defun ocaml/post-init-flycheck ()
enable flycheck for tuareg mode rather than merlin mode merlin mode doesn't actually exist
2018-01-21 11:06:53 +00:00
(spacemacs/enable-flycheck 'tuareg-mode))
Expand gtags use to many more languages
2016-04-05 04:08:34 +00:00
(defun ocaml/init-flycheck-ocaml ()
(use-package flycheck-ocaml
core: change <function>p to <function>-p suffixes for consistency Also defined aliases for backward compatibility with `usedp` functions.
2017-07-02 13:48:06 +00:00
:if (configuration-layer/package-used-p 'flycheck)
Revert "Defer packages by default using use-package-always-defer" This reverts commit 29c78ce841ee5a99bb4077a2862afc96c8136107 and all other fixes that have been made afterwards. The motivation is that use-package is seen by many as a replacement for `require`. Is use-package always defer the loading of packages then is breaks this use case, this does not respect POLA so even if it was making Spacemacs loading faster (up to 3s faster on some startup on my machine) we just cannot use it, it would be irresponsible. Spacemacs should be easy to use, loading performance will come with time but it is not a priority.
2018-03-04 04:37:53 +00:00
:defer t
Expand gtags use to many more languages
2016-04-05 04:08:34 +00:00
:init
(progn
(with-eval-after-load 'merlin
(setq merlin-error-after-save nil)
(flycheck-ocaml-setup))))))
(defun ocaml/post-init-ggtags ()
Further improve gtags layer - Add option to disable by default - Use local-vars hook to allow per-project enable/disable - Don’t enable helm-gtags-mode (no need) - Move emacs bindings from helm-gtags-mode-map to ggtags-mode-map
2016-08-15 19:24:44 +00:00
(add-hook 'ocaml-mode-local-vars-hook #'spacemacs/ggtags-mode-enable))
Expand gtags use to many more languages
2016-04-05 04:08:34 +00:00
Add ivy support to the gtags layer It would be much better to have a single function for each layer that initializes ggtags, helm-gtags and counsel-gtags for a mode.
2017-08-26 21:18:09 +00:00
(defun ocaml/post-init-counsel-gtags ()
(spacemacs/counsel-gtags-define-keys-for-mode 'ocaml-mode))
Expand gtags use to many more languages
2016-04-05 04:08:34 +00:00
(defun ocaml/post-init-helm-gtags ()
(spacemacs/helm-gtags-define-keys-for-mode 'ocaml-mode))
ocaml: refactor layer to make it better for spacemacs idioms Fix activation of auto-complete Sort packages Improvement with hook usage Move opam init function in funcs.el and call it only in tuareg config Fix errors if opam is not installed, warn if it has not been found Small edition of the README Rename additional REPL functions with spacemacs prefix
2015-05-12 03:45:26 +00:00
(defun ocaml/init-merlin ()
(use-package merlin
Revert "Defer packages by default using use-package-always-defer" This reverts commit 29c78ce841ee5a99bb4077a2862afc96c8136107 and all other fixes that have been made afterwards. The motivation is that use-package is seen by many as a replacement for `require`. Is use-package always defer the loading of packages then is breaks this use case, this does not respect POLA so even if it was making Spacemacs loading faster (up to 3s faster on some startup on my machine) we just cannot use it, it would be irresponsible. Spacemacs should be easy to use, loading performance will come with time but it is not a priority.
2018-03-04 04:37:53 +00:00
:defer t
ocaml: use utop and ocp-indent plugins utop as REPL ocp-indent for indentation
2015-04-18 16:22:03 +00:00
:init
ocaml: refactor layer to make it better for spacemacs idioms Fix activation of auto-complete Sort packages Improvement with hook usage Move opam init function in funcs.el and call it only in tuareg config Fix errors if opam is not installed, warn if it has not been found Small edition of the README Rename additional REPL functions with spacemacs prefix
2015-05-12 03:45:26 +00:00
(progn
Replace hooks by regular list for jump lists Hook semantic is to be used with run-hooks API and run all hooks sequentially, jump list semantic is different since the running functions are not guaranteed to be executed so we prefer using regular list API to manage jump-lists.
2016-09-04 16:24:43 +00:00
(add-to-list 'spacemacs-jump-handlers-tuareg-mode
Refactor jump to definition This commit defines: - spacemacs-default-jump-handlers: a list of functions that can jump to definition in ALL modes. - spacemacs-jump-handlers-MODE: a list of functions that can jump to definition in MODE. - spacemacs-jump-handlers: a buffer-local list of functions that can jump to definition. This is made up of the values of the two previous variables whenever a given major mode is activated. - spacemacs/jump-to-definition: a function that tries each function in spacemacs-jump-handlers in order, and stops when one of them takes us somewhere new. - spacemacs|define-jump-handlers: a macro that * defines spacemacs-jump-handlers-MODE, possibly filled with initial functions * defines a function that is added to the hook of the given MODE * binds “SPC m g g” of that MODE to spacemacs/jump-to-definition This is an attempt to harmonize all the different approaches to jumping. Specifically, - Existing intelligent jump packages that work for only a single mode should go to the beginning of spacemacs-jump-handlers-MODE. E.g. anaconda for python, ensime for scala, etc. - Packages like gtags that work for several modes (but potentially not all) and which is dumber than the intelligent jumpers should go the the END of spacemacs-jump-handlers-MODE. - Packages like dumb-jump that work for all modes should go to spacemacs-default-jump-handlers. In all cases the order of the jump handlers in each list should be from most to least intelligent. Fixes #6619
2016-08-13 13:43:37 +00:00
'spacemacs/merlin-locate)
ocaml: refactor layer to make it better for spacemacs idioms Fix activation of auto-complete Sort packages Improvement with hook usage Move opam init function in funcs.el and call it only in tuareg config Fix errors if opam is not installed, warn if it has not been found Small edition of the README Rename additional REPL functions with spacemacs prefix
2015-05-12 03:45:26 +00:00
(add-hook 'tuareg-mode-hook 'merlin-mode)
layers: Transition to new key bindings functions Removes dependence on evil-leader centralizing control over the method of key binding in core-keybindings.el
2015-11-18 00:38:05 +00:00
(spacemacs/set-leader-keys-for-major-mode 'tuareg-mode
"cp" 'merlin-project-check
"cv" 'merlin-goto-project-file
Move major specific error key bindings to SPC m E prefix Also add a convention for it.
2018-03-03 21:44:16 +00:00
"Ec" 'merlin-error-check
"En" 'merlin-error-next
"EN" 'merlin-error-prev
layers: Transition to new key bindings functions Removes dependence on evil-leader centralizing control over the method of key binding in core-keybindings.el
2015-11-18 00:38:05 +00:00
"gb" 'merlin-pop-stack
Refactor jump to definition This commit defines: - spacemacs-default-jump-handlers: a list of functions that can jump to definition in ALL modes. - spacemacs-jump-handlers-MODE: a list of functions that can jump to definition in MODE. - spacemacs-jump-handlers: a buffer-local list of functions that can jump to definition. This is made up of the values of the two previous variables whenever a given major mode is activated. - spacemacs/jump-to-definition: a function that tries each function in spacemacs-jump-handlers in order, and stops when one of them takes us somewhere new. - spacemacs|define-jump-handlers: a macro that * defines spacemacs-jump-handlers-MODE, possibly filled with initial functions * defines a function that is added to the hook of the given MODE * binds “SPC m g g” of that MODE to spacemacs/jump-to-definition This is an attempt to harmonize all the different approaches to jumping. Specifically, - Existing intelligent jump packages that work for only a single mode should go to the beginning of spacemacs-jump-handlers-MODE. E.g. anaconda for python, ensime for scala, etc. - Packages like gtags that work for several modes (but potentially not all) and which is dumber than the intelligent jumpers should go the the END of spacemacs-jump-handlers-MODE. - Packages like dumb-jump that work for all modes should go to spacemacs-default-jump-handlers. In all cases the order of the jump handlers in each list should be from most to least intelligent. Fixes #6619
2016-08-13 13:43:37 +00:00
"gG" 'spacemacs/merlin-locate-other-window
layers: Transition to new key bindings functions Removes dependence on evil-leader centralizing control over the method of key binding in core-keybindings.el
2015-11-18 00:38:05 +00:00
"gl" 'merlin-locate-ident
"gi" 'merlin-switch-to-ml
"gI" 'merlin-switch-to-mli
Add binding for merlin-occurrences Also fix typo for binding prefix
2016-07-07 07:22:31 +00:00
"go" 'merlin-occurrences
layers: Transition to new key bindings functions Removes dependence on evil-leader centralizing control over the method of key binding in core-keybindings.el
2015-11-18 00:38:05 +00:00
"hh" 'merlin-document
"ht" 'merlin-type-enclosing
"hT" 'merlin-type-expr
Add prefixes to the OCaml bindings
2016-05-16 09:33:14 +00:00
"rd" 'merlin-destruct)
(spacemacs/declare-prefix-for-mode 'tuareg-mode "mc" "compile/check")
Move major specific error key bindings to SPC m E prefix Also add a convention for it.
2018-03-03 21:44:16 +00:00
(spacemacs/declare-prefix-for-mode 'tuareg-mode "mE" "errors")
Add prefixes to the OCaml bindings
2016-05-16 09:33:14 +00:00
(spacemacs/declare-prefix-for-mode 'tuareg-mode "mg" "goto")
(spacemacs/declare-prefix-for-mode 'tuareg-mode "mh" "help")
Add binding for merlin-occurrences Also fix typo for binding prefix
2016-07-07 07:22:31 +00:00
(spacemacs/declare-prefix-for-mode 'tuareg-mode "mr" "refactor"))))
Define missing init functions
2015-04-03 21:35:33 +00:00
ocaml: use utop and ocp-indent plugins utop as REPL ocp-indent for indentation
2015-04-18 16:22:03 +00:00
(defun ocaml/init-ocp-indent ()
(use-package ocp-indent
Revert "Defer packages by default using use-package-always-defer" This reverts commit 29c78ce841ee5a99bb4077a2862afc96c8136107 and all other fixes that have been made afterwards. The motivation is that use-package is seen by many as a replacement for `require`. Is use-package always defer the loading of packages then is breaks this use case, this does not respect POLA so even if it was making Spacemacs loading faster (up to 3s faster on some startup on my machine) we just cannot use it, it would be irresponsible. Spacemacs should be easy to use, loading performance will come with time but it is not a priority.
2018-03-04 04:37:53 +00:00
:defer t
ocaml: use utop and ocp-indent plugins utop as REPL ocp-indent for indentation
2015-04-18 16:22:03 +00:00
:init
Add OCaml binding to indent buffer with ocp-indent
2016-05-16 09:13:22 +00:00
(add-hook 'tuareg-mode-hook 'ocp-indent-caml-mode-setup)
(spacemacs/set-leader-keys-for-major-mode 'tuareg-mode
"=" 'ocp-indent-buffer)))
ocaml: use utop and ocp-indent plugins utop as REPL ocp-indent for indentation
2015-04-18 16:22:03 +00:00
ocaml: move smartparens config to post-init function
2016-01-06 05:40:57 +00:00
(defun ocaml/post-init-smartparens ()
(with-eval-after-load 'smartparens
;; don't auto-close apostrophes (type 'a = foo) and backticks (`Foo)
(sp-local-pair 'tuareg-mode "'" nil :actions nil)
(sp-local-pair 'tuareg-mode "`" nil :actions nil)))
ocaml: refactor layer to make it better for spacemacs idioms Fix activation of auto-complete Sort packages Improvement with hook usage Move opam init function in funcs.el and call it only in tuareg config Fix errors if opam is not installed, warn if it has not been found Small edition of the README Rename additional REPL functions with spacemacs prefix
2015-05-12 03:45:26 +00:00
(defun ocaml/init-tuareg ()
(use-package tuareg
Fixes #5158 Backspace in tuareg-mode does not delete the character.
2019-01-30 19:37:57 +00:00
:bind (:map tuareg-mode-map
;; Workaround to preserve vim backspace in normal mode
([backspace] . nil))
ocaml: Add support for ocamllex , ocamlyacc file.
2016-05-30 14:49:43 +00:00
:mode (("\\.ml[ily]?$" . tuareg-mode)
("\\.topml$" . tuareg-mode))
Revert "Defer packages by default using use-package-always-defer" This reverts commit 29c78ce841ee5a99bb4077a2862afc96c8136107 and all other fixes that have been made afterwards. The motivation is that use-package is seen by many as a replacement for `require`. Is use-package always defer the loading of packages then is breaks this use case, this does not respect POLA so even if it was making Spacemacs loading faster (up to 3s faster on some startup on my machine) we just cannot use it, it would be irresponsible. Spacemacs should be easy to use, loading performance will come with time but it is not a priority.
2018-03-04 04:37:53 +00:00
:defer t
ocaml: auto-complete with merlin and company mode if auto-completion configuration layer is turned on in .spacemacs
2015-04-18 16:22:34 +00:00
:init
ocaml: refactor layer to make it better for spacemacs idioms Fix activation of auto-complete Sort packages Improvement with hook usage Move opam init function in funcs.el and call it only in tuareg config Fix errors if opam is not installed, warn if it has not been found Small edition of the README Rename additional REPL functions with spacemacs prefix
2015-05-12 03:45:26 +00:00
(progn
(spacemacs//init-ocaml-opam)
layers: Transition to new key bindings functions Removes dependence on evil-leader centralizing control over the method of key binding in core-keybindings.el
2015-11-18 00:38:05 +00:00
(spacemacs/set-leader-keys-for-major-mode 'tuareg-mode
"ga" 'tuareg-find-alternate-file
"cc" 'compile)
Make OCaml-generated files invisible to completion
2015-11-02 18:09:47 +00:00
;; Make OCaml-generated files invisible to filename completion
OCaml layer: add ignored extension Add cmti extension to list of ignored completion exts
2016-09-24 01:53:56 +00:00
(dolist (ext '(".cmo" ".cmx" ".cma" ".cmxa" ".cmi" ".cmxs" ".cmt" ".cmti" ".annot"))
ocaml: move smartparens config to post-init function
2016-01-06 05:40:57 +00:00
(add-to-list 'completion-ignored-extensions ext)))))
ocaml: auto-complete with merlin and company mode if auto-completion configuration layer is turned on in .spacemacs
2015-04-18 16:22:34 +00:00
ocaml: refactor layer to make it better for spacemacs idioms Fix activation of auto-complete Sort packages Improvement with hook usage Move opam init function in funcs.el and call it only in tuareg config Fix errors if opam is not installed, warn if it has not been found Small edition of the README Rename additional REPL functions with spacemacs prefix
2015-05-12 03:45:26 +00:00
(defun ocaml/init-utop ()
(use-package utop
Revert "Defer packages by default using use-package-always-defer" This reverts commit 29c78ce841ee5a99bb4077a2862afc96c8136107 and all other fixes that have been made afterwards. The motivation is that use-package is seen by many as a replacement for `require`. Is use-package always defer the loading of packages then is breaks this use case, this does not respect POLA so even if it was making Spacemacs loading faster (up to 3s faster on some startup on my machine) we just cannot use it, it would be irresponsible. Spacemacs should be easy to use, loading performance will come with time but it is not a priority.
2018-03-04 04:37:53 +00:00
:defer t
Register all REPLs and make SPC m ' bindings
2016-01-26 16:31:15 +00:00
:init
(progn
(add-hook 'tuareg-mode-hook 'utop-minor-mode)
(spacemacs/register-repl 'utop 'utop "ocaml"))
ocaml: refactor layer to make it better for spacemacs idioms Fix activation of auto-complete Sort packages Improvement with hook usage Move opam init function in funcs.el and call it only in tuareg config Fix errors if opam is not installed, warn if it has not been found Small edition of the README Rename additional REPL functions with spacemacs prefix
2015-05-12 03:45:26 +00:00
:config
(progn
(if (executable-find "opam")
ocaml: Remove outdated config of utop The old config overrides `exec-path` blindly, updated as per the instructions on the official site of `utop`.
2016-07-05 12:52:20 +00:00
(setq utop-command "opam config exec -- utop -emacs")
ocaml: refactor layer to make it better for spacemacs idioms Fix activation of auto-complete Sort packages Improvement with hook usage Move opam init function in funcs.el and call it only in tuareg config Fix errors if opam is not installed, warn if it has not been found Small edition of the README Rename additional REPL functions with spacemacs prefix
2015-05-12 03:45:26 +00:00
(spacemacs-buffer/warning "Cannot find \"opam\" executable."))
ocaml: auto-complete with merlin and company mode if auto-completion configuration layer is turned on in .spacemacs
2015-04-18 16:22:34 +00:00
ocaml: refactor layer to make it better for spacemacs idioms Fix activation of auto-complete Sort packages Improvement with hook usage Move opam init function in funcs.el and call it only in tuareg config Fix errors if opam is not installed, warn if it has not been found Small edition of the README Rename additional REPL functions with spacemacs prefix
2015-05-12 03:45:26 +00:00
(defun spacemacs/utop-eval-phrase-and-go ()
"Send phrase to REPL and evaluate it and switch to the REPL in
`insert state'"
(interactive)
(utop-eval-phrase)
(utop)
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))
Add ocaml layer
2015-02-07 17:37:53 +00:00
Fix typos in ocaml layer.
2015-05-12 05:35:23 +00:00
(defun spacemacs/utop-eval-buffer-and-go ()
ocaml: refactor layer to make it better for spacemacs idioms Fix activation of auto-complete Sort packages Improvement with hook usage Move opam init function in funcs.el and call it only in tuareg config Fix errors if opam is not installed, warn if it has not been found Small edition of the README Rename additional REPL functions with spacemacs prefix
2015-05-12 03:45:26 +00:00
"Send buffer to REPL and evaluate it and switch to the REPL in
`insert state'"
(interactive)
(utop-eval-buffer)
(utop)
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))
ocaml: refactor layer to make it better for spacemacs idioms Fix activation of auto-complete Sort packages Improvement with hook usage Move opam init function in funcs.el and call it only in tuareg config Fix errors if opam is not installed, warn if it has not been found Small edition of the README Rename additional REPL functions with spacemacs prefix
2015-05-12 03:45:26 +00:00
(defun spacemacs/utop-eval-region-and-go (start end)
"Send region to REPL and evaluate it and switch to the REPL in
`insert state'"
(interactive "r")
(utop-eval-region start end)
(utop)
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))
ocaml: refactor layer to make it better for spacemacs idioms Fix activation of auto-complete Sort packages Improvement with hook usage Move opam init function in funcs.el and call it only in tuareg config Fix errors if opam is not installed, warn if it has not been found Small edition of the README Rename additional REPL functions with spacemacs prefix
2015-05-12 03:45:26 +00:00
layers: Transition to new key bindings functions Removes dependence on evil-leader centralizing control over the method of key binding in core-keybindings.el
2015-11-18 00:38:05 +00:00
(spacemacs/set-leader-keys-for-major-mode 'tuareg-mode
Register all REPLs and make SPC m ' bindings
2016-01-26 16:31:15 +00:00
"'" 'utop
layers: Transition to new key bindings functions Removes dependence on evil-leader centralizing control over the method of key binding in core-keybindings.el
2015-11-18 00:38:05 +00:00
"sb" 'utop-eval-buffer
"sB" 'spacemacs/utop-eval-buffer-and-go
"si" 'utop
"sp" 'utop-eval-phrase
"sP" 'spacemacs/utop-eval-phrase-and-go
"sr" 'utop-eval-region
Add prefixes to the OCaml bindings
2016-05-16 09:33:14 +00:00
"sR" 'spacemacs/utop-eval-region-and-go)
(spacemacs/declare-prefix-for-mode 'tuareg-mode "ms" "send"))
ocaml: refactor layer to make it better for spacemacs idioms Fix activation of auto-complete Sort packages Improvement with hook usage Move opam init function in funcs.el and call it only in tuareg config Fix errors if opam is not installed, warn if it has not been found Small edition of the README Rename additional REPL functions with spacemacs prefix
2015-05-12 03:45:26 +00:00
(define-key utop-mode-map (kbd "C-j") 'utop-history-goto-next)
(define-key utop-mode-map (kbd "C-k") 'utop-history-goto-prev)))
Reference in a new issue Copy permalink