Found while implementing #590 (PR #691).
handle_completion in src/eigenlsp.c completes module names after import from a hardcoded static const char *modules[] of 34 entries, while lib/ currently ships 75 modules — so 41 modules never appear in import completion, and every new lib module silently widens the gap.
With PR #691 in place there's a natural fix: the generated src/lsp_stdlib_index.h table already carries every module name discovered from lib/*.eigs, so the import-completion list can be derived from it (unique module column) instead of the static array — one source of truth, no manual upkeep.
Happy to PR this as a follow-up once #691 settles, if you want it.
Found while implementing #590 (PR #691).
handle_completioninsrc/eigenlsp.ccompletes module names afterimportfrom a hardcodedstatic const char *modules[]of 34 entries, whilelib/currently ships 75 modules — so 41 modules never appear in import completion, and every new lib module silently widens the gap.With PR #691 in place there's a natural fix: the generated
src/lsp_stdlib_index.htable already carries every module name discovered fromlib/*.eigs, so the import-completion list can be derived from it (unique module column) instead of the static array — one source of truth, no manual upkeep.Happy to PR this as a follow-up once #691 settles, if you want it.