Lsp v3 - #767

Draft

irevoire wants to merge 8 commits into

sharkdp:mainfrom

Commits on Oct 22, 2025

add the most basic lsp, only parsing
irevoire
committed
a54171d
start checking imorts and name clashes
irevoire
committed
89ed19d
add all the type check error messages
irevoire
committed
39473f6
fix warnings
irevoire
committed
8e1ec25
Simplify the diagnostic generation
irevoire
committed
fcbcfc8

Commits on Oct 25, 2025

refactor the import of modules entirely
irevoire
committed
e1fcfa6
make the name generator of the typechecker generic
irevoire
committed
2a483eb

Commits on Oct 30, 2025

fix the import of other module and identifier clashes
irevoire
committed
2e2641d