How StaticLint.jl server is different than Lint.jl

[aminya]

I recently updated linter-julia for Atom: https://github.com/AtomLinter/linter-julia
It uses Lint.jl as the backend. However, we want to use StaticLint.jl instead as Lint.jl was made for older versions of the Julia. PR, issue

inter-julia calls Lint.jl API through a call like this

lintserver(named_pipe,"standard-linter-v2");

And sending data (file path and its text mainly) to Lint.jl as JSON that happens here:

How is StaticLint.jl different than Linit.jl?

[davidanthoff]

StaticLint.jl is a linter based on CSTParser.jl, that powers the Julia VS Code extension. You can use it via LanguageServer.jl, but at least in theory you should also be able to use this package directly if you just want the linting story. In practice we don’t have a pretty API, I think. My best guess is that @ZacLN could create a simple API without too much work, but he’s been quite busy lately...

[aminya]

Is there any documentation or any sort of example for the API?
We already have a server that can feed out and get an answer. It is implemented here: https://github.com/AtomLinter/linter-julia/blob/72453484949efe540fd24f68eb70da40d6e38d2a/lib/index.js#L75

Other than being in deps of LanguageServer, I couldn't find StaticLint.jl anywhere in the julia-vscode extension code (https://github.com/julia-vscode/julia-vscode/search?q=staticlint&unscoped_q=staticlint)

I wish we had some documentation or examples somewhere, as a lot of effort has been made to make all of these different repositories, but they are only limitted to vs-code.

[davidanthoff]

No, unfortunately not... Yes, the reason for splitting these things into repos was that other could use them outside VS Code, and I'm more than aware that that is blocked right now by the lack of both an API and docs. I wish I could give you some timeline, but I can't right now.

[schlichtanders]

any update on this? Please, this is really one of the most valuable additions to the julia ecosystem in total