lang/ocaml: major refactor

+ Load flyspell-mode a little later, to allow file/dir-local variables
  to customize flyspell.
+ Ensure setters (in merlin's config) are used as late as possible, by
  making merlin's (and all the other packages) config run after tuareg
  is loaded.
+ As discussed, installing packages locally is a bit unreliable, so I'm
  commenting out the +ocaml-site-lisp flag, and rely solely on packages
  from MELPA.
+ Add optional ocamlformat check in doctor.el and conditionally load the
  ocamlformat package (if editor/format is enabled).
+ Add docstrings to init hooks.

modules/lang/ocaml/config.el

@@ -1,45 +1,48 @@
 ;;; lang/ocaml/config.el -*- lexical-binding: t; -*-
 
-;; def-project-mode!/associate! doesn't work when a
-;; package is lazy loaded, and everything is compiled
-
-(def-package! tuareg
-  :defer t ;; modes set by autoload
-  :config
+(after! tuareg
   ;; tuareg-mode has the prettify symbols itself
   (set-pretty-symbols! 'tuareg-mode :alist
     (append tuareg-prettify-symbols-basic-alist
             tuareg-prettify-symbols-extra-alist))
+  ;; harmless if `prettify-symbols-mode' isn't active
   (setq tuareg-prettify-symbols-full t)
+
   ;; Use opam to set environment
   (setq tuareg-opam-insinuate t)
   (tuareg-opam-update-env (tuareg-opam-current-compiler))
+
   ;; Spell-check comments
   (when (featurep! :feature spellcheck)
-    (add-hook 'tuareg-mode-hook #'flyspell-prog-mode)))
+    (add-hook 'tuareg-mode-local-vars-hook #'flyspell-prog-mode))
 
-(def-package! merlin
-  :after tuareg
+
+  (def-package! merlin
+    :defer t
     :init
-  (set-lookup-handlers! 'tuareg-mode
-    :definition #'merlin-locate
-    :references #'merlin-occurrences
-    :documentation #'merlin-document)
     (defun +ocaml|init-merlin ()
+      "Activate `merlin-mode' if the ocamlmerlin executable exists and the
+current project possesses a .merlin file."
       (when (and (projectile-locate-dominating-file default-directory ".merlin")
                  (executable-find "ocamlmerlin"))
         (merlin-mode)))
     (add-hook 'tuareg-mode-hook #'+ocaml|init-merlin)
 
+    (set-company-backend! 'tuareg-mode 'merlin-company-backend)
+    (set-lookup-handlers! 'tuareg-mode
+      :definition #'merlin-locate
+      :references #'merlin-occurrences
+      :documentation #'merlin-document)
     :config
+    (setq merlin-completion-with-doc t)
+
     (map! :map tuareg-mode-map
           :localleader
           :n "t" #'merlin-type-enclosing
-        :n "a" #'tuareg-find-alternate-file)
-  (set-company-backend! 'tuareg-mode 'merlin-company-backend)
-  (setq merlin-completion-with-doc t))
+          :n "a" #'tuareg-find-alternate-file))
 
-(def-package! flycheck-ocaml
+
+  (def-package! flycheck-ocaml
     :when (featurep! :feature syntax-checker)
     :after merlin
     :config
@@ -48,19 +51,10 @@
     ;; Enable Flycheck checker
     (flycheck-ocaml-setup))
 
-(def-package! ocp-indent
-  ;; must be careful to always defer this, it has autoloads that adds hooks
-  ;; which we do not want if the executable can't be found
-  :defer t
-  :init
-  (defun +ocaml|init-ocp-indent ()
-    (when (executable-find "ocp-indent")
-      (ocp-setup-indent)))
-  (add-hook 'tuareg-mode-hook #'+ocaml|init-ocp-indent))
 
-(def-package! utop
-  :defer t ;; loaded by hook below
+  (def-package! utop
     :when (featurep! :feature eval)
+    :defer t  ; loaded by hook below
     :init
     (set-repl-handler! 'tuareg-mode #'utop)
     (set-eval-handler! 'tuareg-mode #'utop-eval-region)
@@ -69,15 +63,29 @@
         (utop-minor-mode)))
     (add-hook 'tuareg-mode-hook #'+ocaml|init-utop))
 
-(def-package! ocamlformat
-  :after tuareg
-  :commands (ocamlformat)
+
+  (def-package! ocp-indent
+    ;; must be careful to always defer this, it has autoloads that adds hooks
+    ;; which we do not want if the executable can't be found
+    :defer t
+    :init
+    (defun +ocaml|init-ocp-indent ()
+      "Run `ocp-setup-indent', so long as the ocp-indent binary exists."
+      (when (executable-find "ocp-indent")
+        (ocp-setup-indent)))
+    (add-hook 'tuareg-mode-hook #'+ocaml|init-ocp-indent))
+
+
+  (def-package! ocamlformat
+    :when (featurep! :editor format)
+    :commands ocamlformat
     :init
     (set-formatter! 'ocamlformat #'ocamlformat
       :modes '(caml-mode tuareg-mode))
+    ;; TODO Fix region-based formatting support
     (defun +ocaml|init-ocamlformat ()
       (setq +format-with 'ocp-indent)
       (when (and (executable-find "ocamlformat")
                  (locate-dominating-file default-directory ".ocamlformat"))
         (setq +format-with 'ocamlformat)))
-  (add-hook 'tuareg-mode-hook #'+ocaml|init-ocamlformat))
+    (add-hook 'tuareg-mode-hook #'+ocaml|init-ocamlformat)))

modules/lang/ocaml/doctor.el

@@ -2,11 +2,11 @@
 ;;; lang/ocaml/doctor.el
 
 (unless (executable-find "ocamlmerlin")
-  (warn! "Couldn't find ocamlmerlin. Lookup, completion and syntax checking won't work."))
+  (warn! "Couldn't find ocamlmerlin. Lookup, completion and syntax checking won't work"))
 
 ;; Tuareg can still indent
 (unless (executable-find "ocp-indent")
-  (warn! "Couldn't find ocp-indent. Auto-indentation will be less precise."))
+  (warn! "Couldn't find ocp-indent. Auto-indentation will be less precise"))
 
 (when (featurep! :feature eval)
   (unless (executable-find "utop")
@@ -15,4 +15,8 @@
 (unless (executable-find "dune")
   (warn! "Couldn't find dune. Won't be able to highlight dune files"))
 
+(when (featurep! :editor format)
+  (unless (executable-find "ocamlformat")
+    (warn! "Couldn't find ocamlformat. Code-formatting will be unavailable")))
+
 ;; ocamlformat is optional, don't warn about it

modules/lang/ocaml/packages.el

@@ -1,30 +1,32 @@
 ;; -*- no-byte-compile: t; -*-
 ;;; lang/ocaml/packages.el
 
-(when (featurep! +opam-site-lisp)
-  (defvar +ocaml-elisp-dir
-    (when (executable-find "opam")
-      (let ((opam-share (ignore-errors (car (process-lines "opam" "config" "var" "share" "--safe")))))
-        (when (and opam-share (file-directory-p opam-share))
-          (expand-file-name "emacs/site-lisp" opam-share)))))
-
-  (defmacro localpackage! (name)
-    `(package! ,name :recipe (:fetcher file :path ,+ocaml-elisp-dir)))
-
-  (localpackage! opam-site-lisp))
-
 (package! tuareg)
+(package! merlin)
+(package! ocp-indent)
 
 (when (featurep! :feature syntax-checker)
   (package! flycheck-ocaml))
 
-(unless (featurep! +opam-site-lisp)
-  (package! merlin)
-  (package! ocp-indent)
-  (when (featurep! :feature eval)
+(when (featurep! :feature eval)
   (package! utop))
-  (when (featurep! :editor format)
-    ;; by default quelpa generated a version 0pre0.20180929.192844, which got parsed into (0 -1 0 ...), which when compared with version nil (0)
-    ;; in package-installed-p always yielded false
+
+(when (featurep! :editor format)
+  ;; by default quelpa generated a version 0pre0.20180929.192844, which got
+  ;; parsed into (0 -1 0 ...), which when compared with version nil (0) in
+  ;; package-installed-p always yielded false
   (package! ocamlformat :recipe (:fetcher github :repo "ocaml-ppx/ocamlformat" :files ("emacs/*.el"))))
-  (package! dune :recipe (:fetcher github :repo "ocaml/dune" :files ("editor-integration/emacs/*.el"))))
+
+(package! dune :recipe (:fetcher github :repo "ocaml/dune" :files ("editor-integration/emacs/*.el")))
+
+
+;; (defvar +ocaml-elisp-dir
+;;   (when (executable-find "opam")
+;;     (let ((opam-share (ignore-errors (car (process-lines "opam" "config" "var" "share" "--safe")))))
+;;       (when (and opam-share (file-directory-p opam-share))
+;;         (expand-file-name "emacs/site-lisp" opam-share)))))
+;;
+;; (defmacro localpackage! (name)
+;;   `(package! ,name :recipe (:fetcher file :path ,+ocaml-elisp-dir)))
+;;
+;; (localpackage! opam-site-lisp)