Hello! I'd like to annotate my Lua project with LuaCATS type annotations. I'd like to confirm that these type annotations are correct as part of the build.
Right now I can only get the diagnostics and type errors by using lua-language-server with a language server client.
I'd like to have some command-line interface, for example lua-language-server check, that I can use to list all the diagnostics that lua-language-server finds in the project. Then I can check that the list of diagnostics is empty and fail CI appropriately.
I am interested in contributing this feature, but I haven't written any code yet.
Hello! I'd like to annotate my Lua project with LuaCATS type annotations. I'd like to confirm that these type annotations are correct as part of the build.
Right now I can only get the diagnostics and type errors by using
lua-language-server
with a language server client.I'd like to have some command-line interface, for example
lua-language-server check
, that I can use to list all the diagnostics thatlua-language-server
finds in the project. Then I can check that the list of diagnostics is empty and fail CI appropriately.I am interested in contributing this feature, but I haven't written any code yet.