doomemacs/modules/lang/ocaml
Henrik Lissner 5718e4e96e
bump: :lang
Andersbakken/rtags@05117a9a29 -> Andersbakken/rtags@bd1c818a99
FStarLang/fstar-mode.el@7d353de892 -> FStarLang/fstar-mode.el@6e5d3ea858
JuliaEditorSupport/julia-emacs@2dfc869ff6 -> JuliaEditorSupport/julia-emacs@d360ad5285
ProofGeneral/PG@a38857a6a0 -> ProofGeneral/PG@99f91e873e
Raku/raku-mode@977b14a7c1 -> Raku/raku-mode@14f9b9bba0
Wilfred/pip-requirements.el@216cd1690f -> Wilfred/pip-requirements.el@31e0dc62ab
Wilfred/pyimport@c006a5fd0e -> Wilfred/pyimport@4398ce8dd6
ananthakumaran/exunit.el@e008c89e01 -> ananthakumaran/exunit.el@ee06b14b61
beancount/beancount-mode@546163fd2c -> beancount/beancount-mode@71c1622246
cybniv/poetry.el@ca2cffb0b1 -> cybniv/poetry.el@1dff0d4a51
davazp/graphql-mode@49a391b529 -> davazp/graphql-mode@ef4aecaead
dgutov/robe@4ecd868da9 -> dgutov/robe@6bc8a07fc4
diml/utop@8cc5632825 -> diml/utop@384b3098c8
dominikh/go-mode.el@6f4ff9ef87 -> dominikh/go-mode.el@636d36e37a
emacs-lsp/emacs-ccls@9b4a47e041 -> emacs-lsp/emacs-ccls@8648238a92
emacs-lsp/lsp-dart@f51c80f545 -> emacs-lsp/lsp-dart@1f52e81c93
emacs-lsp/lsp-haskell@89d1637043 -> emacs-lsp/lsp-haskell@18a7c7881f
emacs-lsp/lsp-java@c962a3b3ac -> emacs-lsp/lsp-java@4909c14b90
emacs-lsp/lsp-metals@e55d544996 -> emacs-lsp/lsp-metals@fa4072cbe7
emacs-lsp/lsp-pyright@2f2631ae24 -> emacs-lsp/lsp-pyright@cc6df06aea
emacs-lsp/lsp-sourcekit@1cd5e7d269 -> emacs-lsp/lsp-sourcekit@bb2b7e0278
emacs-lsp/lsp-treemacs@e54e74deb8 -> emacs-lsp/lsp-treemacs@1d43e9e030
emacs-php/composer.el@91945f1bdb -> emacs-php/composer.el@42cf9848d4
emacs-php/php-mode@a0bcafbe30 -> emacs-php/php-mode@4792988a12
emacs-php/phpactor.el@8733fef84b -> emacs-php/phpactor.el@6b5269ff82
emacs-php/psysh.el@c7dde979d9 -> emacs-php/psysh.el@ae15a36301
emacs-straight/adaptive-wrap@70005d2012 -> emacs-straight/adaptive-wrap@a3b179ea21
emacs-straight/auctex@86b2397abd -> emacs-straight/auctex@280cd4a0ca
emacs-straight/csv-mode@81c1a9febd -> emacs-straight/csv-mode@cdb73a771b
emacs-straight/sml-mode@e5354371f3 -> emacs-straight/sml-mode@d114e5a27f
emacsorphanage/dart-mode@dffc0209a1 -> emacsorphanage/dart-mode@44beb628e5
erlang/otp@0ca7e064f5 -> erlang/otp@2a64588d4a
factor/factor@12fc9d5071 -> factor/factor@d143007778
fosskers/sly-overlay@916b50297a -> fosskers/sly-overlay@4c6135c260
fsharp/emacs-fsharp-mode@b4d31c3da0 -> fsharp/emacs-fsharp-mode@677d78c4d6
gcv/julia-snail@a25ce84748 -> gcv/julia-snail@f7784c5007
godotengine/emacs-gdscript-mode@8a28276daa -> godotengine/emacs-gdscript-mode@32086df833
greghendershott/racket-mode@d3ab936af1 -> greghendershott/racket-mode@40ecb87f40
haskell/haskell-mode@43b4036bf0 -> haskell/haskell-mode@727f72a2a4
hhvm/hack-mode@278e4cc403 -> hhvm/hack-mode@ccf20511f0
idris-hackers/idris-mode@37c6b81990 -> idris-hackers/idris-mode@38dd2380dc
joaotavora/sly@ed17d2c2bd -> joaotavora/sly@ba40c8f054
jrblevin/markdown-mode@e096bb97a9 -> jrblevin/markdown-mode@8aab017f47
json-emacs/json-mode@bfd1557aaa -> json-emacs/json-mode@77125b01c0
jwiegley/emacs-async@d040f72cb0 -> jwiegley/emacs-async@cff2bd0be3
ledger/ledger-mode@11e748d483 -> ledger/ledger-mode@b0e65f74a5
ljos/jq-mode@37028e1200 -> ljos/jq-mode@a0f79eba78
nonsequitur/inf-ruby@dac615c7fd -> nonsequitur/inf-ruby@0cfe8b2fb1
ocaml-ppx/ocamlformat@b8b0956690 -> ocaml-ppx/ocamlformat@c43f89bc0e
ocaml/dune@64d19876ad -> ocaml/dune@aac3d84f1d
ocaml/merlin@8404f96693 -> ocaml/merlin@b6ff2d4d56
pythonic-emacs/anaconda-mode@efd42aa873 -> pythonic-emacs/anaconda-mode@79fa9b4d2b
pythonic-emacs/company-anaconda@dabc0adc9a -> pythonic-emacs/company-anaconda@1fe526163c
pythonic-emacs/pyenv-mode@c93dc07e85 -> pythonic-emacs/pyenv-mode@de0d750b9c
rust-lang/rust-mode@d8a09f218e -> rust-lang/rust-mode@d00d83d3a2
salmanebah/opencl-mode@15091eff92 -> salmanebah/opencl-mode@10ae7742d5
seagle0128/grip-mode@e145adb225 -> seagle0128/grip-mode@7c42b8f61d
smihica/emmet-mode@63b6932603 -> smihica/emmet-mode@322d3bb112
swift-emacs/swift-mode@84059659de -> swift-emacs/swift-mode@b06c97b909
technomancy/fennel-mode@5965c8fc69 -> technomancy/fennel-mode@a4ddd1750f
tpapp/julia-repl@4947319bc9 -> tpapp/julia-repl@801d0fc3d8
wbolster/emacs-python-pytest@bdfb3e81ee -> wbolster/emacs-python-pytest@9f850e22df
yoshiki/yaml-mode@5b58248ab2 -> yoshiki/yaml-mode@7b5ce294fb
2024-06-26 22:58:01 -04:00
..
autoload.el Revert 3bb384f95 & improve ocaml comment continuation 2020-02-25 22:35:50 -05:00
config.el feat(ocaml): switch to using opam-switch-mode 2024-06-21 17:55:11 -04:00
doctor.el refactor: deprecate featurep! for modulep! 2022-08-14 20:43:35 +02:00
packages.el bump: :lang 2024-06-26 22:58:01 -04:00
README.org feat(ocaml): switch to using opam-switch-mode 2024-06-21 17:55:11 -04:00

:lang ocaml

Description   unfold

This module adds OCaml support to Doom Emacs, powered by doom-package:tuareg.

Maintainers

This module needs a maintainer. Become a maintainer?

Module flags

+lsp
Enable LSP support for tuareg-mode. Requires doom-module::tools lsp and a langserver (supports ocaml-language-server).
+tree-sitter
Leverages tree-sitter for better syntax highlighting and structural text editing. Requires doom-module::tools tree-sitter.

Hacks

  • set-ligatures! is called with the full tuareg prettify symbol list, this can cause columns to change as certain keywords are shortened (e.g. fun becomes λ).
  • opam-switch-set-switch is called the first time doom-package:tuareg and subsequently doom-package:opam-switch-mode are loaded

TODO Changelog

This module does not have a changelog yet.

Installation

Enable this module in your doom! block.

This module requires the following packages available through opam:

  • merlin
  • utop
  • ocp-indent
  • dune
  • ocamlformat

TODO Usage

󱌣 This module's usage documentation is incomplete. Complete it?

  • The following files should have syntax highlighting support: .ml{i,p,y,}, .eliom{i,}, jbuild, dune, opam
  • merlin-mode is activated whenever a .merlin file is found (including in a parent directory) and ocamlmerlin executable is present
  • Line-based auto-indentation is provided by ocp-indent, if it is available.
Command Key Description
merlin-type-enclosing <localleader> t display type under point
tuareg-find-alternate-file <localleader> a switch between .ml and .mli
merlin-locate g d lookup definition
merlin-occurences SPC c D lookup references
merlin-document K lookup documentation
merlin-imenu SPC s i symbol lookup in file
merlin-iedit-occurrences v R visual refactor identifier under point (multiple cursors)
utop SPC o r open utop as REPL
utop-eval-region SPC c e evaluate selected region in utop
opam-switch-set-switch <localleader> w evaluate selected region in utop

TODO Configuration

󱌣 This module's configuration documentation is incomplete. Complete it?

  • If doom-module::completion company is enabled then autocomplete is provided by doom-package:merlin
  • When doom-module::checkers syntax is enabled then doom-package:flycheck-ocaml is activated to do on-the-fly syntax/type checking via doom-package:merlin, otherwise this is only done when the file is saved.
  • Spell checking is activated in comments if doom-module::checkers spell is active
  • A REPL is provided if doom-package:utop is installed and doom-module::tools eval is active
  • If doom-module::editor format is enabled, the ocamlformat executable is available and there is an .ocamlformat file present then format-all-buffer is bound to ocamlformat, otherwise to ocp-indent
  • If doom-module::editor multiple-cursors is enabled then identifiers can be refactored with v R and multiple cursors (this correctly matches identifier occurrences according to scope, it is not purely a textual match)

Run $ doom sync to install all packages and $ doom doctor to diagnose missing tools.

Troubleshooting

There are no known problems with this module. Report one?

Frequently asked questions

This module has no FAQs yet. Ask one?

TODO Appendix

󱌣 This module has no appendix yet. Write one?