nael-mode Doom Configuration

Stream: Emacs

[anelosima]

Has anyone gotten nael working with Doom? The eglot server successfully connects but the only function working is Abbrev. I tried to install nael-lsp to see if that worked but unfortunately it doesn't seem like there's any easy way to configure it to load in the correct order; my doom sync always spits out an error because some symbols defined in nael aren't loaded yet.

Also, it would be nice if Projectile recognised lakefile.lean and lakefile.toml as project roots; I could make a PR for this if you like.

[Mekeor Melire]

Hi @anelosima, I haven't tested Nael on Doom so far. How can I reproduce Doom-related bugs in an isolated manner, i.e. without affecting my user-installation and -configuration of Emacs?

Also, it would be nice if Projectile recognised lakefile.lean and lakefile.toml as project roots; I could make a PR for this if you like.

Sounds like a good idea. I'd suggest to wrap it in with-eval-after-load similar to the case of markdown-mode: https://codeberg.org/mekeor/nael/src/commit/3ee1cf286dc1ee3c9f99357079288ce1285c10c0/nael/nael.el#L545-L550