Stream: helpdesk (published)

Topic: linter for package extensions

view this post on Zulip Filippos Christou (Jun 12 2023 at 16:12):

I just realized that my language server in neovim complains that it doesn't see the weak dependencies on the ext/MyPackageExtensionExt directory. Are the new Project.toml keywords like [weakdeps] and [extensions] supported from the language server ?

view this post on Zulip Sebastian Pfitzner (Jun 12 2023 at 21:10):

nope

Last updated: Nov 27 2025 at 04:44 UTC