StaticLint.jl icon indicating copy to clipboard operation
StaticLint.jl copied to clipboard

How StaticLint.jl server is different than Lint.jl

Open aminya opened this issue 6 years ago • 4 comments

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?

aminya avatar Nov 11 '19 15:11 aminya

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...

davidanthoff avatar Nov 12 '19 02:11 davidanthoff

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.

aminya avatar Nov 12 '19 07:11 aminya

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.

davidanthoff avatar Nov 15 '19 03:11 davidanthoff

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

schlichtanders avatar Jun 13 '20 13:06 schlichtanders