ebe4c60264
This reverts commit 29c78ce841 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.
165 lines
5.2 KiB
EmacsLisp
165 lines
5.2 KiB
EmacsLisp
;;; packages.el --- ocaml Layer packages File for Spacemacs
|
|
;;
|
|
;; Copyright (c) 2012-2018 Sylvain Benner & Contributors
|
|
;;
|
|
;; Author: Sylvain Benner <sylvain.benner@gmail.com>
|
|
;; URL: https://github.com/syl20bnr/spacemacs
|
|
;;
|
|
;; This file is not part of GNU Emacs.
|
|
;;
|
|
;;; License: GPLv3
|
|
|
|
(setq ocaml-packages
|
|
'(
|
|
;; auto-complete
|
|
company
|
|
flycheck
|
|
flycheck-ocaml
|
|
ggtags
|
|
counsel-gtags
|
|
helm-gtags
|
|
merlin
|
|
ocp-indent
|
|
smartparens
|
|
tuareg
|
|
utop
|
|
))
|
|
|
|
(defun ocaml/post-init-company ()
|
|
(when (configuration-layer/package-used-p 'merlin)
|
|
(spacemacs|add-company-backends
|
|
:backends merlin-company-backend
|
|
:modes merlin-mode
|
|
:variables merlin-completion-with-doc t)))
|
|
|
|
(when (configuration-layer/layer-used-p 'syntax-checking)
|
|
(defun ocaml/post-init-flycheck ()
|
|
(spacemacs/enable-flycheck 'tuareg-mode))
|
|
(defun ocaml/init-flycheck-ocaml ()
|
|
(use-package flycheck-ocaml
|
|
:if (configuration-layer/package-used-p 'flycheck)
|
|
:defer t
|
|
:init
|
|
(progn
|
|
(with-eval-after-load 'merlin
|
|
(setq merlin-error-after-save nil)
|
|
(flycheck-ocaml-setup))))))
|
|
|
|
(defun ocaml/post-init-ggtags ()
|
|
(add-hook 'ocaml-mode-local-vars-hook #'spacemacs/ggtags-mode-enable))
|
|
|
|
(defun ocaml/post-init-counsel-gtags ()
|
|
(spacemacs/counsel-gtags-define-keys-for-mode 'ocaml-mode))
|
|
|
|
(defun ocaml/post-init-helm-gtags ()
|
|
(spacemacs/helm-gtags-define-keys-for-mode 'ocaml-mode))
|
|
|
|
(defun ocaml/init-merlin ()
|
|
(use-package merlin
|
|
:defer t
|
|
:init
|
|
(progn
|
|
(add-to-list 'spacemacs-jump-handlers-tuareg-mode
|
|
'spacemacs/merlin-locate)
|
|
(add-hook 'tuareg-mode-hook 'merlin-mode)
|
|
(spacemacs/set-leader-keys-for-major-mode 'tuareg-mode
|
|
"cp" 'merlin-project-check
|
|
"cv" 'merlin-goto-project-file
|
|
"Ec" 'merlin-error-check
|
|
"En" 'merlin-error-next
|
|
"EN" 'merlin-error-prev
|
|
"gb" 'merlin-pop-stack
|
|
"gG" 'spacemacs/merlin-locate-other-window
|
|
"gl" 'merlin-locate-ident
|
|
"gi" 'merlin-switch-to-ml
|
|
"gI" 'merlin-switch-to-mli
|
|
"go" 'merlin-occurrences
|
|
"hh" 'merlin-document
|
|
"ht" 'merlin-type-enclosing
|
|
"hT" 'merlin-type-expr
|
|
"rd" 'merlin-destruct)
|
|
(spacemacs/declare-prefix-for-mode 'tuareg-mode "mc" "compile/check")
|
|
(spacemacs/declare-prefix-for-mode 'tuareg-mode "mE" "errors")
|
|
(spacemacs/declare-prefix-for-mode 'tuareg-mode "mg" "goto")
|
|
(spacemacs/declare-prefix-for-mode 'tuareg-mode "mh" "help")
|
|
(spacemacs/declare-prefix-for-mode 'tuareg-mode "mr" "refactor"))))
|
|
|
|
(defun ocaml/init-ocp-indent ()
|
|
(use-package ocp-indent
|
|
:defer t
|
|
:init
|
|
(add-hook 'tuareg-mode-hook 'ocp-indent-caml-mode-setup)
|
|
(spacemacs/set-leader-keys-for-major-mode 'tuareg-mode
|
|
"=" 'ocp-indent-buffer)))
|
|
|
|
(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)))
|
|
|
|
(defun ocaml/init-tuareg ()
|
|
(use-package tuareg
|
|
:mode (("\\.ml[ily]?$" . tuareg-mode)
|
|
("\\.topml$" . tuareg-mode))
|
|
:defer t
|
|
:init
|
|
(progn
|
|
(spacemacs//init-ocaml-opam)
|
|
(spacemacs/set-leader-keys-for-major-mode 'tuareg-mode
|
|
"ga" 'tuareg-find-alternate-file
|
|
"cc" 'compile)
|
|
;; Make OCaml-generated files invisible to filename completion
|
|
(dolist (ext '(".cmo" ".cmx" ".cma" ".cmxa" ".cmi" ".cmxs" ".cmt" ".cmti" ".annot"))
|
|
(add-to-list 'completion-ignored-extensions ext)))))
|
|
|
|
(defun ocaml/init-utop ()
|
|
(use-package utop
|
|
:defer t
|
|
:init
|
|
(progn
|
|
(add-hook 'tuareg-mode-hook 'utop-minor-mode)
|
|
(spacemacs/register-repl 'utop 'utop "ocaml"))
|
|
:config
|
|
(progn
|
|
(if (executable-find "opam")
|
|
(setq utop-command "opam config exec -- utop -emacs")
|
|
(spacemacs-buffer/warning "Cannot find \"opam\" executable."))
|
|
|
|
(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)
|
|
(evil-insert-state))
|
|
|
|
(defun spacemacs/utop-eval-buffer-and-go ()
|
|
"Send buffer to REPL and evaluate it and switch to the REPL in
|
|
`insert state'"
|
|
(interactive)
|
|
(utop-eval-buffer)
|
|
(utop)
|
|
(evil-insert-state))
|
|
|
|
(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)
|
|
(evil-insert-state))
|
|
|
|
(spacemacs/set-leader-keys-for-major-mode 'tuareg-mode
|
|
"'" 'utop
|
|
"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
|
|
"sR" 'spacemacs/utop-eval-region-and-go)
|
|
(spacemacs/declare-prefix-for-mode 'tuareg-mode "ms" "send"))
|
|
(define-key utop-mode-map (kbd "C-j") 'utop-history-goto-next)
|
|
(define-key utop-mode-map (kbd "C-k") 'utop-history-goto-prev)))
|