emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
doomemacs/modules/lang/ocaml/packages.el

22 lines
941 B
EmacsLisp
Raw Normal View History

Added lang/ocaml
2017-06-27 11:39:15 -07:00
;; -*- no-byte-compile: t; -*-
;;; lang/ocaml/packages.el
bump: :lang ocaml OCamlPro/ocp-indent@7c4d434132ce -> OCamlPro/ocp-indent@f38578c25d62 diml/utop@ace481388a54 -> diml/utop@8cc563282597 ocaml-ppx/ocamlformat@1ad4bdba9e1f -> ocaml-ppx/ocamlformat@7db948a8946e ocaml/dune@f5a5a9c17be6 -> ocaml/dune@360b00027166 ocaml/merlin@306af713e268 -> ocaml/merlin@8404f9669372 ocaml/tuareg@53ce2fdfdd37 -> ocaml/tuareg@1d53723e39f2 Fix: #7412
2024-02-04 18:50:33 -05:00
(package! tuareg :pin "1d53723e39f22ab4ab76d31f2b188a2879305092")
feat(ocaml): switch to using opam-switch-mode `tuareg-opam-update-env` has been deprecated, and the `opam-switch-mode` package is recommended for managing opam switches. This commit adds this package to the OCaml module
2024-04-10 17:50:14 +05:30
(package! opam-switch-mode :pin "1069e56a662f23ea09d4e05611bdedeb99257012")
refactor(ocaml): entry points into ocp-indent & opam-switch-mode Reduces edge cases, in the case the user eagerly loads any of these packages. Also replaces all hardcoded paths to ocp-indent and opam's executables with variables, respecting user configuration.
2024-08-13 16:32:59 -04:00
(package! ocp-indent :pin "f38578c25d62701847b1bcb45099a9020e2032fe")
(package! dune
:recipe (:host github :repo "ocaml/dune" :files ("editor-integration/emacs/*.el"))
bump: :lang ocaml ocaml/dune@aac3d84f1d5a -> ocaml/dune@96ed5fb42f2c ocaml/merlin@b6ff2d4d569c -> ocaml/merlin@9fa77dbe81c8
2024-08-13 16:36:00 -04:00
:pin "96ed5fb42f2c534578cb77191887f8d5a7bf5529")
feat(ocaml): switch to using opam-switch-mode `tuareg-opam-update-env` has been deprecated, and the `opam-switch-mode` package is recommended for managing opam switches. This commit adds this package to the OCaml module
2024-04-10 17:50:14 +05:30
refactor: deprecate featurep! for modulep! featurep! will be renamed modulep! in the future, so it's been deprecated. They have identical interfaces, and can be replaced without issue. featurep! was never quite the right name for this macro. It implied that it had some connection to featurep, which it doesn't (only that it was similar in purpose; still, Doom modules are not features). To undo such implications and be consistent with its namespace (and since we're heading into a storm of breaking changes with the v3 release anyway), now was the best opportunity to begin the transition.
2022-08-12 20:29:19 +02:00
(unless (modulep! +lsp)
bump: :lang ocaml ocaml/dune@aac3d84f1d5a -> ocaml/dune@96ed5fb42f2c ocaml/merlin@b6ff2d4d569c -> ocaml/merlin@9fa77dbe81c8
2024-08-13 16:36:00 -04:00
(package! merlin :pin "9fa77dbe81c893476646d873c5ac5106b94b7107")
bump: :lang Alexander-Miller/company-shell@a77f4de75912 -> Alexander-Miller/company-shell@5f959a63a6e6 Emacs-Kotlin-Mode-Maintainers/kotlin-mode@3e0c34087ba4 -> Emacs-Kotlin-Mode-Maintainers/kotlin-mode@fddd747e5b47 FStarLang/fstar-mode.el@c95c2a61a6c4 -> FStarLang/fstar-mode.el@ab0697b9474f Fuco1/sphinx-mode@9d4075c106fc -> Fuco1/sphinx-mode@77ca51adf9ee Groovy-Emacs-Modes/groovy-emacs-modes@bf732d367b16 -> Groovy-Emacs-Modes/groovy-emacs-modes@c612ac1e9f74 Khady/merlin-eldoc@db7fab1eddfe -> Khady/merlin-eldoc@bf8edc63d85b OVYA/php-cs-fixer@7e12a1af5d65 -> OVYA/php-cs-fixer@efe4368d891f ProofGeneral/PG@e1e29acb04f0 -> ProofGeneral/PG@8416875696cb Wilfred/elisp-def@dfca043ec0cb -> Wilfred/elisp-def@1d2e88a232ec agda/agda@b612cabaae94 -> agda/agda@bb7603d19781 amake/flutter.el@08138f8c9548 -> amake/flutter.el@edd3f5eb3f46 ananthakumaran/exunit.el@0715c2dc2dca -> ananthakumaran/exunit.el@e0a8c2b81f3d beancount/beancount-mode@ea8257881b7e -> beancount/beancount-mode@519bfd868f20 bradyt/dart-mode@3bac14200f9f -> bradyt/dart-mode@9c846769abd3 brantou/emacs-go-tag@59b243f2fa07 -> brantou/emacs-go-tag@33f2059551d5 cdominik/cdlatex@8e963c68531f -> cdominik/cdlatex@ac024ce29318 clojure-emacs/cider@92c1b6de2080 -> clojure-emacs/cider@1ed5163433c9 clojure-emacs/clj-refactor.el@db89b558710d -> clojure-emacs/clj-refactor.el@b5abe655e572 clojure-emacs/clojure-mode@414157c3e523 -> clojure-emacs/clojure-mode@3453cd229b41 cpitclaudel/company-coq@a6e349e0131f -> cpitclaudel/company-coq@5affe7a96a25 crystal-lang-tools/emacs-crystal-mode@96a8058205b2 -> crystal-lang-tools/emacs-crystal-mode@9bfb9f0f566e davazp/graphql-mode@9740e4027bd9 -> davazp/graphql-mode@1437b790060f diml/utop@bbd9a6ed45c8 -> diml/utop@ace481388a54 dominikh/go-mode.el@3273fcece5d9 -> dominikh/go-mode.el@166dfb1e0902 elixir-editors/emacs-elixir@e0d0466d83ec -> elixir-editors/emacs-elixir@7641373f0563 emacs-csharp/csharp-mode@856ecbc0a78a -> emacs-csharp/csharp-mode@02c61c219b2c emacs-ess/ESS@39eba283000a -> emacs-ess/ESS@8b4664e4a76a emacs-lsp/lsp-dart@fda433671f38 -> emacs-lsp/lsp-dart@3db9f93c8305 emacs-lsp/lsp-java@0968038b9aea -> emacs-lsp/lsp-java@dbe448a886e2 emacs-lsp/lsp-sourcekit@f877659babd3 -> emacs-lsp/lsp-sourcekit@468c641e3587 emacs-php/composer.el@7c7f89df226c -> emacs-php/composer.el@5af1707fefbd emacs-php/php-mode@5f26bec865ee -> emacs-php/php-mode@fb11df8268b7 emacs-php/phpactor.el@34195f153320 -> emacs-php/phpactor.el@9440005814c4 emacs-php/psysh.el@21250984ad81 -> emacs-php/psysh.el@796b26a5cd75 emacs-straight/auctex@830e40a0639a -> emacs-straight/auctex@3929d5408b1e emacs-straight/csv-mode@43f6106f0d4e -> emacs-straight/csv-mode@d190a479b4f3 emacs-straight/rainbow-mode@949166cc0146 -> emacs-straight/rainbow-mode@8e96388fb4d6 emacs-straight/sml-mode@0338e9729bce -> emacs-straight/sml-mode@5426ff473824 emacsmirror/auctex-latexmk@4d353522650d -> emacsmirror/auctex-latexmk@b00a95e6b34c emacsmirror/paredit@e4a67f4f23ba -> emacsmirror/paredit@9a2c4b37fc8c emacsorphanage/macrostep@424e3734a1ee -> emacsorphanage/macrostep@75ecd0412192 erlang/otp@9ba9f6e60da1 -> erlang/otp@be7109f43bee ethereum/emacs-solidity@20fb77e089e1 -> ethereum/emacs-solidity@ddb4a901c33b factor/factor@1aeafdb87bb8 -> factor/factor@76ac65649d61 fsharp/emacs-fsharp-mode@c1e58c61f9b5 -> fsharp/emacs-fsharp-mode@09fec6c91f9c fxbois/web-mode@efa853e5cfff -> fxbois/web-mode@df97ab62c948 godotengine/emacs-gdscript-mode@4badcf6a0c95 -> godotengine/emacs-gdscript-mode@d392e8aa7e7c greghendershott/racket-mode@af9b760e7bac -> greghendershott/racket-mode@947d9806ee27 hhvm/hack-mode@a522f61c088e -> hhvm/hack-mode@26f06ffe8257 idris-hackers/idris-mode@65d6db1b7574 -> idris-hackers/idris-mode@c96f45d1b8fa immerrr/lua-mode@5a9bee8d5fc9 -> immerrr/lua-mode@ad639c62e38a iyefrat/evil-tex@0fa85c3fc88d -> iyefrat/evil-tex@3e0a26b91a1a jcollard/elm-mode@d4e434fa1857 -> jcollard/elm-mode@5797500d74dd joaotavora/sly@4513c382f07a -> joaotavora/sly@fa70fc8ab1bc jorgenschaefer/emacs-buttercup@ceedad5efa79 -> jorgenschaefer/emacs-buttercup@07a52c996958 jrblevin/markdown-mode@1f709778ac79 -> jrblevin/markdown-mode@c765b73b370f jschaf/powershell.el@ce1f0ae0b2e4 -> jschaf/powershell.el@f2da15857e43 jwiegley/emacs-async@c78bab7506a7 -> jwiegley/emacs-async@71cc50f27ffc leanprover/lean-mode@c1c68cc946eb -> leanprover/lean-mode@362bc6fa3efb ledger/ledger-mode@b55384d9cd14 -> ledger/ledger-mode@4b32f701736b midnightSuyama/shader-mode@d7dc8d0d6fe8 -> midnightSuyama/shader-mode@fe5a1982ba69 necaris/conda.el@667968184e40 -> necaris/conda.el@28f51e49fd25 nlamirault/phpunit.el@fe6bc91c3bd8 -> nlamirault/phpunit.el@4a36906344c0 ocaml-ppx/ocamlformat@9cbd8150c28f -> ocaml-ppx/ocamlformat@1ad4bdba9e1f ocaml/dune@3df932f7f91e -> ocaml/dune@f5a5a9c17be6 ocaml/merlin@be753d941238 -> ocaml/merlin@306af713e268 ocaml/tuareg@ad8a688b7e2a -> ocaml/tuareg@53ce2fdfdd37 pashky/restclient.el@9e2cfa865291 -> pashky/restclient.el@0ba72816f92f polymode/polymode@2094c92403fe -> polymode/polymode@15b6c1e94a45 purcell/flycheck-package@615c1ed8c6fb -> purcell/flycheck-package@3a6aaed29ff6 purescript-emacs/purescript-mode@0acd1af44642 -> purescript-emacs/purescript-mode@cf113871f98d s-kostyaev/go-gen-test@35df36dcd555 -> s-kostyaev/go-gen-test@f84f4177af7f seagle0128/grip-mode@6d6ddbe0af39 -> seagle0128/grip-mode@5809fb62f6dd sebasmonia/sharper@96edd4a1dbc2 -> sebasmonia/sharper@496e90e337cb smihica/emmet-mode@6b2e554f7fd2 -> smihica/emmet-mode@63b693260318 swift-emacs/swift-mode@f4529efa453f -> swift-emacs/swift-mode@1244ee48de18 technomancy/fennel-mode@566435734946 -> technomancy/fennel-mode@52da9715b0d0 vspinu/company-math@45778f5731c9 -> vspinu/company-math@3eb006874e30 whirm/flycheck-kotlin@bf1b398bdde1 -> whirm/flycheck-kotlin@a2a6abb9a7f8 wwwjfy/emacs-fish@a7c953b1491a -> wwwjfy/emacs-fish@d04478c0aba0 xuchunyang/elisp-demos@01c301b516e9 -> xuchunyang/elisp-demos@792be709c821 yoshiki/yaml-mode@535273d5a1eb -> yoshiki/yaml-mode@3fcb36d6039b ziglang/zig-mode@aa20d630b8c4 -> ziglang/zig-mode@9c5e41d6a0a8
2023-02-21 19:32:39 -05:00
(package! merlin-eldoc :pin "bf8edc63d85b35e4def352fa7ce4ea39f43e1fd8")
bump: :lang ocaml ocaml/dune@aac3d84f1d5a -> ocaml/dune@96ed5fb42f2c ocaml/merlin@b6ff2d4d569c -> ocaml/merlin@9fa77dbe81c8
2024-08-13 16:36:00 -04:00
(package! merlin-company :pin "9fa77dbe81c893476646d873c5ac5106b94b7107")
tweak(syntax): feat gate flycheck in all modules
2022-08-17 01:16:08 +01:00
(when (and (modulep! :checkers syntax)
(not (modulep! :checkers syntax +flymake)))
bump: :lang ocaml diml/utop@5d72a0ab34bf -> diml/utop@bbd9a6ed45c8 flycheck/flycheck-ocaml@8707a7bf545a -> flycheck/flycheck-ocaml@77f8ddbd9bfc ocaml-ppx/ocamlformat@9324ea439a77 -> ocaml-ppx/ocamlformat@9cbd8150c28f ocaml/dune@4bc7629a5e76 -> ocaml/dune@3df932f7f91e ocaml/merlin@5d59c7065938 -> ocaml/merlin@be753d941238 ocaml/tuareg@04f5ab6be9ae -> ocaml/tuareg@ad8a688b7e2a Fix: ocaml-ppx/ocamlformat#2120 Close: #6639 Co-authored-by: tjammer <tjammer@users.noreply.github.com>
2022-08-08 18:38:38 +02:00
(package! flycheck-ocaml :pin "77f8ddbd9bfc3a11957ac7ec7e45d5fa9179b192")))
lang/ocaml: disable merlin when lsp is active (#1939) Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2019-10-23 14:38:13 +09:00
refactor: deprecate featurep! for modulep! featurep! will be renamed modulep! in the future, so it's been deprecated. They have identical interfaces, and can be replaced without issue. featurep! was never quite the right name for this macro. It implied that it had some connection to featurep, which it doesn't (only that it was similar in purpose; still, Doom modules are not features). To undo such implications and be consistent with its namespace (and since we're heading into a storm of breaking changes with the v3 release anyway), now was the best opportunity to begin the transition.
2022-08-12 20:29:19 +02:00
(when (modulep! :tools eval)
bump: :lang Andersbakken/rtags@05117a9a293a -> Andersbakken/rtags@bd1c818a993a FStarLang/fstar-mode.el@7d353de89248 -> FStarLang/fstar-mode.el@6e5d3ea858f3 JuliaEditorSupport/julia-emacs@2dfc869ff6b3 -> JuliaEditorSupport/julia-emacs@d360ad5285b8 ProofGeneral/PG@a38857a6a099 -> ProofGeneral/PG@99f91e873ec2 Raku/raku-mode@977b14a7c129 -> Raku/raku-mode@14f9b9bba08c Wilfred/pip-requirements.el@216cd1690f80 -> Wilfred/pip-requirements.el@31e0dc62abb2 Wilfred/pyimport@c006a5fd0e5c -> Wilfred/pyimport@4398ce8dd64f ananthakumaran/exunit.el@e008c89e01e5 -> ananthakumaran/exunit.el@ee06b14b61be beancount/beancount-mode@546163fd2ccc -> beancount/beancount-mode@71c16222461d cybniv/poetry.el@ca2cffb0b174 -> cybniv/poetry.el@1dff0d4a51ea davazp/graphql-mode@49a391b5290e -> davazp/graphql-mode@ef4aecaeada7 dgutov/robe@4ecd868da9ad -> dgutov/robe@6bc8a07fc483 diml/utop@8cc563282597 -> diml/utop@384b3098c8c4 dominikh/go-mode.el@6f4ff9ef874d -> dominikh/go-mode.el@636d36e37a0d emacs-lsp/emacs-ccls@9b4a47e0418d -> emacs-lsp/emacs-ccls@8648238a92e5 emacs-lsp/lsp-dart@f51c80f5458d -> emacs-lsp/lsp-dart@1f52e81c9371 emacs-lsp/lsp-haskell@89d16370434e -> emacs-lsp/lsp-haskell@18a7c7881fb2 emacs-lsp/lsp-java@c962a3b3ac2b -> emacs-lsp/lsp-java@4909c14b9012 emacs-lsp/lsp-metals@e55d544996f7 -> emacs-lsp/lsp-metals@fa4072cbe7a7 emacs-lsp/lsp-pyright@2f2631ae242d -> emacs-lsp/lsp-pyright@cc6df06aeaee emacs-lsp/lsp-sourcekit@1cd5e7d26995 -> emacs-lsp/lsp-sourcekit@bb2b7e027824 emacs-lsp/lsp-treemacs@e54e74deb815 -> emacs-lsp/lsp-treemacs@1d43e9e0307f emacs-php/composer.el@91945f1bdb65 -> emacs-php/composer.el@42cf9848d438 emacs-php/php-mode@a0bcafbe3049 -> emacs-php/php-mode@4792988a120d emacs-php/phpactor.el@8733fef84b45 -> emacs-php/phpactor.el@6b5269ff8278 emacs-php/psysh.el@c7dde979d9fd -> emacs-php/psysh.el@ae15a36301a4 emacs-straight/adaptive-wrap@70005d2012ab -> emacs-straight/adaptive-wrap@a3b179ea21ae emacs-straight/auctex@86b2397abdc2 -> emacs-straight/auctex@280cd4a0ca5a emacs-straight/csv-mode@81c1a9febd2a -> emacs-straight/csv-mode@cdb73a771b0b emacs-straight/sml-mode@e5354371f361 -> emacs-straight/sml-mode@d114e5a27f3d emacsorphanage/dart-mode@dffc0209a19f -> emacsorphanage/dart-mode@44beb628e5b4 erlang/otp@0ca7e064f5a9 -> erlang/otp@2a64588d4a36 factor/factor@12fc9d5071e4 -> factor/factor@d1430077782d fosskers/sly-overlay@916b50297a1f -> fosskers/sly-overlay@4c6135c26051 fsharp/emacs-fsharp-mode@b4d31c3da018 -> fsharp/emacs-fsharp-mode@677d78c4d6cb gcv/julia-snail@a25ce847480a -> gcv/julia-snail@f7784c500783 godotengine/emacs-gdscript-mode@8a28276daaa2 -> godotengine/emacs-gdscript-mode@32086df83335 greghendershott/racket-mode@d3ab936af109 -> greghendershott/racket-mode@40ecb87f409a haskell/haskell-mode@43b4036bf02b -> haskell/haskell-mode@727f72a2a4b8 hhvm/hack-mode@278e4cc4032b -> hhvm/hack-mode@ccf20511f0f2 idris-hackers/idris-mode@37c6b8199031 -> idris-hackers/idris-mode@38dd2380dca5 joaotavora/sly@ed17d2c2bd7a -> joaotavora/sly@ba40c8f054ec jrblevin/markdown-mode@e096bb97a91f -> jrblevin/markdown-mode@8aab017f4790 json-emacs/json-mode@bfd1557aaa20 -> json-emacs/json-mode@77125b01c0dd jwiegley/emacs-async@d040f72cb0be -> jwiegley/emacs-async@cff2bd0be3c7 ledger/ledger-mode@11e748d4838d -> ledger/ledger-mode@b0e65f74a5a0 ljos/jq-mode@37028e120041 -> ljos/jq-mode@a0f79eba786d nonsequitur/inf-ruby@dac615c7fdbb -> nonsequitur/inf-ruby@0cfe8b2fb1ab ocaml-ppx/ocamlformat@b8b09566904c -> ocaml-ppx/ocamlformat@c43f89bc0ebd ocaml/dune@64d19876ad6d -> ocaml/dune@aac3d84f1d5a ocaml/merlin@8404f9669372 -> ocaml/merlin@b6ff2d4d569c pythonic-emacs/anaconda-mode@efd42aa8736d -> pythonic-emacs/anaconda-mode@79fa9b4d2bda pythonic-emacs/company-anaconda@dabc0adc9a0e -> pythonic-emacs/company-anaconda@1fe526163c26 pythonic-emacs/pyenv-mode@c93dc07e8549 -> pythonic-emacs/pyenv-mode@de0d750b9c30 rust-lang/rust-mode@d8a09f218e24 -> rust-lang/rust-mode@d00d83d3a207 salmanebah/opencl-mode@15091eff92c3 -> salmanebah/opencl-mode@10ae7742d57a seagle0128/grip-mode@e145adb22593 -> seagle0128/grip-mode@7c42b8f61d14 smihica/emmet-mode@63b693260318 -> smihica/emmet-mode@322d3bb112fc swift-emacs/swift-mode@84059659de4d -> swift-emacs/swift-mode@b06c97b90941 technomancy/fennel-mode@5965c8fc693a -> technomancy/fennel-mode@a4ddd1750fd3 tpapp/julia-repl@4947319bc948 -> tpapp/julia-repl@801d0fc3d8f6 wbolster/emacs-python-pytest@bdfb3e81eedc -> wbolster/emacs-python-pytest@9f850e22df93 yoshiki/yaml-mode@5b58248ab255 -> yoshiki/yaml-mode@7b5ce294fb15
2024-06-26 22:58:01 -04:00
(package! utop :pin "384b3098c8c4a2e26b87167053952b753aa8a63a"))
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.
2018-10-16 02:45:12 -04:00
Reference in a new issue Copy permalink