doomemacs/modules/lang/lean/packages.el
Henrik Lissner 57be21ac25
fix(lean): void-variable nael-mode-map error
Due to nael-lsp autoloading a `keymap-set` call referencing
`nael-mode-map`, which will not likely be available when the autoload
file is loaded.

Fix: #8617
2025-12-31 08:04:10 -05:00

15 lines
570 B
EmacsLisp

;; -*- no-byte-compile: t; -*-
;;; lang/lean/packages.el
(when (modulep! +v3)
(package! lean-mode :pin "99d6a34dc5b12f6e996e9217fa9f6fe4a6af037a"))
(package! nael :pin "101726eb47fc2562f49e9e7c1de4fc959229ca0c")
(when (and (modulep! +lsp)
(modulep! :tools lsp -eglot))
(package! nael-lsp
;; HACK: Upstream autoloads a `keymap-set' call on `nael-mode-map' but it's
;; unlikely `nael' will be loaded at that point.
;; REVIEW: Address this upstream!
:recipe (:build (:not autoloads))
:pin "101726eb47fc2562f49e9e7c1de4fc959229ca0c"))